The International Conference for High Performance Computing, Networking, Storage, and Analysis
The International Conference for High Performance Computing, Networking, Storage, and Analysis
Workshop: 7th International Workshop on Software Correctness for HPC Applications (Correctness '23)
Authors: Philippe Virouleau and Emmanuelle Saillard (French Institute for Research in Computer Science and Automation (INRIA)) and Marc Sergent and Pierre Lemarinier (Eviden)
Abstract: PARCOACH is one of the few verification tools that relies on a static analysis to detect errors in MPI programs. First focused on the detection of call ordering errors with collectives, it has recently been extended to detect local concurrency errors in MPI-RMA programs. Furthermore, the new version of the tool fixes multiple errors and is easier to use. We present the improvements we made and the results we obtained on the MPI Bugs Initiative.