James Koppel

Latest

• Automatically Deriving Control-Flow Graph Generators from Operational Semantics
• Searching Entangled Program Spaces
• Skiing is Easy, Gymnastics is Hard: Complexity of Routine Construction in Olympic Sports
• Meta-metaprogramming
• Version Space Algebras are Acyclic Tree Automata
• A Language for Counterfactual Generative Models
• A Large-Scale Benchmark for Few-Shot Program Induction and Synthesis
• Formal Methods for the Informal Engineer: Workshop Recommendations
• Demystifying Dependence
• The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz, the First Internet Voting Application Used in U.S. Federal Elections
• One CFG-Generator to Rule Them All
• Semantic Code Search via Equational Reasoning
• One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
• Capturing the Future by Replaying the Past
• Incremental Parametric Syntax for Multi-Language Transformation
• QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
• Incremental Parametric Syntax for Multi-Language Transformation