Zheng Guo - PLDI 2022

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