Follow
James Koppel
James Koppel
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
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
852017
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
682020
User interface modification and usage tracking
D Howett, J Koppel, J Orlow, N Hua
US Patent 10,291,729, 2019
33*2019
Semantic code search via equational reasoning
V Premtoon, J Koppel, A Solar-Lezama
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
312020
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
152018
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
112021
Automatic import of third party analytics
ML Poon, R Carli, JB Koppel
US Patent 10,282,216, 2019
9*2019
Enhanced code callback
N Hua, JB Koppel, JN Orlow
US Patent 9,483,283, 2016
9*2016
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
82021
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
52018
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
32022
Demystifying dependence
J Koppel, D Jackson
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020
22020
Disabling just-in-time translation for application functions
J DiTullio, MR Fenton, JB Koppel, TD Lundeen
US Patent 10,628,188, 2020
22020
Incremental parametric syntax for multi-language transformation
J Koppel, A Solar-Lezama
Proceedings Companion of the 2017 ACM SIGPLAN International Conference on …, 2017
22017
Version Space Algebras are Acyclic Tree Automata
J Koppel
arXiv preprint arXiv:2107.12568, 2021
12021
Run-time application modification
JB Koppel
US Patent 10,761,835, 2020
12020
Context check bypass to enable opening shared-object libraries
J DiTullio, MR Fenton, JB Koppel, TD Lundeen
US Patent 10,606,612, 2020
12020
Searching Entangled Program Spaces
J Koppel, Z Guo, E de Vries, A Solar-Lezama, N Polikarpova
arXiv preprint arXiv:2206.07828, 2022
2022
User Interface Modification and Usage Tracking
D Howett, J Koppel, J Orlow, N Hua
US Patent App. 17/331,250, 2021
2021
Meta-metaprogramming
J Koppel
Massachusetts Institute of Technology, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20