publications

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 , San Diego, CA, USA, 2022

   Bib PDF Extended Code Slides

   @inproceedings{apiphany,
     author = {Guo, Zheng and Cao, David and Tjong, Davin and Yang, Jean and Schlesinger, Cole and Polikarpova, Nadia},
     title = {Type-Directed Program Synthesis for RESTful APIs},
     year = {2022},
     isbn = {9781450392655},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3519939.3523450},
     doi = {10.1145/3519939.3523450},
     booktitle = {Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation},
     pages = {122–136},
     numpages = {15},
     keywords = {RESTful API, Type Inference, Program Synthesis},
     location = {San Diego, CA, USA},
     series = {PLDI 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

   Bib PDF Extended Code

   @article{hectare,
     author = {Koppel, James and Guo, Zheng and de Vries, Edsko and Solar-Lezama, Armando and Polikarpova, Nadia},
     title = {Searching Entangled Program Spaces},
     year = {2022},
     issue_date = {August 2022},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {6},
     number = {ICFP},
     url = {https://doi.org/10.1145/3547622},
     doi = {10.1145/3547622},
     journal = {Proc. ACM Program. Lang.},
     month = aug,
     articleno = {91},
     numpages = {29},
     keywords = {type systems, Haskell, program synthesis, e-graphs}
   }

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

   Bib PDF Code

   @article{hplus,
     author = {James, Michael B. and Guo, Zheng and Wang, Ziteng and Doshi, Shivani and Peleg, Hila and Jhala, Ranjit and Polikarpova, Nadia},
     title = {Digging for Fold: Synthesis-Aided API Discovery for Haskell},
     year = {2020},
     issue_date = {November 2020},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {4},
     number = {OOPSLA},
     url = {https://doi.org/10.1145/3428273},
     doi = {10.1145/3428273},
     journal = {Proc. ACM Program. Lang.},
     month = nov,
     articleno = {205},
     numpages = {27},
     keywords = {Type Inference, Program Synthesis, Human-Computer Interaction}
   }

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

   Bib PDF Code Slides

   @article{tygar,
     author = {Guo, Zheng and James, Michael and Justo, David and Zhou, Jiaxiao and Wang, Ziteng and Jhala, Ranjit and Polikarpova, Nadia},
     title = {Program Synthesis by Type-Guided Abstraction Refinement},
     year = {2019},
     issue_date = {January 2020},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {4},
     number = {POPL},
     url = {https://doi.org/10.1145/3371080},
     doi = {10.1145/3371080},
     journal = {Proc. ACM Program. Lang.},
     month = dec,
     articleno = {12},
     numpages = {28},
     keywords = {Abstract Interpretation, Program Synthesis, Type Systems}
   }