Enabling mixed-precision with VerifiCarlo: Sharing CEEC experience
Driven 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. However, before lowering precision, one must ensure that the simulation is numerically correct. Verificarlo is an open-source framework designed to verify and optimize numeric aaccuracy in complex programs. In 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.