Detecting the First Races in Parallel Programs with Ordered Synchronization.

Hee-Dong Park, Yong-Kee Jun

Browse the full ICPADS paper archive.