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:20181112T153000
DTEND;TZID=America/Chicago:20181112T155000
UID:submissions.supercomputing.org_SC18_sess150_ws_corr102@linklings.com
SUMMARY:Compiler-Aided Type Tracking for Correctness Checking of MPI Appli
 cations
DESCRIPTION:Workshop\nCorrectness, Debugging, MPI, Verification, Workshop 
 Reg Pass\n\nCompiler-Aided Type Tracking for Correctness Checking of MPI A
 pplications\n\nHück, Lehr\n\nMUST, a dynamic MPI correctness checker, is e
 xtended with a type and memory allocation tracking sanitizer called TypeAR
 T for C/C++ codes based on the LLVM compiler framework.  The sanitizer ext
 racts type information and inserts instrumentation to track memory allocat
 ions and deallocations relevant to MPI communication.  This allows MUST to
  check for type compatibility between the type-less communication buffer a
 nd the declared MPI datatype at all phases of the MPI communication, namel
 y message assembly, message transfer and message disassembly into the rece
 iving buffer.  We evaluate our approach on benchmarks taken from SPEC MPI 
 2007 and two CORAL mini applications.  The results show that our approach 
 typically exhibits acceptable runtime and memory overheads.  In particular
 , the memory overhead was below 20% in all cases.
URL:https://sc18.supercomputing.org/presentation/?id=ws_corr102&sess=sess1
 50
END:VEVENT
END:VCALENDAR