Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jacob Gorenburg
conf.researchr.org general profile
POPL 2025 profile
SPLASH 2020 profile
Registered user since Fri 9 Oct 2020
Name:
Jacob Gorenburg
Contributions
2025
POPL
Author of Gradual C0: Symbolic Execution for Gradual Verification within the POPL-track
2020
SPLASH
Author of Design and Implementation of a Gradual Verifier within the Student Research Competition-track
Share
x
Sun 2 Nov 13:26