An OpenMP Analyzer for Detecting Concurrency Errors | IEEE Conference Publication | IEEE Xplore