PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation

Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault. PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. In Ignacio Laguna, Cindy Rubio-González, editors, 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC, Atlanta, GA, USA, November 11, 2020. pages 31-39, IEEE, 2020. [doi]

Abstract

Abstract is missing.