Implementation of an end-to-end gradual verification system. - Hemant Gouni; Conrad Zimmerman (SPLASH (Companion), 2021)

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)

Latte: Lightweight Aliasing Tracking for Java. - Conrad Zimmerman; Catarina Gamboa; Alcides Fonseca; Jonathan Aldrich (CoRR, 2023)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification. - Conrad Zimmerman; Jenna DiVincenzo (CoRR, 2024)

Sound Gradual Verification with Symbolic Execution. - Conrad Zimmerman; Jenna DiVincenzo; Jonathan Aldrich (Proc. ACM Program. Lang., 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., 2024)