Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring Rahul Agarwal, Liqiang Wang, Scott D. Stoller Common Concurrent Programming Errors Deadlock occurs…