Description

Erreurs d’arrondis, précision et bruit numériques sont des problèmes réccurents rencontrés dans les codes de calcul. Si la validation numérique de l’implémentation d’une méthode numérique donnée est relativement bien connue, la vérification numérique de l’impact de la précision numérique sur le solveur est moins systématique. La place croissante utilisée par les calculateurs intégrant des GPU, pose la question de la pertinence de réduire la précision des nombres à virgule flottante utilisés pour la calcul, sans dégrader la solution numérique. Cela ouvre la possibilité d’ajuster la précision avec laquelle les différentes étapes du calcul sont effectuées. Une condition nécessaire à cette amélioration est la connaissance de la précision nécessaire dans ces différentes parties des algorithmes.

Objectif :

Il s’agit de faire un point sur des méthodes et outils permettant d’analyser l’impact de la précision numérique sur la fiabilité des résultats obtenus par les codes. La journée sera composée d’exposés théoriques (approches probabilistes et par arithmétique d'intervalles), de présentation d’outils (CADNA, Verificarlo, VERROU et Fluctuat) et de retours d’expérience de leur utilisation sur des codes applicatifs.

Intervenants :

  • Fabienne Jézéquel (LIP)
  • Julien Brajard (UPMC)
  • Matthieu Haefele (MdlS)
  • François Févotte (EDF)
  • Éric Petit (Intel)
  • Peter Dueben (ECMWF)
  • Hadrien Grasland (Lal)
  • Bruno Lathuilière (EDF)
  • Franck Védrine (CEA)

Indications pour venir à la Maison de la Simulation

Date limite d'inscription : 17/06/2019

Programme

vendredi 28/06

09:30 10:00 Pas de support disponible Pas de résumé disponible

Accueil café

10:00 10:45 Télécharger le support Pas de résumé disponible

Arithmétique stochastique synchrone et CADNA

par Fabienne Jézéquel

10:45 11:05 Télécharger le support Pas de résumé disponible

CADNA for simulation and data assimilation: a user perspective

par Julien Brajard

11:05 11:25 Télécharger le support Pas de résumé disponible

Conjugate gradient analysis with CADNA for an efficient FPGA implementation

par Matthieu Haefele

11:25 11:40 Pas de support disponible Pas de résumé disponible

Pause

11:40 12:05 Télécharger le support Pas de résumé disponible

Asynchronous Stochastic Arithmetic

par Eric Petit

12:05 12:25 Télécharger le support Pas de résumé disponible

Verificarlo: Debugging and optimizing floating point usage in numerical simulations

par Eric Petit

12:25 12:45 Télécharger le support Pas de résumé disponible

A detailed precision analysis for weather and climate models with Verificarlo

par Peter Dueben

12:45 13:55 Pas de support disponible Pas de résumé disponible

Pause déjeuner

13:55 14:00 Télécharger le support Pas de résumé disponible

Groupe de Travail ARITH du GdR Informatique Mathématique

par Sylvie Boldo

14:00 14:20 Télécharger le support Pas de résumé disponible

Verrou : déboguage numérique des codes de calcul industriels

par François Fevotte

14:20 14:40 Télécharger le support Pas de résumé disponible

Confidence intervals for stochastic arithmetic

par François Fevotte

14:40 15:00 Télécharger le support Pas de résumé disponible

Floating-point profiling of ACTS with Verrou

par Hadrien Grasland

15:00 15:30 Pas de support disponible Pas de résumé disponible

Pause

15:30 16:15 Télécharger le support Pas de résumé disponible

Propagation of rounding errors by interval arithmetic and affine forms

par Franck Vedrine

16:15 16:35 Pas de résumé disponible

Fluctuat: Verification of accuracy properties of numerical components and synchronous embedded software

par Franck Vedrine

Télécharger le support support 1
Télécharger le support support 2
Télécharger le support support 3
Télécharger le support support 4
16:35 17:00 Pas de support disponible Pas de résumé disponible

Clôture

par Organisateurs

Organisation

  • Anne Cadiou
  • Matthieu Haefele