Jacob Van Geffen

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 10

Top Topics

Symbolic Reasoning

Storage Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt
Synthesis-Aided Crash Consistency for Storage Systems. ECOOP (2023)
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
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. SOSP (2021)
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
Symbolic Reasoning for Automatic Signal Placement. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak
Synthesizing JIT Compilers for In-Kernel DSLs. CAV (2) (2020)
Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel. OSDI (2020)
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
Symbolic reasoning for automatic signal placement. PLDI (2018)
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
Symbolic Reasoning for Automatic Signal Placement (Extended Version). CoRR (2018)
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
Component-based synthesis of table consolidation and transformation tasks from examples. PLDI (2017)
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. CoRR (2016)