| 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 | 60 | 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 | 43 | 2017 |
| 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 | 29 | 2019 |
| 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 | 28 | 2020 |
| 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 | 27 | 2022 |
| 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 | 16 | 2018 |
| Program synthesis through reinforcement learning guided tree search R Simmons-Edler, A Miltner, S Seung arXiv preprint arXiv:1806.02932, 2018 | 13 | 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, ... arXiv preprint arXiv:2304.07648, 2023 | 6 | 2023 |
| 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 | 1 | 2023 |
| 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 |
| Synthesizing Lenses AF Miltner Princeton University, 2020 | | 2020 |
| Synthesizing Data Wranglers K Fisher, S Maina, A Miltner, B Pierce, D Walker, S Zdancewic, ... | | 2019 |
| 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 | | |
