activity
20152026
most citedVerificarlo: checking floating point accuracy through Monte Carlo Arithmetic

2 citations · 2 across the 7 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.SE2026

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…

cs.AI2026

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…