Hemant Gouni -

Registered user since Sun 6 Nov 2022

Name:Hemant Gouni

Country:United States

Affiliation:Carnegie Mellon University

Personal website: https://hgouni.com

Contributions

2026

IWACO

Committee Member in Organizing Committee within the IWACO 2026-track

POPL

Author of Security Reasoning via Substructural Dependency Tracking within the POPL-track

2025

IWACO

SPLASH

Author of Structural Information Flow: A Fresh Look at Types for Non-Interference within the OOPSLA-track

POPL

Author of Gradual C0: Symbolic Execution for Gradual Verification within the POPL-track

2024

IWACO

Author of Substructural Information Flow via Polymorphism within the IWACO'24-track

2023

INTUITESTBEDS

Author of Action-Based Test Carving for Android Apps within the INTUITESTBEDS 2023-track

2022

HATRA

Author of Static Information Flow Control Made Simple within the Human Aspects of Types and Reasoning Assistants-track

2021

SPLASH

Author of Implementation of an End-to-End Gradual Verification System within the Student Research Competition-track