BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:e55c8454-7cd2-4c62-bd5d-a21e22422732
X-WR-CALNAME:[MTV] Emmanuelle Saillard (INRIA Bordeaux) - PARCOACH\, a tool
  that combines static and dynamic analyses to detect misuse of MPI communi
 cations
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20240331T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20211031T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20221030T030000
RDATE:20231029T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20220327T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20230326T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:e55c8454-7cd2-4c62-bd5d-a21e22422732
DTSTAMP:20260405T011602Z
CLASS:PUBLIC
DESCRIPTION:The advent to exascale requires more scalable and efficient tec
 hniques to help developers to locate\, analyze and correct errors in paral
 lel applications. PARallel COntrol flow Anomaly CHecker (PARCOACH) is a fr
 amework that detects MPI collective errors using a static/dynamic analysis
 . The static phase studies the control- and data-flow of a program to dete
 ct potential errors while the dynamic phase uses compile-time information 
 to verify the potential errors. Recently\, PARCOACH has been extended to d
 etect misuse of MPI nonblocking and persistent communications. The new ana
 lysis adds the detection of four new error classes related to these types 
 of communications.
DTSTART;TZID=Europe/Paris:20220616T130000
DTEND;TZID=Europe/Paris:20220616T140000
LOCATION:LaBRI - 178 - https://bordeaux-inp-fr.zoom.us/j/89508306159
SEQUENCE:0
SUMMARY:[MTV] Emmanuelle Saillard (INRIA Bordeaux) - PARCOACH\, a tool that
  combines static and dynamic analyses to detect misuse of MPI communicatio
 ns
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
