ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs
MagicFuzzer: Scalable deadlock detection for large-scale applications