James Koppel
James Koppel
Home
Interests
Publications
Coaching
Blog
Ironfist
Skunkworks
Light
Dark
Automatic
Armando Solar-Lezama
Latest
Automatically Deriving Control-Flow Graph Generators from Operational Semantics
Searching Entangled Program Spaces
A Language for Counterfactual Generative Models
A Large-Scale Benchmark for Few-Shot Program Induction and Synthesis
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
Cite
×