Compiler-aided Type Tracking for Correctness Checking of MPI Applications.

Alexander Hck, Jan-Patrick Lehr, Sebastian Kreutzer, Joachim Protze, Christian Terboven, Christian H. Bischof, Matthias S. Mller

Browse the full SC paper archive.