2 citations · 2 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021★ 2 cited
An Ownership Policy and Deadlock Detector for Promises
Caleb Voss, Vivek Sarkar
Task-parallel programs often enjoy deadlock freedom under certain restrictions, such as the use of structured join operations, as in Cilk and X10, or the use of asynchronous task f…
cs.PL2017
Proofs as Relational Invariants of Synthesized Execution Grammars
Caleb Voss, David Heath, William Harris
The automatic verification of programs that maintain unbounded low-level data structures is a critical and open problem. Analyzers and verifiers developed in previous work can synt…