LOFT: Redundant Synchronization Event Removal for Data Race Detection.

Yan Cai, W. K. Chan

Browse the full ISSRE paper archive.