Hemant Gouni | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Éric Tanter
19 publications
Jonathan Aldrich
11 publications
Joshua Sunshine
9 publications
Conrad Zimmerman
2 publications
Jenna DiVincenzo
1 publication
Ian McCormack
1 publication
Jacob Gorenburg
1 publication
Mona Zhang
1 publication

research

∙ 10/24/2022

Static Information Flow Control Made Simpler

Static information flow control (IFC) systems provide the ability to res...

0 Hemant Gouni, et al. ∙

research

∙ 10/05/2022

Gradual C0: Symbolic Execution for Efficient Gradual Verification

Current static verification techniques such as separation logic support ...

0 Jenna DiVincenzo, et al. ∙

Success!

An error occurred