Automatic Detection of MPI Assertions
- 20 October 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Compiler-aided Type Tracking for Correctness Checking of MPI ApplicationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2018
- Measuring Multithreaded Message Matching MiseryPublished by Springer Science and Business Media LLC ,2018
- Towards millions of communicating threadsPublished by Association for Computing Machinery (ACM) ,2016
- MPI-checkerPublished by Association for Computing Machinery (ACM) ,2015
- Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACHPublished by Association for Computing Machinery (ACM) ,2015
- PARCOACH: Combining static and dynamic validation of MPI collective communicationsThe International Journal of High Performance Computing Applications, 2014
- MUST: A Scalable Approach to Runtime Error Detection in MPI ProgramsPublished by Springer Science and Business Media LLC ,2010
- MPI-aware compiler optimizations for improving communication-computation overlapPublished by Association for Computing Machinery (ACM) ,2009
- MPI-CHECK: a tool for checking Fortran 90 MPI programsConcurrency and Computation: Practice and Experience, 2003