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:20260522T150116Z
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:Emmanuelle Saillard, Pierre Huchant, and Denis Barthou (French
  Institute for Research in Computer Science and Automation (INRIA)) and Hu
 go Brunie and Patrick Carribault (Atomic Energy and Alternative Energies C
 ommission (CEA))\n\nThe advent to exascale requires more scalable and effi
 cient techniques to help developers to locate, analyze and correct errors 
 in parallel applications.\nPARallel COntrol flow Anomaly CHecker (PARCOACH
 ) is a framework that detects the origin of collective errors in applicati
 ons using MPI and/or OpenMP. \nIn MPI, such errors include collective oper
 ations mismatches. In OpenMP, a collective error can be a barrier not call
 ed by all tasks in a team. \nIn this paper, we present an extension of PAR
 COACH which improves its collective errors detection.\nWe show our analysi
 s is more precise and accurate than the previous one on different benchmar
 ks and real applications.\n\nTag: Applications, Correctness, Debugging, Fl
 oating Point, MPI, OpenMP, Runtime Systems, Tools, Verification\n\nRegistr
 ation Category: Workshop Reg Pass\n\nSession Chairs: Ignacio Laguna (Lawre
 nce Livermore National Laboratory (LLNL)) and Cindy Rubio-González (Univer
 sity of California, Davis)\n\n
END:VEVENT
END:VCALENDAR