Compiler-aided Type Tracking for Correctness Checking of MPI Applications

Piscataway, NJ / IEEE (2018) [Contribution to a book, Contribution to a conference proceedings]

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


Selected Authors

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

Other Authors

Bischof, Christian
Müller, Matthias Stefan