Abhishek Bichhawat | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor

Featured Co-authors

Matt Fredrikson
29 publications
Limin Jia
7 publications
Jean Yang
2 publications
Akash Trehan
1 publication
McKenna McCall
1 publication

research

∙ 03/28/2020

First-order Gradual Information Flow Types with Gradual Guarantees

Gradual type systems seamlessly integrate statically-typed programs with...

0 Abhishek Bichhawat, et al. ∙

research

∙ 11/20/2018

ESTRELA: Automated Policy Enforcement Across Remote APIs

Web applications routinely access sensitive and confidential data of use...

0 Abhishek Bichhawat, et al. ∙