We present a new technique to find real deadlocks in concurrent programs that use locks.
For 4.5 million lines of Java, our technique found almost twice as many real deadlocks as …

This paper presents a dynamic program analysis algorithm that can detect deadlock
potentials in a multi-threaded program by examining a single execution trace, obtained by …