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:20260522T150123Z
LOCATION:D221
DTSTART;TZID=America/Chicago:20181111T143100
DTEND;TZID=America/Chicago:20181111T145100
UID:submissions.supercomputing.org_SC18_sess162_ws_cre105@linklings.com
SUMMARY:Debugging and Optimization of HPC Programs in Mixed Precision with
  the Verrou Tool
DESCRIPTION:François Févotte and Bruno Lathuilière (EDF Research and Devel
 opment)\n\nFloating-Point (FP) arithmetic is becoming a hotter and hotter 
 topic in High-Performance Computing (HPC). First, high computational perfo
 rmance is often achieved at the expense of a loss of control over the orde
 r in which FP operations are executed; second, optimizing the use of FP pr
 ecision is often key to achieving high performance.\n\nIn this paper, we p
 resent how the Verrou tool can help deal with these issues in the context 
 of large, industrial, high-performance scientific computing codes such as 
 the ones developed and used by leading actors in the industry. In particul
 ar, we detail the various new features recently implemented in the Verrou 
 tool, which allow performing the complete analysis of FP-related issues in
  mixed precision, high-performance codes. The historical stochastic arithm
 etic back-end of Verrou has been extended to handle specific issues relate
 d to the use of mixed precision in simulation codes, by instrumenting type
  conversions leading to round-off errors (such as double to float cast). A
  new arithmetic back-end has also been introduced in Verrou, allowing to e
 mulate the use of a smaller precision in (part of) the code.\n\nTogether w
 ith the existing debugging and localization techniques proposed by Verrou,
  these new features make it possible to use the tool not only for diagnost
 ics, but also as an help during the mixed-precision optimization process.\
 n\nTag: Exascale, Hot Topics, Reproducibility, Scientific Computing\n\nReg
 istration Category: Workshop Reg Pass\n\nSession Chairs: Walid Keyrouz (Na
 tional Institute of Standards and Technology (NIST)) and Michael V. Mascag
 ni (Florida State University, National Institute of Standards and Technolo
 gy (NIST))\n\n
END:VEVENT
END:VCALENDAR