Jacob Van Geffen

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

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

Computing, Computer Science, Data Science +10

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

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

Computing, Computer Engineering, Computer Science +17

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

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

Computing, Computer Science, Data Science +10

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 · 21 citations · Full text

Computing, Computer Engineering, Computer Science +13

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

Computing, Computer Engineering, Computer Science +13