Zheng Guo -

Registered user since Mon 20 Jan 2020

Name:Zheng Guo

Affiliation:University of California, San Diego

Personal website:http://cseweb.ucsd.edu/~zhg069

Research interests:Programming Language, Program Synthesis

Contributions

ICFP 2022	Author of Searching Entangled Program Spaces within the ICFP Papers and Events-track
EGRAPHS 2022	Author of ECTAs: E-Graphs Better (at Encoding) within the EGRAPHS 2022-track
PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track Author of Type-Directed Program Synthesis for RESTful APIs within the PLDI-track
POPL 2022	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2021	Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the SIGPLAN Papers-track
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2020	Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track