OMPRacer: a scalable and precise static race detector for OpenMP programs.

Bradley Swain, Yanze Li, Peiming Liu, Ignacio Laguna, Giorgis Georgakoudis, Jeff Huang

Browse the full SC paper archive.