Gadara: Dynamic deadlock avoidance for multithreaded programs (0)

by Y Wang, T Kelly, M Kudlur, S Lafortune, S Mahlke
Venue:In OSDI, 2008a