Jacob Van Geffen

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

Yu Feng, Ruben Martins, Jacob Van Geffen et al. · 2017 · 137 citations

Engineering, Software Engineering, Synthesis Algorithm +23

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

James Bornholt, Rajeev Joshi, Vytautas Astrauskas et al. · 2021 · 61 citations · Full text

Software Maintenance, Engineering, Verification +25

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

Yu Feng, Ruben Martins, Jacob Van Geffen et al. · ACM SIGPLAN Notices · 2017 · 51 citations · Full text

Engineering, Software Engineering, Synthesis Algorithm +23

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 et al. · Operating Systems Design and Implementation · 2020 · 20 citations

Engineering, Verification, Software Engineering +18

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs

Shankara Pailoor, Yanju Chen, Franklyn Wang et al. · Proceedings of the ACM on Programming Languages · 2023 · 19 citations · Full text

Circuit Complexity, Cryptographic Primitive, Engineering +17