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:20181221T160726Z
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:Workshop\nExascale, Hot Topics, Reproducibility, Scientific Co
 mputing, Workshop Reg Pass\n\nDebugging and Optimization of HPC Programs i
 n Mixed Precision with the Verrou Tool\n\nFévotte, Lathuilière\n\nFloating
 -Point (FP) arithmetic is becoming a hotter and hotter topic in High-Perfo
 rmance Computing (HPC). First, high computational performance is often ach
 ieved at the expense of a loss of control over the order in which FP opera
 tions are executed; second, optimizing the use of FP precision is often ke
 y to achieving high performance.\n\nIn this paper, we present how the Verr
 ou tool can help deal with these issues in the context of large, industria
 l, high-performance scientific computing codes such as the ones developed 
 and used by leading actors in the industry. In particular, we detail the v
 arious new features recently implemented in the Verrou tool, which allow p
 erforming the complete analysis of FP-related issues in mixed precision, h
 igh-performance codes. The historical stochastic arithmetic back-end of Ve
 rrou has been extended to handle specific issues related to the use of mix
 ed precision in simulation codes, by instrumenting type conversions leadin
 g to round-off errors (such as double to float cast). A new arithmetic bac
 k-end has also been introduced in Verrou, allowing to emulate the use of a
  smaller precision in (part of) the code.\n\nTogether with the existing de
 bugging and localization techniques proposed by Verrou, these new features
  make it possible to use the tool not only for diagnostics, but also as an
  help during the mixed-precision optimization process.
URL:https://sc18.supercomputing.org/presentation/?id=ws_cre105&sess=sess16
 2
END:VEVENT
END:VCALENDAR