• Sign in
  • Sign up
conf.researchr.org / Zheng Guo
  • ICFP 2020 profile
  • ICFP 2022 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2022 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
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

2022

ICFP

  • Author of Searching Entangled Program Spaces within the ICFP Papers and Events-track

EGRAPHS

  • Author of ECTAs: E-Graphs Better (at Encoding) within the EGRAPHS 2022-track

PLDI

  • 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

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

2021

SPLASH

  • Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the SIGPLAN Papers-track

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2020

SPLASH

  • 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
Share
xThu 4 Sep 09:18
using conf.researchr.org (v1.70.0)
Support page
Sign Up