Matthew Kolosick | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Deepak Garg
26 publications
Ranjit Jhala
14 publications
Deian Stefan
14 publications
Conrad Watt
6 publications
Shravan Narayan
4 publications
Michael LeMay
3 publications
Anish Tondwalkar
2 publications

research

∙ 05/05/2021

Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version)

Refinement types decorate types with assertions that enable automatic ve...

0 Anish Tondwalkar, et al. ∙

research

∙ 04/30/2021

Isolation Without Taxation: Near Zero Cost Transitions for SFI

Almost all SFI systems use heavyweight transitions that incur significan...

0 Matthew Kolosick, et al. ∙