Papers
Digging for Fold: Synthesis-Aided API Discovery for Haskell, Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova. OOPSLA'20. [pdf]
Program Synthesis by Type-Guided Abstraction Refinement, Zheng Guo, Michael B. James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova. POPL'20. [pdf]
Test-based Solution Filtering for Program Synthesis, Ziteng Wang. POPL'20 Student Research Competition. [pdf]
Talks
Test-based Solution Filtering for Program Synthesis. POPL'20 SRC. [abstract] [poster] [presentation]
Awards
Third Place, POPL'20 Student Research Competition. [ref]
Others
Research Proposal for the CSE Honors Program. [pdf]