ANR · 2020
INTERFLOP — Plateforme d'analyse pour l'arithmétique flottante
La qualité et la reproductibilité numérique des résultats des programmes est impacté par l’utilisation intensive de l’arithmétique flottante (FP). Or, le problème de la détection, localisation et correction de bugs numériques entre dans une nouvelle aire : celle de l’augmentation de la puissance de calcul utilisée, de l’émergence de nouveaux processeurs et nouveaux formats flottants pour traiter de nouvelles catégories de problèmes. Le projet InterFLOP propose une plate-forme modulaire évolutive, afin d'offrir aux utilisateurs des moyens pour analyser et contrôler le coût associé à l’utilisation des FP dans les programmes actuels en intégrant ces nouvelles dimensions. Elle offrira des méthodes et outils composites, en partant des outils existants développés par les partenaires et complétés par de nouvelles analyses. Il sera ainsi possible de bénéficier des propriétés et informations propre à chacun, afin de construire de nouveaux schémas d’analyse plus précis, rapides et informatifs, inaccessibles autrement.
Structures participantes de Université Paris-Saclay
Provenance des données
Sources : scanR. Données consolidées le 27/10/2026. Une erreur ? Elle se corrige dans la source d’origine (HAL, RNSR, annuaire) ; voir comment.