Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jacob Van Geffen
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
PLDI 2023 profile
Registered user since Wed 12 Jul 2023
Name:
Jacob Van Geffen
Affiliation:
Veridise Inc.
Contributions
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 3 Dec 18:09