Jacob Van Geffen

13 papers A* 4A 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing.
CoRR
Yile Gu, Ian Neal, Jiexiao Xu, Shaun Christopher Lee, Ayman Said, Musa Haydar, Jacob Van Geffen, Rohan Kadekodi, Andrew Quinn, Baris Kasikci
2025 J jnl
Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing.
Proc. ACM Program. Lang.
Yile Gu, Ian Neal, Jiexiao Xu, Shaun Christopher Lee, Ayman Said, Musa Haydar, Jacob Van Geffen, Rohan Kadekodi, Andrew Quinn, Baris Kasikci
2023 J jnl
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs.
Proc. ACM Program. Lang.
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2023 — —
Program Synthesis for Systems Developers
Jacob Van Geffen
2023 A conf
Synthesis-Aided Crash Consistency for Storage Systems.
ECOOP
Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt
2021 A* conf
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.
SOSP
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
2020 A* conf
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel.
OSDI
Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang
2020 J jnl
Symbolic Reasoning for Automatic Signal Placement.
ACM SIGOPS Oper. Syst. Rev.
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2020 — conf
Synthesizing JIT Compilers for In-Kernel DSLs.
CAV (2)
Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak
2018 J jnl
Symbolic Reasoning for Automatic Signal Placement (Extended Version).
CoRR
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2018 A* conf
Symbolic reasoning for automatic signal placement.
PLDI
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2017 A* conf
Component-based synthesis of table consolidation and transformation tasks from examples.
PLDI
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
2016 J jnl
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples.
CoRR
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri