Pulse: A Dynamic Deadlock Detection Mechanism Using Speculative Execution.

Tong Li, Carla Schlatter Ellis, Alvin R. Lebeck, Daniel J. Sorin

Browse the full USENIX paper archive.