Deadlocks are one of the most notorious concurrency bugs, and significant research has focused on detecting them efficiently. Dynamic predictive analyses work by observing concurrent executions, reason about alternative interleavings that can witness bugs. Such techniques offer scalability sound bug reports, have emerged as an effective approach for detection, such data races. Effective dynamic...