Wenwen Wang. MPIRace: A Static Data Race Detector for MPI Programs. In Charith Mendis, Lawrence Rauchwerger, editors, Languages and Compilers for Parallel Computing - 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers. Volume 13829 of Lecture Notes in Computer Science, pages 73-90, Springer, 2022. [doi]
Abstract is missing.