- Security Reasoning via Substructural Dependency Tracking.
Hemant Gouni, Frank Pfenning, Jonathan Aldrich.
POPL 2026.
Distinguished Paper Award.
Paper,
Extended Report,
Slides,
Talk
- Structural Information Flow: A Fresh Look at Types for Non-interference.
Hemant Gouni, Frank Pfenning, Jonathan Aldrich.
OOPSLA 2025.
Paper,
Extended Report,
Slides,
Talk
- Gradual C0: Symbolic Execution for Efficient 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.
TOPLAS 2024.
Paper
- Constraints vs Structures in Type Systems.
Hemant Gouni, Will Crichton, Jonathan Aldrich.
PLATEAU 2025.
Extended Abstract,
Slides
- Substructural Information Flow via Polymorphism.
Hemant Gouni, Jonathan Aldrich.
IWACO 2024.
Slides,
Lecture Notes
- Action-Based Test Carving for Android Apps.
Alessio Gambi, Hemant Gouni, Daniel Berreiter, Vsevolod Tymofyeyev and Mattia Fazzini.
ICSTW 2023.
Paper
- Static Information Flow Control Made Simpler.
Hemant Gouni, Jonathan Aldrich.
HATRA 2022.
Paper,
Slides
- Implementation of an end-to-end gradual verification system.
Hemant Gouni
*Coauthor
and Conrad Zimmerman*Coauthor
.
SPLASH 2021 SRC.
Paper,
Poster