MPI-BugBench: A Framework for Assessing MPI Correctness Tools
- 25 September 2024
- book chapter
- Published by Springer Nature
- p. 121-137
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- On-the-Fly Data Race Detection for MPI RMA Programs with MUST2022
- High-Precision Evaluation of Both Static and Dynamic Tools using DataRaceBench2021
- The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation2021
- MPI-CorrBench2021
- A large-scale study of MPI usage in open-source HPC applications2019
- Compiler-aided Type Tracking for Correctness Checking of MPI Applications2018
- MPI-checker2015
- Combining static and dynamic validation of MPI collective communications2013
- MUST: A Scalable Approach to Runtime Error Detection in MPI Programs2010
- The Importance of Run-Time Error Detection2010