| Beyond the imitation game: Quantifying and extrapolating the capabilities of language models A Srivastava, A Rastogi, A Rao, AAM Shoeb, A Abid, A Fisch, AR Brown, ... arXiv preprint arXiv:2206.04615, 2022 | 971 | 2022 |
| QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge D Lin, J Koppel, A Chen, A Solar-Lezama Proceedings Companion of the 2017 ACM SIGPLAN International Conference on …, 2017 | 240 | 2017 |
| The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz, the First Internet Voting Application Used in US Federal Elections MA Specter, J Koppel, D Weitzner Preprint available at: https://internetpolicy. mit. edu/wp-content/uploads …, 2020 | 115 | 2020 |
| Semantic code search via equational reasoning V Premtoon, J Koppel, A Solar-Lezama Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 57 | 2020 |
| User interface modification and usage tracking D Howett, J Koppel, J Orlow, N Hua US Patent 10,291,729, 2019 | 38* | 2019 |
| A large-scale benchmark for few-shot program induction and synthesis F Alet, J Lopez-Contreras, J Koppel, M Nye, A Solar-Lezama, ... International Conference on Machine Learning, 175-186, 2021 | 21 | 2021 |
| A language for counterfactual generative models Z Tavares, J Koppel, X Zhang, R Das, A Solar-Lezama International Conference on Machine Learning, 10173-10182, 2021 | 21 | 2021 |
| One tool, many languages: language-parametric transformation with incremental parametric syntax J Koppel, V Premtoon, A Solar-Lezama Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018 | 19 | 2018 |
| 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 |
| Automatic import of third party analytics ML Poon, R Carli, JB Koppel US Patent 10,282,216, 2019 | 13* | 2019 |
| Capturing the future by replaying the past (functional pearl) J Koppel, G Scherer, A Solar-Lezama Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018 | 9 | 2018 |
| Version Space Algebras are Acyclic Tree Automata J Koppel arXiv preprint arXiv:2107.12568, 2021 | 6 | 2021 |
| Demystifying dependence J Koppel, D Jackson Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020 | 4 | 2020 |
| Typed Multi-Language Strategy Combinators J Koppel Eelco Visser Commemorative Symposium (EVCS 2023), 2023 | 3 | 2023 |
| Disabling just-in-time translation for application functions J DiTullio, MR Fenton, JB Koppel, TD Lundeen US Patent 10,628,188, 2020 | 3 | 2020 |
| Run-time application modification JB Koppel US Patent 10,761,835, 2020 | 2 | 2020 |
| Incremental parametric syntax for multi-language transformation J Koppel, A Solar-Lezama Proceedings Companion of the 2017 ACM SIGPLAN International Conference on …, 2017 | 2 | 2017 |
| Enhanced code callback N Hua, JB Koppel, JN Orlow US Patent 9,483,283, 2016 | 2 | 2016 |
| User interface modification and usage tracking D Howett, J Koppel, J Orlow, N Hua US Patent 11,805,186, 2023 | 1 | 2023 |
| Spectacular: Finding Laws from 25 Trillion Terms MP Gissurarson, D Roque, J Koppel 2023 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2023 | 1 | 2023 |
Armando Solar-LezamaMITVerified email at csail.mit.edu
