Gadara: Dynamic deadlock avoidance for multithreaded programs (2008)

by Y Wang, T Kelly, M Kudlur, S Lafortune, S Mahlke
Venue:In Proceedings of the Symposium on Operating Systems Design and Implementation