BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Denver
X-LIC-LOCATION:America/Denver
BEGIN:DAYLIGHT
TZOFFSETFROM:-0700
TZOFFSETTO:-0600
TZNAME:MDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0600
TZOFFSETTO:-0700
TZNAME:MST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260422T000713Z
LOCATION:708
DTSTART;TZID=America/Denver:20231112T171800
DTEND;TZID=America/Denver:20231112T173000
UID:submissions.supercomputing.org_SC23_sess438_ws_corr110@linklings.com
SUMMARY:Highlighting PARCOACH Improvements on MBI
DESCRIPTION:Philippe Virouleau and Emmanuelle Saillard (French Institute f
 or Research in Computer Science and Automation (INRIA)) and Marc Sergent a
 nd Pierre Lemarinier (Eviden)\n\nPARCOACH is one of the few verification t
 ools that relies on a static analysis to detect errors in MPI programs. Fi
 rst focused on the detection of call ordering errors with collectives, it 
 has recently been extended to detect local concurrency errors in MPI-RMA p
 rograms. Furthermore, the new version of the tool fixes multiple errors an
 d is easier to use. We present the improvements we made and the results we
  obtained on the MPI Bugs Initiative.\n\nTag: Applications, Software Engin
 eering\n\nRegistration Category: Workshop Reg Pass\n\nSession Chairs: Igna
 cio Laguna (Lawrence Livermore National Laboratory (LLNL)); Cindy Rubio-Go
 nzález (University of California, Davis); and Emmanuelle Saillard (French 
 Institute for Research in Computer Science and Automation (INRIA))\n\n
END:VEVENT
END:VCALENDAR