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)

Static Information Flow Control Made Simpler. - Hemant Gouni; Jonathan Aldrich (CoRR, 2022)

Action-Based Test Carving for Android Apps. - Alessio Gambi; Hemant Gouni; Daniel Berreiter; Vsevolod Tymofyeyev; Mattia Fazzini (ICSTW, 2023)

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)