Compiler-aided Type Tracking for Correctness Checking of MPI Applications

Huck, Alexander (Corresponding author); Lehr, Jan-Patrick (Corresponding author); Kreutzer, Sebastian (Corresponding author); Protze, Joachim (Corresponding author); Terboven, Christian (Corresponding author); Bischof, Christian (Corresponding author); Müller, Matthias S. (Corresponding author)

Piscataway, NJ : IEEE (2018)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of Correctness 2018: 2nd International Workshop on Software Correctness for HPC Applications : held in conjunction with SC18: the International Conference for High Performance Computing, Networking, Storage and Analysis : Dallas, Texas, November 11-16, 2018 / IEEE Computer Society, TCHPC, ACM, SIGHPC ; Correctness 2018 workshop organizers: Ignacio Laguna (Lawrence Livermore National Laboratory), Cindy Rubio-González (University of California, Davis)
Page(s)/Article-Nr.: 51-58