An ownership policy and deadlock detector for promises.

Caleb Voss, Vivek Sarkar

Browse the full PPoPP paper archive.