James Koppel
James Koppel
Home
Interests
Publications
Coaching
Blog
Ironfist
Skunkworks
Light
Dark
Automatic
Publications
Type
Conference paper
Preprint
Thesis
Date
2022
2021
2020
2019
2018
2017
Searching Entangled Program Spaces
James Koppel
,
Zheng Guo
,
Edsko de Vries
,
Armando Solar-Lezama
,
Nadia Polikarpova
PDF
Cite
Code
Slides
Video
Artifact
Long Paper
Automatically Deriving Control-Flow Graph Generators from Operational Semantics
James Koppel
,
Jackson Kearl
,
Armando Solar-Lezama
PDF
Cite
Code
Slides
Video
Artifact
Long Paper
Beyond the Imitation Game: Quantifying and Extrapolating the Capabilities of Language Models
Numerous Authors
Preprint
Cite
Code
Skiing is Easy, Gymnastics is Hard: Complexity of Routine Construction in Olympic Sports
James Koppel
,
Yun William Yu
PDF
Cite
Meta-metaprogramming
James Koppel
PDF
Version Space Algebras are Acyclic Tree Automata
James Koppel
PDF
A Large-Scale Benchmark for Few-Shot Program Induction and Synthesis
Ferran Alet
,
Javier Lopez-Contreras
,
James Koppel
,
Maxwell Nye
,
Armando Solar-Lezama
,
Tomás Lozano-Pérez
,
Leslie Kaelbling
,
Joshua Tenenbaum
PDF
Cite
A Language for Counterfactual Generative Models
Zenna Tavares
,
James Koppel
,
Xin Zhang
,
Ria Das
,
Armando Solar-Lezama
PDF
Cite
Code
Supplementary material
Formal Methods for the Informal Engineer: Workshop Recommendations
Gopal Sarma
,
James Koppel
,
Gregory Malecha
,
Patrick Schultz
,
Eric Drexler
,
Ramana Kumar
,
Cody Roux
,
Phillip Zucker
PDF
Demystifying Dependence
James Koppel
,
Daniel Jackson
PDF
Cite
Slides
Video
Lightning talk
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 Weitzner
PDF
Cite
Slides
Conference Talk
DEF CON talk
One CFG-Generator to Rule Them All
James Koppel
,
Sreenidhi Nair
,
Armando Solar-Lezama
PDF
Semantic Code Search via Equational Reasoning
Varot Premtoon
,
James Koppel
,
Armando Solar-Lezama
PDF
Cite
Slides
Artifact
Conference Talk
Teaser Video
Tech Report
Multi-Language Code Search
Varot Premtoon
PDF
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
James Koppel
,
Varot Premtoon
,
Armando Solar-Lezama
PDF
Cite
Code
Website
Artifact
Conference Talk
Conference Talk Slides
Full Talk
Full Talk Slides
Long Paper
Capturing the Future by Replaying the Past
James Koppel
,
Gabriel Scherer
,
Armando Solar-Lezama
PDF
Cite
Code
Artifact
Conference Talk
Conference Talk Slides
Long Paper
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Derrick Lin
,
James Koppel
,
Angela Chen
,
Armando Solar-Lezama
PDF
Cite
Code
Website
Incremental Parametric Syntax for Multi-Language Transformation
James Koppel
,
Armando Solar-Lezama
PDF
Cite
Code
Incremental Parametric Syntax for Multi-Language Transformation
James Koppel
PDF
Cite
×