Verrou : a valgrind tool dedicated to floating point error diagnosis
- Track: Debuggers and analysis tools devroom
- Room: K.4.401
- Day: Saturday
- Start: 18:00
- End: 18:20
- Video only: k4401
- Chat: Join the conversation!
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 |