cv
Postdoctoral researcher working on accelerating computational science (AI for science). Click the PDF icon to download a printable version.
Basics
| Name | Zheng Guo |
| Job | Research Fellow |
| zhgguo@umich.edu | |
| Url | https://aaronguo1996.github.io |
Education
Publications
Full and up-to-date list on Google Scholar.
-
2026.06 Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics (PLDI 2026)
Dong, Rui and Wu, Qingyue and Ding, Danny and Guo, Zheng and Ji, Ruyi and Wang, Xinyu
-
2026.06 Hierarchical search of tree tensor networks for high-dimensional data (Journal of Computational Physics 2026)
Guo, Zheng and Deshpande, Aditya and Wang, Xinyu and Kiedrowski, Brian C. and Gorodetsky, Alex A.
-
2025.05 Automated Lifting for Cloud Infrastructure-as-Code Programs (AIOps 2025 (ICSE Workshop))
Peng, Jingjia and Qiu, Yiming and Kon, Patrick Tser Jern and Zhao, Pinhan and Huang, Yibo and Guo, Zheng and Wang, Xinyu and Chen, Ang
-
2025.02 Tensor Network Structure Search Via Canonical Dimension Tree Enumeration (arXiv 2025)
Guo, Zheng and Deshpande, Aditya and Kiedrowski, Brian and Wang, Xinyu and Gorodetsky, Alex
-
2022.08 Searching Entangled Program Spaces (ICFP 2022)
Koppel, James and Guo, Zheng and de Vries, Edsko and Solar-Lezama, Armando and Polikarpova, Nadia
-
2022.06 Type-Directed Program Synthesis for RESTful APIs (PLDI 2022)
Guo, Zheng and Cao, David and Tjong, Davin and Yang, Jean and Schlesinger, Cole and Polikarpova, Nadia
-
2020.11 Digging for Fold: Synthesis-Aided API Discovery for Haskell (OOPSLA 2020)
James, Michael B. and Guo, Zheng and Wang, Ziteng and Doshi, Shivani and Peleg, Hila and Jhala, Ranjit and Polikarpova, Nadia
-
2020.01 Program Synthesis by Type-Guided Abstraction Refinement (POPL 2020)
Guo, Zheng and James, Michael and Justo, David and Zhou, Jiaxiao and Wang, Ziteng and Jhala, Ranjit and Polikarpova, Nadia
Work
-
2024.07 - Present Postdoctoral Researcher
Electrical Engineering and Computer Science, University Of Michigan
Mentored by Professors Xinyu Wang, Alex Gorodetsky, and Brian Kiedrowski, working on accelerating computational science (AI for science).
-
2022.06 - 2022.12 -
2020.06 - 2020.09
Teaching
-
Winter 2026 EECS 481: Software Engineering
Co-Instructor, University of Michigan, Ann Arbor
-
2025, 2026 AI for Scientists and Engineers Summer Academy
Instructor, MIDAS, University of Michigan
-
2020 – 2023 CSE 130: Programming Languages
Teaching Assistant, University of California San Diego
-
Winter 2021 CSE 291: Program Synthesis
Teaching Assistant, University of California San Diego
-
Winter 2019 CSE 231: Advanced Compilers
Teaching Assistant, University of California San Diego
-
Summer 2019 COGS 18: Introduction to Python
Teaching Assistant, University of California San Diego
-
Fall 2018 CSE 230: Programming Languages
Teaching Assistant, University of California San Diego
Awards
- 2024
Eric and Wendy Schmidt AI in Science Postdoctoral Fellowship
Schmidt Sciences / MIDAS, University of Michigan
- 2020
ACM SIGPLAN PAC Grant for POPL 2020
ACM SIGPLAN
- 2018
PLMW Scholarship for ICFP 2018
ACM SIGPLAN PLMW
Service
- 2022
Artifact Evaluation Committee
POPL, PLDI
- 2021
Artifact Evaluation Committee
ICFP, PLDI, CAV
- 2020
Artifact Evaluation Committee
ICFP, ECOOP