TERATEC 2026 Forum The essential meeting place for all digital players
Simulation . HPC/HPDA . Artificial Intelligence . Quantum Computing
Tuesday October 20 Workshop 01 - 4:00 pm to 6:00 pm
Trust in High-Performance Computing: Ensuring Accuracy in the Age of AI
Chaired by Norbert Bourneix, Scientific tools manager, Safran
and Pierre Louat, Sr Architect & Application engineering EMEA, Synopsys
Beyond mixed precision: a short introduction to adaptive precision computing Théo Mary, CNRS researcher, LIP6 laboratory, Sorbonne Université
Figure 2. Root node matrix that arises in the multifrontal factorization of the Poisson equation on a domain. The resulting block matrix has a mixed-precision block low-rank property, in that many of its off-diagonal, low-rank blocks can be stored in lower precisions without affecting the overall error (bounded by ). Figure courtesy of the authors.
This talk aims at providing a short introduction to adaptive precision algorithms.
I will explain their main principles, and what makes them more powerful and expressive than traditional mixed precision algorithms.
By the latter, I refer to an algorithm that exploits a small number of precisions that are statically fixed in advance.
In contrast, adaptive precision algorithms:
can exploit a continuum of precisions, either in hardware when such a continuum is available (e.g., GPUs) or in software when such a continuum can be efficiently used (e.g., memory accessors);
can deliver a continuum of accuracies, offering flexible performance--accuracy tradeoffs;
dynamically adapt their behavior (choice of precisions) at runtime, depending on the data (both input and intermediate data arising during the computation);
are provably accurate and robust by basing their strategy on rigorous error bounds derived analytically;
I will illustrate these principles with some successful examples in linear algebra and beyond.
Biography: Theo Mary is a CNRS researcher at the LIP6 laboratory of Sorbonne Université in France. His research concerns the design, development, and analysis of high-performance parallel numerical algorithms, with a particular focus on numerical approximations. He received several awards, including the SIAM Activity Group on Linear Algebra Early Career Prize, the Médaille de bronze du CNRS, and the Lanczos ECMI/EMS Prize for Mathematical Software.