Jacob Van Geffen
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
on a stage with
- Andrew Quinnonce
- Ayman Saidonce
- Baris Kasikcionce
all 17 in the filters
who talks about the same things
- Adam Chlipala23 talks
- Zhendong Su25 talks
- Parosh Aziz Abdulla9 talks
- Zhong Shao19 talks
- Yu Feng9 talks
- Yanju Chen6 talks
| title | conference | date |
|---|---|---|
| Scalable and Accurate Application-Level Crash-Consistency Testing(…) | PLDI 2026 | 2026-06-15 |
Implements representative testing as an update-behavior heuristic and builds Pathfinder to trace POSIX and MMIO executions, construct a persistent graph of… | ||
| Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs | PLDI 2023 | 2023-06-17 |
Tool QED2 performs semantic reasoning over Circom-generated polynomial equations by combining SMT solving with lightweight uniqueness inference in an… | ||
| nothing matches | ||