Yin Wang Terence Kelly Manjunath Kudlur Stéphane Lafortune Scott A. Mahlke Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. 281-294 2008 OSDI http://www.usenix.org/events/osdi08/tech/full_papers/wang/wang.pdf conf/osdi/2008 db/conf/osdi/osdi2008.html#WangKKLM08