Compiler-aided type tracking for correctness checking of MPI applications

  • Posted on: December 20, 2018 - 10:25
TitleCompiler-aided type tracking for correctness checking of MPI applications
Publication TypeConference Paper
Year of Publication2018
AuthorsHück, A, Lehr, J-P, Kreutzer, S, Protze, J, Terboven, C, Bischof, C, Müller, MS
Conference NameInternational Workshop on Software Correctness for HPC Applications
Undefined