Tong Li Carla Schlatter Ellis Alvin R. Lebeck Daniel J. Sorin Pulse: A Dynamic Deadlock Detection Mechanism Using Speculative Execution. 31-44 2005 conf/usenix/2005g USENIX Annual Technical Conference, General Track http://www.usenix.org/events/usenix05/tech/general/li.html db/conf/usenix/usenix2005g.html#LiELS05