BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:Europe/Stockholm
X-LIC-LOCATION:Europe/Stockholm
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20250822T115807Z
LOCATION:Room 5.0A52
DTSTART;TZID=Europe/Stockholm:20250616T153000
DTEND;TZID=Europe/Stockholm:20250616T160000
UID:submissions.pasc-conference.org_PASC25_sess138_msa146@linklings.com
SUMMARY:Exploring Numerical Accuracy and Mixed-Precision with Verificarlo 
 and Stochastic Rounding
DESCRIPTION:Pablo de Oliveira Castro (UVSQ, Université Paris-Saclay)\n\nRe
 ducing the energy cost of computer simulations is critical. While numerica
 l precision must be sufficient to yield reliable scientific insights, lowe
 r precision can significantly reduce energy consumption and computation ti
 me. We present Verificarlo (https://github.com/verificarlo/verificarlo), a
 n open-source, LLVM-based framework for verifying and optimizing numerical
  accuracy in complex programs. Verificarlo integrates multiple floating-po
 int backends that simulate numerical errors and the effects of lower preci
 sion arithmetic, including MCA / Stochastic Rounding. Before reducing prec
 ision, it is essential to ensure that simulations are numerically robust. 
 Verificarlo employs alternative floating-point models to detect subtle num
 erical bugs and defines the number of significant digits probabilistically
  to assess computational accuracy. Its variable precision backend enables 
 a thorough exploration of the trade-off between precision and performance,
  identifying code regions that can safely operate with smaller floating-po
 int formats without compromising reproducibility. Verificarlo has been suc
 cessfully applied in HPC applications such as neuroimaging pipelines, DFT 
 quantum mechanical modeling, and structure simulations.\n\nDomain: Climate
 , Weather, and Earth Sciences, Engineering, Computational Methods and Appl
 ied Mathematics\n\nSession Chair: Roman Iakymchuk (Uppsala University, Ume
 å University)\n\n
END:VEVENT
END:VCALENDAR