Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jacob Van Geffen
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ICFP/SPLASH 2025 profile
PLDI 2023 profile
Registered user since Wed 12 Jul 2023
Name:
Jacob Van Geffen
Affiliation:
Veridise Inc.
Contributions
2025
SPLASH
Author of Scalable and Accurate Application-level Crash-Consistency Testing via Representative Testing within the OOPSLA-track
2023
ECOOP
Author of Synthesis-Aided Crash Consistency for Storage Systems within the Research Papers-track
PLDI
Author of Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs within the PLDI Research Papers-track
Share
x
Tue 9 Sep 03:50