Aug 2021. Junction between CA-52 and I-805.

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]