Research
Research topics
- Computer arithmetic (fixed-point and floating-point arithmetic).
- Software implementation of floating-point operators and mathematical functions.
- Automated code generation and validation.
- Automation of debugging scientific floating-point programs.
- Precision tuning and performance improvement of numerical programs.
Projects
- PADOC (Performance- and accuracy-aware data format optimization in numerical codes), ANR JCJC, 2019-2025.
- PERPREVAL-AUTO (Performance, précision, validation automatiques), grant from Région Occitanie and UPVD, 2018-2021.
- CTAOptSim (Optimization of performance and numerical accuracy of CTA software), CNRS PEPS Astro-Informatique, 2018-2020.
- REPRISES (Portability, sustainability, and reproducibility of numerical programs in physic), IN2P3 R&D project, 2017-.
- MetaLibm (Code generation for mathematical functions and filters), ANR INS, 2013-2018.
- DEFIS (Design of fixed-point embedded systems), ANR INS, 2011-2015.
Students
Ph.D. students
- Youssef Fakhreddine, with Philippe Langlois (2022-, ANR JCJC PADOC).
- Harris Ludwig Boudi, with Philippe Langlois (2018-2021, PERPREVAL-AUTO).
- Hugues de Lassus Saint-Geniès, with David Defour (2014-2018, MetaLibm).
- Amine Najahi, with Matthieu Martel (2011-2014, DEFIS).
MS students
- Youssef Fakhreddine (2021, M2 CHPS, UPVD).
- Mouad Ettalbi (2016, M1 CHPS, UPVD), with Philippe Langlois.