Park, M., S. Shim, Y. Jun, and H. Park, "MPIRace-Check: Detection of Message Races in MPI Programs," Proc. of the 2nd Int'l Conf. on Grid and Pervasive Computing (GPC), Lecture Notes in Computer Science, 4459: 322-333, Springer-Verlag, Paris, France, May 2007.