| 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 |
| Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata A Miltner, Z Wang, S Chaudhuri, I Dillig International Conference on Computer Aided Verification, 41-63, 2024 | | 2024 |
| From Batch to Stream: Automatic Generation of Online Algorithms Z Wang, S Pailoor, A Prakash, Y Wang, I Dillig Proceedings of the ACM on Programming Languages 8 (PLDI), 1014-1039, 2024 | | 2024 |
Isil DilligUT Austin在 cs.utexas.edu 的电子邮件经过验证
