Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. (2008)

by Yin Wang, Terence Kelly, Manjunath Kudlur, Stephane Lafortune, Scott Mahlke
Venue:In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI),