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:20181221T160728Z
LOCATION:D171
DTSTART;TZID=America/Chicago:20181112T140000
DTEND;TZID=America/Chicago:20181112T150000
UID:submissions.supercomputing.org_SC18_sess150_pec339@linklings.com
SUMMARY:Correctness of Floating Point Programs - Exception Handling and Re
 producibility
DESCRIPTION:Workshop\nCorrectness, Debugging, Floating Point, Verification
 , Workshop Reg Pass\n\nCorrectness of Floating Point Programs - Exception 
 Handling and Reproducibility\n\nDemmel\n\nWe consider two related aspects 
 of analyzing and guaranteeing correctness of floating point programs: exce
 ption handling and reproducibility. Exception handling refers to reliable 
 and consistent propagation of errors due to overflow, invalid operations (
 like sqrt(-1)), convergence failures, etc. Reproducibility refers to getti
 ng bitwise reproducible results from multiple runs of the same program, e.
 g., despite parallelism causing floating point sums to be evaluated in dif
 ferent order with different roundoff errors. We describe the efforts of tw
 o standards committees, the Basic Linear Algebra Subprograms (BLAS) Standa
 rd, and the IEEE 754 Floating Point Standard, to address these issues, and
  how these efforts should make it easier to accomplish these goals for hig
 her level applications, such as linear algebra libraries.
URL:https://sc18.supercomputing.org/presentation/?id=pec339&sess=sess150
END:VEVENT
END:VCALENDAR