Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs

Yan Cai, W. K. Chan. Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs. IEEE Trans. Software Eng., 40(3):266-281, 2014. [doi]

Abstract

Abstract is missing.