We stand with Ukraine  

Zheng Guo

Orcid: 0000-0002-0927-4011

Affiliations:
  • University of California, Department of Computer Science and Engineering, San Diego, CA, USA


According to our database1, Zheng Guo authored at least 5 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Type-Directed Program Synthesis for Complex APIs
[BibTeX]
[DOI]
Zheng Guo
PhD thesis, 2024

2022
Searching entangled program spaces.
[BibTeX]
[DOI]
James Koppel
,
Zheng Guo
,
Edsko de Vries
,
Armando Solar-Lezama
,
Nadia Polikarpova
Proc. ACM Program. Lang., 2022

Type-directed program synthesis for RESTful APIs.
[BibTeX]
[DOI]
Zheng Guo
,
David Cao
,
Davin Tjong
,
Jean Yang
,
Cole Schlesinger
,
Nadia Polikarpova
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2020
Digging for fold: synthesis-aided API discovery for Haskell.
[BibTeX]
[DOI]
Michael B. James
,
Zheng Guo
,
Ziteng Wang
,
Shivani Doshi
,
Hila Peleg
,
Ranjit Jhala
,
Nadia Polikarpova
Proc. ACM Program. Lang., 2020

Program synthesis by type-guided abstraction refinement.
[BibTeX]
[DOI]
Zheng Guo
,
Michael James
,
David Justo
,
Jiaxiao Zhou
,
Ziteng Wang
,
Ranjit Jhala
,
Nadia Polikarpova
Proc. ACM Program. Lang., 2020


  Loading...