Detecting deadlock in programs with data-centric synchronization | IEEE Conference Publication | IEEE Xplore