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
Publications
2022
2020
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