Detecting deadlock in programs with data-centric synchronization.

Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek

Browse the full ICSE paper archive.