‪Zheng Guo‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	110	110
h-index	4	4
i10-index	4	4

0

46

23

2020202120222023202412 16 15 46 21

Public access

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nadia PolikarpovaUCSDVerified email at eng.ucsd.edu
Ziteng WangUniversity of Texas at AustinVerified email at utexas.edu
David JustoMicrosoftVerified email at ucsd.edu
Hila PelegTechnionVerified email at cs.technion.ac.il
Armando Solar-LezamaMITVerified email at csail.mit.edu
James KoppelMITVerified email at mit.edu

Zheng Guo

Zheng Guo

University of California, San Diego

Verified email at ucsd.edu - Homepage

programming languages program synthesis program optimization compilers


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Program synthesis by type-guided abstraction refinement Z Guo, M James, D Justo, J Zhou, Z Wang, R Jhala, N Polikarpova Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019	61	2019
Digging for fold: synthesis-aided API discovery for Haskell MB James, Z Guo, Z Wang, S Doshi, H Peleg, R Jhala, N Polikarpova Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020	24	2020
Type-directed program synthesis for restful apis Z Guo, D Cao, D Tjong, J Yang, C Schlesinger, N Polikarpova Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022	14	2022
Searching entangled program spaces J Koppel, Z Guo, E De Vries, A Solar-Lezama, N Polikarpova Proceedings of the ACM on Programming Languages 6 (ICFP), 23-51, 2022	11	2022
Speeding up Type-Driven Program Synthesis with Polymorphic Succinct Types Z GUO

The system can't perform the operation now. Try again later.

Articles 1–5