2 citations · 2 across the 7 of their papers we have counts for
8 papers
Harnessing MPI mutations for AI error detection
Asia Auville, Tim Jammer, Eric Petit +3
MPI errors are challenging to identify despite the significant number of expert verification tools. Dynamic tools (i.e., requiring profiling) are computationally expensive and accu…
Benchmarking Large Language Models on Floating-Point Error Classification
Lisa Taldir, Muhammad Ahmad Saeed, David Defour +2
This paper investigates the capability of Large Language Models (LLMs) to detect and classify floating-point errors statically in software code. We introduce InterFLOPBench, a benc…
Noise Injection for__Performance Bottleneck Analysis
Aurélien Delval, Pablo de Oliveira Castro, William Jalby +1
Bottleneck evaluation plays a crucial part in performance tuning of HPC applications, as it directly influences the search for optimizations and the selection of the best hardware…
Error Analysis of Sum-Product Algorithms under Stochastic Rounding
Pablo de Oliveira Castro, El-Mehdi El Arar, Eric Petit +1
The quality of numerical computations can be measured through their forward error, for which finding good error bounds is challenging in general. For several algorithms and using s…
The Positive Effects of Stochastic Rounding in Numerical Algorithms
El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro +1
Recently, stochastic rounding (SR) has been implemented in specialized hardware but most current computing nodes do not yet support this rounding mode. Several works empirically il…
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization
David Defour, Pablo de Oliveira Castro, Matei Istoan +1
The typical processors used for scientific computing have fixed-width data-paths. This implies that mathematical libraries were specifically developed to target each of these fixed…
Comparing Perturbation Models for Evaluating Stability of Neuroimaging Pipelines
Gregory Kiar, Pablo de Oliveira Castro, Pierre Rioux +4
A lack of software reproducibility has become increasingly apparent in the last several years, calling into question the validity of scientific findings affected by published tools…
Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic
Christophe Denis, Pablo De Oliveira Castro, Eric Petit
Numerical accuracy of floating point computation is a well studied topic which has not made its way to the end-user in scientific computing. Yet, it has become a critical issue wit…