BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/New_York
X-LIC-LOCATION:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20210402T160553Z
LOCATION:Track 10
DTSTART;TZID=America/New_York:20201111T171500
DTEND;TZID=America/New_York:20201111T174000
UID:submissions.supercomputing.org_SC20_sess205_ws_corr101@linklings.com
SUMMARY:PARCOACH Extension for Static MPI Nonblocking and Persistent Commu
 nication Validation
DESCRIPTION:Workshop\n\nPARCOACH Extension for Static MPI Nonblocking and 
 Persistent Communication Validation\n\nNguyen, Saillard, Jaeger, Barthou, 
 Carribault\n\nThe Message Passing Interface (MPI) is a parallel programmin
 g model used to exchange data between working units in different nodes of 
 a supercomputer. While MPI blocking operations return when the communicati
 on is complete, nonblocking and persistent operations return before the co
 mmunication is complete, enabling a developer to hide communication latenc
 y. The usage of the latter, however, comes with additional rules by which 
 the user must abide. This is error prone, which makes verification tools v
 aluable for MPI program writers.\n\nPARCOACH is a framework that detects M
 PI collective errors using a static/dynamic analysis. The static phase stu
 dies the control- and data-flow of a program to detect potential errors wh
 ile the dynamic phase uses compile-time information to verify the potentia
 l errors. In this paper we present an extension of PARCOACH static analysi
 s to detect misuse of MPI nonblocking and persistent communications. Our n
 ew analysis adds the detection of four new error classes related to these 
 types of communications.\n\nTag: Correctness, MPI\n\nRegistration Category
 : Workshop Reg Pass
END:VEVENT
END:VCALENDAR