Trace driven dynamic deadlock detection and reproduction.

Malavika Samak, Murali Krishna Ramanathan

Browse the full PPoPP paper archive.