• Sign in
  • Sign up
conf.researchr.org / Jacob Gorenburg
  • POPL 2025 profile
  • SPLASH 2020 profile
No Photo

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
xThu 8 May 22:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up