Incremental parametric syntax for multi-language transformation. - James Koppel; Armando Solar-Lezama (SPLASH (Companion Volume), 2017)

QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge. - Derrick Lin; James Koppel; Angela Chen; Armando Solar-Lezama (SPLASH (Companion Volume), 2017)

Capturing the Future by Replaying the Past. - James Koppel; Armando Solar-Lezama (CoRR, 2017)

One tool, many languages: language-parametric transformation with incremental parametric syntax. - James Koppel; Varot Premtoon; Armando Solar-Lezama (Proc. ACM Program. Lang., 2018)

Capturing the future by replaying the past (functional pearl). - James Koppel; Gabriel Scherer; Armando Solar-Lezama (Proc. ACM Program. Lang., 2018)

Demystifying dependence. - James Koppel; Daniel Jackson 001 (Onward!, 2020)

Semantic code search via equational reasoning. - Varot Premtoon; James Koppel; Armando Solar-Lezama (PLDI, 2020)

The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz, the First Internet Voting Application Used in U.S. Federal Elections. - Michael A. Specter; James Koppel; Daniel J. Weitzner (USENIX Security Symposium, 2020)

A large-scale benchmark for few-shot program induction and synthesis. - Ferran Alet; Javier Lopez-Contreras; James Koppel; Maxwell I. Nye; Armando Solar-Lezama; Tomás Lozano-Pérez; Leslie Pack Kaelbling; Joshua B. Tenenbaum (ICML, 2021)

A Language for Counterfactual Generative Models. - Zenna Tavares; James Koppel; Xin Zhang 035; Ria Das; Armando Solar-Lezama (ICML, 2021)

Formal Methods for the Informal Engineer: Workshop Recommendations. - Gopal Sarma; James Koppel; Gregory Malecha; Patrick Schultz; Eric Drexler; Ramana Kumar; Cody Roux; Philip Zucker (CoRR, 2021)

Version Space Algebras are Acyclic Tree Automata. - James Koppel (CoRR, 2021)

Meta-metaprogramming. - James Koppel (2021)

Skiing Is Easy, Gymnastics Is Hard: Complexity of Routine Construction in Olympic Sports. - James Koppel; Yun William Yu (FUN, 2022)

Searching entangled program spaces. - James Koppel; Zheng Guo 003; Edsko de Vries; Armando Solar-Lezama; Nadia Polikarpova (Proc. ACM Program. Lang., 2022)

Automatically deriving control-flow graph generators from operational semantics. - James Koppel; Jackson Kearl; Armando Solar-Lezama (Proc. ACM Program. Lang., 2022)

Typed Multi-Language Strategy Combinators. - James Koppel (Eelco Visser Commemorative Symposium, 2023)

Spectacular: Finding Laws from 25 Trillion Terms. - Matthías Páll Gissurarson; Diego Roque; James Koppel (ICST, 2023)

Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models. - Aarohi Srivastava; Abhinav Rastogi; Abhishek Rao; Abu Awal Md Shoeb; Abubakar Abid; Adam Fisch; Adam R. Brown; Adam Santoro; Aditya Gupta; Adrià Garriga-Alonso; Agnieszka Kluska; Aitor Lewkowycz; et al. (Trans. Mach. Learn. Res., 2023)