Dynamic deadlock avoidance in systems code using statically inferred effects.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris

Browse the full SOSP paper archive.