James Koppel
Oldham Council(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Software Engineering Research, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques, Topic Modeling
Most-Cited Works
- → QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge(2017)218 cited
- → Semantic code search via equational reasoning(2020)48 cited
- The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz, the First Internet Voting Application Used in U.S. Federal Elections.(2020)
- → Searching entangled program spaces(2022)16 cited
- A Language for Counterfactual Generative Models(2021)
- A large-scale benchmark for few-shot program induction and synthesis(2021)
- → Version Space Algebras are Acyclic Tree Automata(2021)5 cited
- → Capturing the future by replaying the past (functional pearl)(2018)4 cited
- → Incremental parametric syntax for multi-language transformation(2017)3 cited
- → Spectacular: Finding Laws from 25 Trillion Terms(2023)3 cited