An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs | IEEE Conference Publication | IEEE Xplore