Component-based synthesis of table consolidation and transformation tasks from examples. - Yu Feng 001; Ruben Martins; Jacob Van Geffen; Isil Dillig; Swarat Chaudhuri (PLDI, 2017)

Symbolic Reasoning for Automatic Signal Placement (Extended Version). - Kostas Ferles; Jacob Van Geffen; Isil Dillig; Yannis Smaragdakis (CoRR, 2018)

Synthesizing JIT Compilers for In-Kernel DSLs. - Jacob Van Geffen; Luke Nelson; Isil Dillig; Xi Wang 005; Emina Torlak (CAV (2), 2020)

Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel. - Luke Nelson; Jacob Van Geffen; Emina Torlak; Xi Wang 005 (OSDI, 2020)

Symbolic Reasoning for Automatic Signal Placement. - Kostas Ferles; Jacob Van Geffen; Isil Dillig; Yannis Smaragdakis (ACM SIGOPS Oper. Syst. Rev., 2020)

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. - James Bornholt; Rajeev Joshi; Vytautas Astrauskas; Brendan Cully; Bernhard Kragl; Seth Markle; Kyle Sauri; Drew Schleit; Grant Slatton; Serdar Tasiran; Jacob Van Geffen; Andrew Warfield (SOSP, 2021)

Synthesis-Aided Crash Consistency for Storage Systems. - Jacob Van Geffen; Xi Wang 005; Emina Torlak; James Bornholt (ECOOP, 2023)

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. - Shankara Pailoor; Yanju Chen; Franklyn Wang; Clara Rodríguez-Núñez; Jacob Van Geffen; Jason Morton; Michael Chu; Brian Gu; Yu Feng 001; Isil Dillig (Proc. ACM Program. Lang., 2023)

Program Synthesis for Systems Developers - Jacob Van Geffen (2023)

Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing. - Yile Gu; Ian Neal; Jiexiao Xu; Shaun Christopher Lee; Ayman Said; Musa Haydar; Jacob Van Geffen; Rohan Kadekodi; Andrew Quinn 001; Baris Kasikci (Proc. ACM Program. Lang., 2025)