An empirical study of data race detector tools | IEEE Conference Publication | IEEE Xplore