Zheng Guo

email: zhgguo@umich.edu

I am a postdoctoral researcher in the EECS department at the Unversity of Michigan Ann Arbor, working with Professor Xinyu Wang. I achieved my Ph.D. degree from the University of California San Diego under the supervision of Professor Nadia Polikarpova. Before Ph.D., I earned my bachelor’s degree in software engineering from Shanghai Jiao Tong University.

I am interested in using programming language and machine learning techniques to simplify the software development process, especially for scientific researchers.

Research interests: program synthesis, program optimization, AI for science

me.jpg

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
  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

Talks

  • APIphany: Type-Directed Program Synthesis for RESTful APIs (PLDI'22, San Diego, USA)
  • Hoogle+: Program Synthesis by Type-Guided Abstraction Refinement (POPL'20, New Orleans, USA)

Teaching

  • CSE 130: Programming Language (undergrad), teaching assistant @ SP’20, SP’21, FA’21, SP’23
  • CSE 291: Program Synthesis (graduate), teaching assistant @ WI’21
  • CSE 231: Advanced Compilers (graduate), teaching assistant @ WI’19
  • COGS 18: Introduction to Python (undergrad), teaching assistant @ Summer’19
  • CSE 230: Programming Languages (graduate), teaching assistant @ FA’18

Service

  • 2022 Artifact Evaluation Committee of POPL, PLDI
  • 2021 Artifact Evaluation Committee of ICFP, PLDI, CAV
  • 2020 Artifact Evaluation Committee of ICFP, ECOOP