Tim Jammer, Christian Iwainsky, Christian H. Bischof. Automatic Detection of MPI Assertions. In Heike Jagode, Hartwig Anzt, Guido Juckeland, Hatem Ltaief, editors, High Performance Computing - ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21-25, 2020, Revised Selected Papers. Volume 12321 of Lecture Notes in Computer Science, pages 34-42, Springer, 2020. [doi]
Abstract is missing.