Caleb Voss | DeepAI

DeepAI

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

Featured Co-authors

Vivek Sarkar
12 publications
David Heath
4 publications
William Harris
4 publications

research

∙ 01/05/2021

An Ownership Policy and Deadlock Detector for Promises

Task-parallel programs often enjoy deadlock freedom under certain restri...

0 Caleb Voss, et al. ∙

research

∙ 10/10/2017

Proofs as Relational Invariants of Synthesized Execution Grammars

The automatic verification of programs that maintain unbounded low-level...

0 Caleb Voss, et al. ∙