publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2022

  1. PLDI
    Type-Directed Program Synthesis for RESTful APIs
    Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, and Nadia Polikarpova
    In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022
  2. ICFP
    Searching Entangled Program Spaces
    James Koppel, Zheng Guo, Edsko Vries, Armando Solar-Lezama, and Nadia Polikarpova
    Proc. ACM Program. Lang., Aug 2022

2020

  1. OOPSLA
    Digging for Fold: Synthesis-Aided API Discovery for Haskell
    Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, and Nadia Polikarpova
    Proc. ACM Program. Lang., Nov 2020

2019

  1. POPL
    Program Synthesis by Type-Guided Abstraction Refinement
    Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, and Nadia Polikarpova
    Proc. ACM Program. Lang., Dec 2019