Detecting Unaffected Message Races in Parallel Programs.

Mi-Young Park, Yong-Kee Jun

Browse the full GPC paper archive.