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:20191118T113000
DTEND;TZID=America/Denver:20191118T120000
UID:submissions.supercomputing.org_SC19_sess118_ws_corr102@linklings.com
SUMMARY:Toward Multi-Precision, Multi-Format Numerics
DESCRIPTION:Workshop\n\nToward Multi-Precision, Multi-Format Numerics\n\nT
 hien, Zorn, Panchekha, Tatlock\n\nRecent research has provided new, domain
 -specific number systems that accelerate modern workloads. Using these num
 ber systems effectively requires analyzing subtle multi-format, multi-prec
 ision (MPMF) code. Ideally, recent programming tools that automate numeric
 al analysis tasks could help make MPMF programs both accurate and fast. Ho
 wever, three key challenges must be addressed: existing automated tools ar
 e difficult to compose due to subtle incompatibilities; there is no "gold 
 standard" for correct MPMF execution; and no methodology exists for genera
 lizing existing, IEEE-754-specialized tools to support MPMF. In this paper
  we report on recent work towards mitigating these related challenges. Fir
 st, we extend the FPBench standard to support multi-precision, multi-forma
 t (MPMF) applications. Second, we present Titanic, a tool which provides r
 eference results for arbitrary MPMF computations. Third, we describe our e
 xperience adapting an existing numerical tool to support MPMF programs.\n\
 nTag: Workshop Reg Pass, Correctness, Debugging, Floating Point, Mixed-pre
 cision, Reliability, Verification\n\nRegistration Category: Workshop Reg P
 ass, Correctness, Debugging, Floating Point, Mixed-precision, Reliability,
  Verification
URL:https://sc19.supercomputing.org/presentation/?id=ws_corr102&sess=sess1
 18
END:VEVENT
END:VCALENDAR