Highlighting PARCOACH Improvements on MBI-Reference-Cited by-同舟云学术

Highlighting PARCOACH Improvements on MBI

Published:2023-11-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis
language:
Short-container-title:

Author:

Virouleau Philippe¹^ORCID,Saillard Emmanuelle¹^ORCID,Sergent Marc²^ORCID,Lemarinier Pierre²^ORCID

Affiliation:

1. Inria, France

2. Eviden, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3624062.3624093

Reference6 articles.

1. Tassadit Aitkaci . 2022. Analyse et optimisations pour les applications HPC à mémoire distribuée et adressable globalement. Ph. D. Dissertation . University of Bordeaux. Tassadit Aitkaci. 2022. Analyse et optimisations pour les applications HPC à mémoire distribuée et adressable globalement. Ph. D. Dissertation. University of Bordeaux.

2. PARCOACH: Combining static and dynamic validation of MPI collective communications;Emmanuelle Saillard;IJHPCA,2014

3. PARCOACH Extension for a Full-Interprocedural Collectives Verification

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

5. Emmanuelle Saillard , Marc Sergent , Tassadit Célia Aitkaci , and Denis Barthou . 2022 . Static Local Concurrency Errors Detection in MPI-RMA Programs. In Correctness 2022 - Sixth International Workshop on Software Correctness for HPC Applications. Dallas, United States. Emmanuelle Saillard, Marc Sergent, Tassadit Célia Aitkaci, and Denis Barthou. 2022. Static Local Concurrency Errors Detection in MPI-RMA Programs. In Correctness 2022 - Sixth International Workshop on Software Correctness for HPC Applications. Dallas, United States.