On-the-Fly Data Race Detection for MPI RMA Programs with MUST

Schwitanski, Simon; Jenke, Joachim; Tomski, Felix; Terboven, Christian; Müller, Matthias S.

Piscataway, NJ : IEEE (2022, 2023)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Proceedings of Correctness 2022: Sixth International Workshop on Software Correctness for HPC Applications : held in conjunction with SC22: the International Conference for High Performance Computing, Networking, Storage and Analysis, Dallas, Texas, USA, November 13-18, 2022 / IEEE Computer Society, TCHPC, ACM, SIGHPC
Seite(n)/Artikel-Nr.: 27-36

Einrichtungen

• IT Center [022000]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 12 (Hochleistungsrechnen) [123010]