May 2019 - Photo by yuuki @ Big Bear Lake, CA

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]

Others

Research Proposal for the CSE Honor Program. [pdf]