Program synthesis by type-guided abstraction refinement. - Zheng Guo 003; Michael James 003; David Justo; Jiaxiao Zhou; Ziteng Wang; Ranjit Jhala; Nadia Polikarpova (Proc. ACM Program. Lang., 2020)

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

Type-directed program synthesis for RESTful APIs. - Zheng Guo 003; David Cao; Davin Tjong; Jean Yang 001; Cole Schlesinger; Nadia Polikarpova (PLDI, 2022)

Searching entangled program spaces. - James Koppel; Zheng Guo 003; Edsko de Vries; Armando Solar-Lezama; Nadia Polikarpova (Proc. ACM Program. Lang., 2022)

Type-Directed Program Synthesis for Complex APIs - Zheng Guo 003 (2024)