1

Automatically Deriving Control-Flow Graph Generators from Operational Semantics
PDF Cite Code Slides Video Artifact Long Paper
Searching Entangled Program Spaces
PDF Cite Code Slides Video Artifact Long Paper
Beyond the Imitation Game: Quantifying and Extrapolating the Capabilities of Language Models
Preprint Cite Code
A Language for Counterfactual Generative Models
PDF Cite Code Supplementary material
A Large-Scale Benchmark for Few-Shot Program Induction and Synthesis
PDF Cite
Demystifying Dependence
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
PDF Cite Slides Conference Talk DEF CON talk
The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz, the First Internet Voting Application Used in U.S. Federal Elections
Semantic Code Search via Equational Reasoning
PDF Cite Slides Artifact Conference Talk Teaser Video Tech Report
Semantic Code Search via Equational Reasoning
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
PDF Cite Code Website Artifact Conference Talk Conference Talk Slides Full Talk Full Talk Slides Long Paper
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Capturing the Future by Replaying the Past
PDF Cite Code Artifact Conference Talk Conference Talk Slides Long Paper