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:20181221T160728Z
LOCATION:D171
DTSTART;TZID=America/Chicago:20181112T161000
DTEND;TZID=America/Chicago:20181112T163000
UID:submissions.supercomputing.org_SC18_sess150_ws_corr101@linklings.com
SUMMARY:PARCOACH Extension for a Full-Interprocedural Collectives Verifica
 tion
DESCRIPTION:Workshop\nCorrectness, Debugging, MPI, Verification, Workshop 
 Reg Pass\n\nPARCOACH Extension for a Full-Interprocedural Collectives Veri
 fication\n\nSaillard, Huchant, Barthou, Brunie, Carribault\n\nThe advent t
 o exascale requires more scalable and efficient techniques to help develop
 ers to locate, analyze and correct errors in parallel applications.\nPARal
 lel COntrol flow Anomaly CHecker (PARCOACH) is a framework that detects th
 e origin of collective errors in applications using MPI and/or OpenMP. \nI
 n MPI, such errors include collective operations mismatches. In OpenMP, a 
 collective error can be a barrier not called by all tasks in a team. \nIn 
 this paper, we present an extension of PARCOACH which improves its collect
 ive errors detection.\nWe show our analysis is more precise and accurate t
 han the previous one on different benchmarks and real applications.
URL:https://sc18.supercomputing.org/presentation/?id=ws_corr101&sess=sess1
 50
END:VEVENT
END:VCALENDAR