BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CEEC CoE - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://ceec-coe.eu
X-WR-CALDESC:Events for CEEC CoE
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250304T100000
DTEND;TZID=Europe/Paris:20250304T110000
DTSTAMP:20260403T233206
CREATED:20250131T100308Z
LAST-MODIFIED:20250306T103825Z
UID:1392-1741082400-1741086000@ceec-coe.eu
SUMMARY:Enabling mixed-precision with VerifiCarlo: Sharing CEEC experience
DESCRIPTION:Join our own Roman Iakymchuk\, Umeå University on behalf of CEEC\, and Pablo de Oliveira Castro\, Université Paris-Saclay UVSQ\, for the next in our webinar series this time on mixed precision and VerifiCarlo! \nDriven by the increasing need to reduce the energy consumption of computing centers and simulations\, scientists have begun revising applications\, algorithms\, and their underlying working/storage precision not just for performance but also for energy efficiency. The goal is to make computational costs sustainable while adhering to the lagom principle—using precision that is “just right” to balance accuracy with efficiency.  \nHowever\, before lowering precision\, one must ensure that the simulation is numerically correct. Verificarlo  is an open-source framework designed to verify and optimize numerical accuracy in complex programs. Built on the LLVM infrastructure\, it provides various floating-point backends to simulate the effects of numerical errors and lower precision. By leveraging alternative floating-point models\, such as Stochastic Rounding\, Verificarlo pinpoints numerical bugs in simulation codes. A probabilistic definition of the number of significant digits allows us to estimate computational accuracy accurately.  \nThrough its variable precision backend\, Verificarlo enables one to explore the trade-offs between precision and performance by simulating lower precisions in software. It identifies specific code regions that benefit from reduced floating-point formats without sacrificing numerical correctness. This approach has been successfully applied in high-performance computing (HPC) domains such as neuroimaging pipelines\, DFT quantum mechanical modeling\, structural simulations\, and now CFD. \nIn this webinar\, we will introduce Verificarlo\, showcase its backends for numerical bug detection and mixed-precision analysis\, and present a success story highlighting the road from analysis of codes with Verificarlo to reliable mixed-precision codes.
URL:https://ceec-coe.eu/event/enabling-mixed-precision-with-verificarlo-sharing-ceec-experience/
CATEGORIES:Webinar
ATTACH;FMTTYPE=image/png:https://ceec-coe.eu/wp-content/uploads/2025/01/VerifiCarloEvent-Poster-e1738823803408.png
END:VEVENT
END:VCALENDAR