cv

PhD

University of California San Diego

Program Synthesis

MSc

University of California San Diego

Computer Science

BEng

Shanghai Jiao Tong University

Software Engineering

Postdoctoral Researcher

Electrical Engineering and Computer Science, University Of Michigan

Supervised by Professor Xinyu Wang and working on optimization for scientific computing algorithms.

Software Engineering Intern

Google Inc.

Worked at Google Labs on a project for program synthesis.

Compiler Engineer Intern

MathWorks

Worked at HDL toolbox team on a project for code generation.

Searching Entangled Program Spaces (ICFP 2022)

Koppel, James and Guo, Zheng and de Vries, Edsko and Solar-Lezama, Armando and Polikarpova, Nadia

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

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

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