Brussels / 3 & 4 February 2024

schedule

Verrou : a valgrind tool dedicated to floating point error diagnosis


Verrou ( https://github.com/edf-hpc/verrou ) is a valgrind tool dedicated to the floating-point error diagnosis. After a brief reminder of stochastic arithmetic (the key mathematical ingredient of verrou), the presentation will focus on the non-intrusive localization technics based on delta-debug algorithm.

Speakers

LATHUILIERE Bruno

Attachments

Links