ARCHER: Effectively Spotting Data Races in Large OpenMP Applications | IEEE Conference Publication | IEEE Xplore