Conrad Zimmerman

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Symbolic Execution

Specification Language

Simulated Annealing Algorithm

Static Analysis

Top Venues

Proc. ACM Program. Lang.

SPLASH (Companion)

Publications

Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
Sound Gradual Verification with Symbolic Execution. Proc. ACM Program. Lang. 8 (POPL) (2024)
Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich
Latte: Lightweight Aliasing Tracking for Java. CoRR (2023)
Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
Sound Gradual Verification with Symbolic Execution. CoRR (2023)
Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
Gradual C0: Symbolic Execution for Efficient Gradual Verification. CoRR (2022)
Hemant Gouni, Conrad Zimmerman
Implementation of an end-to-end gradual verification system. SPLASH (Companion) (2021)