Detecting Thread-Safety Violations in Hybrid OpenMP/MPI Programs | IEEE Conference Publication | IEEE Xplore