Malavika Samak, Murali Krishna Ramanathan. Trace driven dynamic deadlock detection and reproduction. In José Moreira, James R. Larus, editors, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '14, Orlando, FL, USA, February 15-19, 2014. pages 29-42, ACM, 2014. [doi]
Abstract is missing.