Compiler-aided Type Tracking for Correctness Checking of MPI Applications

Piscataway, NJ / IEEE (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

[2nd International Workshop on Software Correctness for HPC Applications (Correctness), 2018-11-12 - 2018-11-12, Dallas, TX, USA]
Seite(n): 51-58

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Huck, Alexander
Lehr, Jan-Patrick
Kreutzer, Sebastian
Protze, Joachim
Terboven, Christian

Weitere Autorinnen und Autoren

Bischof, Christian
Müller, Matthias Stefan

Identifikationsnummern