Zheng Guo

Registered user since Mon 20 Jan 2020

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

Contributions

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

Using general profile