* indicates equal contributions, or coauthorship
Published
- Workshop: Action-Based Test Carving for Android Apps. Alessio Gambi, Hemant Gouni, Daniel Berreiter, Vsevolod Tymofyeyev and Mattia Fazzini. INTUITESTBEDS 2023. Paper
- Workshop: Static Information Flow Control Made Simpler. Hemant Gouni, Jonathan Aldrich. HATRA 2022. Paper, Slides with transitions, Slides without transitions
- Poster: Implementation of an end-to-end gradual verification system. Hemant Gouni* and Conrad Zimmerman*. Poster at SPLASH 2021 Student Research Competition. Paper, Poster
Under Review
- 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. Pre-print