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:20260522T150119Z
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:Alexander Hück and Jan-Patrick Lehr (Technical University Darm
 stadt, Scientific Computing)\n\nMUST, a dynamic MPI correctness checker, i
 s extended with a type and memory allocation tracking sanitizer called Typ
 eART for C/C++ codes based on the LLVM compiler framework.  The sanitizer 
 extracts type information and inserts instrumentation to track memory allo
 cations and deallocations relevant to MPI communication.  This allows MUST
  to check for type compatibility between the type-less communication buffe
 r and the declared MPI datatype at all phases of the MPI communication, na
 mely message assembly, message transfer and message disassembly into the r
 eceiving buffer.  We evaluate our approach on benchmarks taken from SPEC M
 PI 2007 and two CORAL mini applications.  The results show that our approa
 ch typically exhibits acceptable runtime and memory overheads.  In particu
 lar, the memory overhead was below 20% in all cases.\n\nTag: Applications,
  Correctness, Debugging, Floating Point, MPI, OpenMP, Runtime Systems, Too
 ls, Verification\n\nRegistration Category: Workshop Reg Pass\n\nSession Ch
 airs: Ignacio Laguna (Lawrence Livermore National Laboratory (LLNL)) and C
 indy Rubio-González (University of California, Davis)\n\n
END:VEVENT
END:VCALENDAR