| On the fly synthesis of edit suggestions A Miltner, S Gulwani, V Le, A Leung, A Radhakrishna, G Soares, A Tiwari, ... Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 72 | 2019 |
| Synthesizing bijective lenses A Miltner, K Fisher, BC Pierce, D Walker, S Zdancewic Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 50 | 2017 |
| Bottom-up synthesis of recursive functional programs using angelic execution A Miltner, AT Nuņez, A Brendel, S Chaudhuri, I Dillig Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022 | 38 | 2022 |
| Data-driven inference of representation invariants A Miltner, S Padhi, T Millstein, D Walker Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 38 | 2020 |
| Synthesizing symmetric lenses A Miltner, S Maina, K Fisher, BC Pierce, D Walker, S Zdancewic Proceedings of the ACM on Programming Languages 3 (ICFP), 1-28, 2019 | 35 | 2019 |
| Synthesizing quotient lenses S Maina, A Miltner, K Fisher, BC Pierce, D Walker, S Zdancewic Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018 | 21 | 2018 |
| Certifying zero-knowledge circuits with refinement types J Liu, I Kretz, H Liu, B Tan, J Wang, Y Sun, L Pearson, A Miltner, I Dillig, ... 2024 IEEE Symposium on Security and Privacy (SP), 1741-1759, 2024 | 15 | 2024 |
| Program synthesis through reinforcement learning guided tree search R Simmons-Edler, A Miltner, S Seung arXiv preprint arXiv:1806.02932, 2018 | 12 | 2018 |
| Saggitarius: A DSL for Specifying Grammatical Domains A Miltner, D Loehr, A Mong, K Fisher, D Walker Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2023-2051, 2023 | 3 | 2023 |
| Synthesizing Lenses AF Miltner Princeton University, 2020 | 1 | 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 |
| Technical Report: Match-reference regular expressions and lenses JM Musca, A Miltner, K Fisher, D Walker arXiv preprint arXiv:2212.04439, 2022 | | 2022 |
| Automatic repetition of context-specific code edits S Gulwani, A Radhakrishna, A Udupa, GA SOARES, VM Le, A Miltner, ... US Patent 10,983,813, 2021 | | 2021 |
| Confluence in Lens Synthesis A Miltner, K Fisher, BC Pierce, D Walker, S Zdancewic 9th International Workshop on Confluence, 29, 2020 | | 2020 |
| Relational Synthesis of Recursive Programs via Constrained Tree Automata A Miltner, Z Wang, S Chaudhuri, I Dillig | | |
| Linguistic Tools for Managing Grammatical Domains (Work in Progress) A Miltner, D Loehr, A Mong, K Fisher, D Walker | | |
| Data Transformations A Miltner | | |
| Grammatical Domains and Syntax-guided Grammar Induction A MILTNER, A MONG, F KATHLEEN, D WALKER | | |
