Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications.

Zhi Da Luo, Raja Das, Yao Qi

Browse the full ICST paper archive.