BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Denver
X-LIC-LOCATION:America/Denver
BEGIN:DAYLIGHT
TZOFFSETFROM:-0700
TZOFFSETTO:-0600
TZNAME:MDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0600
TZOFFSETTO:-0700
TZNAME:MST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20200129T163559Z
LOCATION:712
DTSTART;TZID=America/Denver:20191118T103000
DTEND;TZID=America/Denver:20191118T110000
UID:submissions.supercomputing.org_SC19_sess118_ws_corr101@linklings.com
SUMMARY:Debugging and Optimization of HPC Programs with the Verrou Tool
DESCRIPTION:Workshop\n\nDebugging and Optimization of HPC Programs with th
 e Verrou Tool\n\nLathuilière, Fevotte\n\nThe analysis of Floating-Point-re
 lated issues in HPC codes is becoming a topic of major interest: parallel 
 computing and code optimization often break the reproducibility of numeric
 al results across machines, compilers and even executions of the same prog
 ram.\n\nThis paper presents how the Verrou tool can help during all stages
  of the Floating-Point analysis of HPC codes: diagnostic, debugging and op
 timization. Recent developments of Verrou are presented, along with exampl
 es illustrating the interest of these new features for industrial codes su
 ch as code aster.  More specifically, the Verrou arithmetic back-ends now 
 allow analyzing or emulating mixed-precision programs. Interlibm, an inter
 position layer for the mathematical library, is introduced to mitigate lon
 g-standing issues with algorithms from the libm.  Finally, debugging algor
 ithms are extended in order to produce useful information as soon as it is
  available. All these features are available in released version 2.1.0 and
  upcoming version 2.2.0.\n\nTag: Workshop Reg Pass, Correctness, Debugging
 , Floating Point, Reliability, Verification\n\nRegistration Category: Work
 shop Reg Pass, Correctness, Debugging, Floating Point, Reliability, Verifi
 cation
URL:https://sc19.supercomputing.org/presentation/?id=ws_corr101&sess=sess1
 18
END:VEVENT
END:VCALENDAR