https://peertube.watch/videos/watch/a4504e9d-a285-4b43-b9d5-d16765e6c546 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. Speaker: LATHUILIERE Bruno, Track: Debuggers and analysis tools devroom, Room: K.4.401, When: Saturday 3 February 2024, 18:00–18:20 (Brussels time), Schedule: FOSDEM 2024 event page, Slides & links Verrou talk with appendix (slides), Licence: Creative Commons Attribution 2.0 Belgium (CC BY 2.0 BE) (as stated in the FOSDEM video archive). Attribution: “Verrou : a valgrind tool dedicated to floating point error diagnosis” by LATHUILIERE Bruno, FOSDEM 2024. Original recording: 2024/k4401/fosdem-2024-2020-verrou-a-valgrind-tool-dedicated-to-floating-point-error-diagnosis.av1.webm from the FOSDEM video archive. This channel is an unofficial mirror; FOSDEM is a free and non-commercial event organised by the community for the community. Sat, 24 Oct 2026 01:31:21 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://peertube.watch https://peertube.watch/lazy-static/avatars/3b284627-b75f-409e-ac2e-10f4c2946f43.png https://peertube.watch/videos/watch/a4504e9d-a285-4b43-b9d5-d16765e6c546 All rights reserved, unless otherwise specified in the terms specified at https://peertube.watch/about and potential licenses granted by each content's rightholder.