Zheng Guo

Registered user since Mon 20 Jan 2020

Name:Zheng Guo
Affiliation:University of California, San Diego
Research interests:Programming Language, Program Synthesis


EGRAPHS 2022 ECTAs: E-Graphs Better (at Encoding)
PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Type-Directed Program Synthesis for RESTful APIs
Show activities from other conferences

PLDI 2022-profile
View general profile