Jacob Van Geffen

According to our database, Jacob Van Geffen authored at least 10 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

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, Baris Kasikci

Proc. ACM Program. Lang., 2025

2023

Program Synthesis for Systems Developers

Jacob Van Geffen

PhD thesis, 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, Isil Dillig

Proc. ACM Program. Lang., 2023

Synthesis-Aided Crash Consistency for Storage Systems.

Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021

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

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

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

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Synthesizing JIT Compilers for In-Kernel DSLs.

Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018

Symbolic Reasoning for Automatic Signal Placement (Extended Version).

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis

CoRR, 2018

Symbolic reasoning for automatic signal placement.

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Component-based synthesis of table consolidation and transformation tasks from examples.

Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017