BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Chicago
X-LIC-LOCATION:America/Chicago
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20211207T055338Z
LOCATION:Online
DTSTART;TZID=America/Chicago:20211119T092000
DTEND;TZID=America/Chicago:20211119T094000
UID:submissions.supercomputing.org_SC21_sess107_ws_corr101@linklings.com
SUMMARY:The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Ev
 aluation
DESCRIPTION:Workshop\n\nThe MPI BUGS INITIATIVE: a Framework for MPI Verif
 ication Tools Evaluation\n\nLaurent, Saillard, Quinson\n\nEnsuring the cor
 rectness 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 se
 t 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 limitati
 ons of these tools. In this paper, we present the MPI BUGS INITIATIVE, a c
 omplete collection of MPI codes to assess the status of MPI verification t
 ools. We introduce a classification of MPI errors and provide correct and 
 incorrect codes covering many MPI features and our categorization of error
 s. The resulting suite comprises 1,668 codes, each coming with a well-form
 atted header that clarifies the intent of each code and specifies how to e
 xecute and evaluate it. We evaluated the completeness of the MPI BUGS INIT
 IATIVE against eight state-of-the-art MPI verification tools.\n\nTag: Onli
 ne Only, Correctness, Parallel Programming Languages and Models, Reliabili
 ty and Resiliency, Software Engineering\n\nRegistration Category: Workshop
  Reg Pass
END:VEVENT
END:VCALENDAR