Race detection for two-phase systems | IEEE Conference Publication | IEEE Xplore