The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation.

Mathieu Laurent Emmanuelle Saillard Martin Quinson

Published in: Correctness@SC (2021)

Keyphrases

main contribution
evaluation method
message passing
shared memory
high performance computing
parallel computing
decision support
parallelization strategy
software tools
software systems
general purpose
parallel algorithm
lightweight
parallel implementation
massively parallel
probabilistic model
neural network