Zheng Guo -

Registered user since Sun 10 Nov 2019

Name:Zheng Guo

Country:United States

Affiliation:University of California, San Diego

Research interests:Program synthesis, automated reasoning

Contributions

2025

AIOps

Author of Automated Lifting for Cloud Infrastructure-as-Code Programs within the AI for Cloud Service-track

2020

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifacts-track

ICFP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

POPL

Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track