Detecting deadlock in programs with data-centric synchronizationDaniel MarinoChristian Hammeret al.2013ICSE 2013