565 citations · 583 across the 7 of their papers we have counts for
7 papers
Searching Entangled Program Spaces
James Koppel, Zheng Guo, Edsko de Vries +2
Many problem domains, including program synthesis and rewrite-based optimization, require searching astronomically large spaces of programs. Existing approaches often rely on build…
Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models
Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao +448
Language models demonstrate both quantitative improvement and new qualitative capabilities with increasing scale. Despite their potentially transformative impact, these new capabil…
Version Space Algebras are Acyclic Tree Automata
James Koppel
Version space algebras are ways of representing spaces of programs which can be combined using union, intersection, and cross-product/``join" operators. In their reified form as AS…
Formal Methods for the Informal Engineer: Workshop Recommendations
Gopal Sarma, James Koppel, Gregory Malecha +5
Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biom…
Automatically Deriving Control-Flow Graph Generators from Operational Semantics
James Koppel, Jackson Kearl, Armando Solar-Lezama
We develop the first theory of control-flow graphs from first principles, and use it to create an algorithm for automatically synthesizing many variants of control-flow graph gener…
Capturing the Future by Replaying the Past
James Koppel, Gabriel Scherer, Armando Solar-Lezama
Delimited continuations are the mother of all monads! So goes the slogan inspired by Filinski's 1994 paper, which showed that delimited continuations can implement any monadic effe…
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
James Koppel, Varot Premtoon, Armando Solar-Lezama
We present a new approach for building source-to-source transformations that can run on multiple programming languages, based on a new way of representing programs called increment…