Transitive joins: a sound and efficient online deadlock-avoidance policy. - Caleb Voss 001; Tiago Cogumbreiro; Vivek Sarkar (PPoPP, 2019)

Linear Promises: Towards Safer Concurrent Programming. - Ohad Rau; Caleb Voss 001; Vivek Sarkar (ECOOP, 2021)

An ownership policy and deadlock detector for promises. - Caleb Voss 001; Vivek Sarkar (PPoPP, 2021)

Linear Promises: Towards Safer Concurrent Programming (Artifact). - Ohad Rau; Caleb Voss 001; Vivek Sarkar (Dagstuhl Artifacts Ser., 2021)

Addressing Logical Deadlocks through Task-Parallel Language Design. - Caleb Voss 001 (2021)