Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.

Yin Wang, Terence Kelly, Manjunath Kudlur, Stphane Lafortune, Scott A. Mahlke

Browse the full OSDI paper archive.