Name: Journee précision numérique
Start: 2019-06-28T09:30:00+02:00
End: 2019-06-28T18:10:00+02:00
Location: Maison de la Simulation

Journee précision numérique

vendredi 28 juin 2019 - 09:30

lundi 24 juin 2019
mardi 25 juin 2019
mercredi 26 juin 2019
jeudi 27 juin 2019
vendredi 28 juin 2019

09:30 Accueil café
Accueil café
09:30 - 10:00
10:00 Arithmétique stochastique synchrone et CADNA - Fabienne Jézéquel (Laboratoire LIP6, Sorbonne Université)
Arithmétique stochastique synchrone et CADNA
- Fabienne Jézéquel (Laboratoire LIP6, Sorbonne Université)
10:00 - 10:45
10:45 CADNA for simulation and data assimilation: a user perspective - Julien Brajard (NERSC/Sorbonne Université)
CADNA for simulation and data assimilation: a user perspective
- Julien Brajard (NERSC/Sorbonne Université)
10:45 - 11:05
11:05 Conjugate gradient analysis with CADNA for an efficient FPGA implementation - Matthieu Haefele (Maison de la Simulation)
Conjugate gradient analysis with CADNA for an efficient FPGA implementation
- Matthieu Haefele (Maison de la Simulation)
11:05 - 11:25
11:25 Pause
Pause
11:25 - 11:40
11:40 Asynchronous Stochastic Arithmetic - Eric Petit (Intel)
Asynchronous Stochastic Arithmetic
- Eric Petit (Intel)
11:40 - 12:05
12:05 Verificarlo: Debugging and optimizing floating point usage in numerical simulations - Eric Petit (Intel)
Verificarlo: Debugging and optimizing floating point usage in numerical simulations
- Eric Petit (Intel)
12:05 - 12:25
12:25 A detailed precision analysis for weather and climate models with Verificarlo - Peter Dueben (ECMWF)
A detailed precision analysis for weather and climate models with Verificarlo
- Peter Dueben (ECMWF)
12:25 - 12:45
12:45 Pause déjeuner
Pause déjeuner
12:45 - 13:55
13:55 Groupe de Travail ARITH du GdR Informatique Mathématique - Sylvie Boldo (INRIA)
Groupe de Travail ARITH du GdR Informatique Mathématique
- Sylvie Boldo (INRIA)
13:55 - 14:00
14:00 Verrou : déboguage numérique des codes de calcul industriels - François Fevotte (EDF)
Verrou : déboguage numérique des codes de calcul industriels
- François Fevotte (EDF)
14:00 - 14:20
14:20 Confidence intervals for stochastic arithmetic - François Fevotte (EDF)
Confidence intervals for stochastic arithmetic
- François Fevotte (EDF)
14:20 - 14:40
14:40 Floating-point profiling of ACTS with Verrou - Hadrien Grasland (Laboratoire de l'Accélérateur Linéaire)
Floating-point profiling of ACTS with Verrou
- Hadrien Grasland (Laboratoire de l'Accélérateur Linéaire)
14:40 - 15:00
15:00 Pause
Pause
15:00 - 15:30
15:30 Propagation of rounding errors by interval arithmetic and affine forms - Franck Vedrine (CEA)
Propagation of rounding errors by interval arithmetic and affine forms
- Franck Vedrine (CEA)
15:30 - 16:15
16:15 Fluctuat: Verification of accuracy properties of numerical components and synchronous embedded software - Franck Vedrine
Fluctuat: Verification of accuracy properties of numerical components and synchronous embedded software
- Franck Vedrine
16:15 - 16:35
16:35 Clôture - Organisateurs
Clôture
- Organisateurs
16:35 - 17:00