Emmanuelle Saillard (Storm)

Hi y’all!

I am happy to inform you that we will have one extra extraordinary seminar this month. Emmanuelle, one of our team members, will tell us all about her framework for MPI verification tools.

Feel free to join us on March 29 in the George Boole 2 room or online.

Speaker

Emmanuelle Saillard

When

Tuesday, March 29, 2022 at 11 am.

Where

Room George Boole 2 or online (link to be shared in the future)

Title

The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation

Abstract

Ensuring the correctness of MPI programs becomes as challenging and important as achieving the best performance. Many tools have been proposed in the literature to detect incorrect usages of MPI in a given program. However, the limited set of code samples each tool provides and the lack of metadata stating the intent of each test make it difficult to assess the strengths and limitations of these tools. In this talk, I will present the MPI BUGS INITIATIVE, a complete collection of MPI codes to assess the status of MPI verification tools. It introduces a classification of MPI errors and provides correct and incorrect codes covering many MPI features and our categorization of errors. The resulting suite comprises 1,668 codes, each coming with a well-formatted header that clarifies the intent of each code and specifies how to execute and evaluate it. We evaluated the completeness of the MPI BUGS INITIATIVE against eight state- of-the-art MPI verification tools.