Zheng Guo
email: zhg069@ucsd.edu
I am a Ph.D. candidate in the Computer Science and Engineering department at the University of California, San Diego. I am fortunate to be advised by Dr. Nadia Polikarpova, and be a member of Programming Systems group. Before Ph.D., I earned my master’s degree in computer science from UCSD and bachelor’s degree in software engineering from Shanghai Jiao Tong University.
I am interested in using programming language and machine learning techniques to automate programming tasks. My research aims to simplify the software development process for engineers, including program generation, optimization, and migration.
Research interests: program synthesis, program optimization, artificial intelligence, compilers
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