Hemant Gouni
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
- Frank Pfenning6 talks
- Jonathan Aldrich17 talks
- Deepak Garg18 talks
- Ishan Bhanuka3 talks
- Limin Jia17 talks
- Lionel Parreaux19 talks
| title | conference | date |
|---|---|---|
| Security Reasoning via Substructural Dependency Tracking | POPL 2026 | 2026-01-11 |
A new type system flips substructural resource reasoning from inputs to outputs and implements a suspended computation connective so effects are produced when… | ||
| Structural Information Flow: A Fresh Look at Types for Non-Interference | OOPSLA 2025 | 2025-10-16 |
Type system separates data abstraction from information flow, turns single labels into dependency sets, and encodes quantifiers as existentials so module… | ||
| Substructural Information Flow via Polymorphism | IWACO 2024 | 2024-10-21 |
Argues that information flow is expressible with parametric polymorphism replaces lattices, presents a prototype type system implemented in OKL/OCaml tooling… | ||
| nothing matches | ||