12:00
13:00
14:00
15:00
16:00
17:00
12:00 - 14:00 (2h)
Welcome lunch
D8 004
14:00 - 15:00 (1h)
Representation of Numbers and Cryptography
D8 001
Jean-Claude Bajard
https://raim2025.sciencesconf.org/data/program/slides_jc_bajard.pdf›15:00 (30min)
› D8 001
15:00 - 15:30 (30min)
Reciprocal Square Root Accelerated using Hardware and Software Techniques
D8 001
Orégane Desrentes
15:30 - 16:00 (30min)
Coffee break
D8 004
›16:00 (30min)
› D8 001
16:00 - 16:30 (30min)
Semi-Automatic Compile-Time Math Intrinsic Optimization Using LLVM
D8 001
Kristalys Ruiz-Rohena
16:30 - 17:00 (30min)
Detection of Numerical Bugs Using Large Language Models
D8 001
Lisa Taldir
17:00 - 17:30 (30min)
Generation of Pathological Cases for Rounding Errors
D8 001
David Hamelin
