Hemant Gouni

According to our database, Hemant Gouni authored at least 7 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Security Reasoning via Substructural Dependency Tracking.

Hemant Gouni, Frank Pfenning, Jonathan Aldrich

Proc. ACM Program. Lang., 2026

2025

Structural Information Flow: A Fresh Look at Types for Non-interference.

Hemant Gouni, Frank Pfenning, Jonathan Aldrich

Proc. ACM Program. Lang., 2025

2024

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., December, 2024

2023

Action-Based Test Carving for Android Apps.

Alessio Gambi, Hemant Gouni, Daniel Berreiter, Vsevolod Tymofyeyev, Mattia Fazzini

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

Static Information Flow Control Made Simpler.

Hemant Gouni, Jonathan Aldrich

CoRR, 2022

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

2021

Implementation of an end-to-end gradual verification system.

Hemant Gouni, Conrad Zimmerman

Proceedings of the SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17, 2021