Correctness Checking of MPI Derived Datatypes Using TypeART
The message passing interface (MPI) is the de-facto standard for distributed high performance computing. However, it ...
Engineering Sciences
Computer Science
The message passing interface (MPI) is the de-facto standard for distributed high performance computing. However, it ...
MUST, a dynamic MPI correctness checker, is extended with a type and memory allocation tracking sanitizer called TypeART ...