2013 35th International Conference on Software Engineering (ICSE)
Detecting deadlock in programs with data-centric synchronization
DOI Bookmark: 10.1109/ICSE.2013.6606578
Authors
Daniel Marino, Symantec Research Labs, USAChristian Hammer, Saarland University, Germany
Julian Dolby, IBM T.J. Watson Research Center, USA
Mandana Vaziri, IBM T.J. Watson Research Center, USA
Frank Tip, University of Waterloo, Canada
Jan Vitek, Purdue University, USA