Jacob Gorenburg

According to our database, Jacob Gorenburg authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Gradual C0: Symbolic Execution for Gradual Verification.

Jenna DiVincenzo, Ian McCormack, Conrad Zimmerman, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Joshua Sunshine, Éric Tanter, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., December, 2024

2022

Gradual C0: Symbolic Execution for Efficient Gradual Verification.

Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich

CoRR, 2022

2020

Design and implementation of a gradual verifier.

Mona Zhang, Jacob Gorenburg

Proceedings of the SPLASH '20: Conference on Systems, 2020