James Koppel

According to our database, James Koppel authored at least 18 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Spectacular: Finding Laws from 25 Trillion Terms.

Matthías Páll Gissurarson, Diego Roque, James Koppel

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

Typed Multi-Language Strategy Combinators.

James Koppel

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

Automatically deriving control-flow graph generators from operational semantics.

James Koppel, Jackson Kearl, Armando Solar-Lezama

Proc. ACM Program. Lang., 2022

Searching entangled program spaces.

James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova

Proc. ACM Program. Lang., 2022

Skiing Is Easy, Gymnastics Is Hard: Complexity of Routine Construction in Olympic Sports.

James Koppel, Yun William Yu

Proceedings of the 11th International Conference on Fun with Algorithms, 2022

2021

Meta-metaprogramming.

James Koppel

PhD thesis, 2021

Version Space Algebras are Acyclic Tree Automata.

James Koppel

CoRR, 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

A Language for Counterfactual Generative Models.

Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama

Proceedings of the 38th International Conference on Machine Learning, 2021

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

Proceedings of the 38th International Conference on Machine Learning, 2021

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

Proceedings of the 29th USENIX Security Symposium, 2020

Semantic code search via equational reasoning.

Varot Premtoon, James Koppel, Armando Solar-Lezama

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Demystifying dependence.

James Koppel, Daniel Jackson

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

2018

Capturing the future by replaying the past (functional pearl).

James Koppel, Gabriel Scherer, Armando Solar-Lezama

Proc. ACM Program. Lang., 2018

One tool, many languages: language-parametric transformation with incremental parametric syntax.

James Koppel, Varot Premtoon, Armando Solar-Lezama

Proc. ACM Program. Lang., 2018

2017

Capturing the Future by Replaying the Past.

James Koppel, Armando Solar-Lezama

CoRR, 2017

QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge.

Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama

Proceedings of the Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, 2017

Incremental parametric syntax for multi-language transformation.

James Koppel, Armando Solar-Lezama

Proceedings of the Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, 2017