BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/New_York
X-LIC-LOCATION:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20210402T160553Z
LOCATION:Track 10
DTSTART;TZID=America/New_York:20201111T174000
DTEND;TZID=America/New_York:20201111T180500
UID:submissions.supercomputing.org_SC20_sess205_ws_corr102@linklings.com
SUMMARY:Toward Compiler-Aided Correctness Checking of Adjoint MPI Applicat
 ions
DESCRIPTION:Workshop\n\nToward Compiler-Aided Correctness Checking of Adjo
 int MPI Applications\n\nHück, Protze, Lehr\n\nAlgorithmic Differentiation 
 (AD) is a set of techniques to calculate derivatives of a computer program
 .  In C++, AD typically requires (i) a type change of the built-in double,
  and (ii) a replacement of all MPI calls with AD-specific implementations.
   This poses challenges on MPI correctness tools, such as MUST, a dynamic 
 checker, and TypeART, its memory sanitizer extension.  In particular, AD i
 mpacts (i) memory layouts of the whole code, (ii) requires more memory all
 ocations tracking by TypeART, and (iii) approximately doubles the MPI type
  checks of MUST due to an AD-specific communication reversal.\n\nTo addres
 s these challenges, we propose a new callback interface for MUST to reduce
  the number of intercepted MPI calls, and, also, improve the filtering cap
 abilities of TypeART to reduce tracking of temporary allocations for the d
 erivative computation.  We evaluate our approach on an AD-enhanced version
  of CORAL LULESH.  In particular, we reduce stack variable tracking from 3
 2 million to 13 thousand.  MUST with TypeART and the callback interface re
 duces the runtime overhead to that of vanilla MUST.\n\nTag: Compilers Anal
 ysis and Optimization, Correctness, MPI\n\nRegistration Category: Workshop
  Reg Pass
END:VEVENT
END:VCALENDAR