LOFT: Redundant Synchronization Event Removal for Data Race Detection | IEEE Conference Publication | IEEE Xplore