Conrad Zimmerman

According to our database, Conrad Zimmerman authored at least 6 papers between 2021 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

Sound Gradual Verification with Symbolic Execution.

Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich

Proc. ACM Program. Lang., January, 2024

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification.

Conrad Zimmerman, Jenna DiVincenzo

CoRR, 2024

2023

Latte: Lightweight Aliasing Tracking for Java.

Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich

CoRR, 2023

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

2021

Implementation of an end-to-end gradual verification system.

Hemant Gouni, Conrad Zimmerman

Proceedings of the SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17, 2021