| 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 | 68 | 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 | 30 | 2020 |
| 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 | 16 | 2022 |
| 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 | 16 | 2022 |
| Speeding up Type-Driven Program Synthesis with Polymorphic Succinct Types Z GUO | | |
Nadia PolikarpovaUCSD在 eng.ucsd.edu 的电子邮件经过验证
