Scholar
Zheng Guo
Google Scholar ID: taZ1uaAAAAAJ
University of Michigan
Citations & Impact
Citations
163
H-index
4
i10-index
4
Publications
7
Co-authors
12
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published a paper titled 'Type-Directed Program Synthesis for RESTful APIs' at PLDI 2022; Published a paper titled 'Searching Entangled Program Spaces' at ICFP 2022; Published a paper titled 'Digging for Fold: Synthesis-Aided API Discovery for Haskell' at OOPSLA 2020; Published a paper titled 'Program Synthesis by Type-Guided Abstraction Refinement' at POPL 2019.
Research Experience
- Postdoctoral researcher in the EECS department at the University of Michigan Ann Arbor, working with Professor Xinyu Wang.
Education
- Ph.D. from the University of California San Diego, supervised by Professor Nadia Polikarpova; Bachelor's degree in Software Engineering from Shanghai Jiao Tong University.
Background
- Interested in using programming language and machine learning techniques to simplify the software development process, especially for scientific researchers.
