Programme
| Heures |
événement |
(+)
|
|
13:00 - 14:00
|
Accueil |
|
|
14:00 - 16:00
|
Session 'Arithmétique pour la cryptographie' - V. Zucca |
(+)
|
|
14:00 - 15:00 |
› Euclidean lattice and PMNS: redundancy and equality test - Fangan Yssouf Dosso, Laboratoire SAS, EMSE [PDF] |
|
|
15:00 - 15:30 |
› Truncated Montgomery batch - Jean-Marc Robert, IAA/IMATH Université de Toulon [PDF] |
|
|
15:30 - 16:00 |
› Randomisation de la NTT pour les cryptosystèmes basés sur RLWE pour contrer les attaques par canaux cachés basées sur la Belief Propagation - Mbaye Ngom, DALI, UPVD/LIRMM [PDF] |
|
|
16:00 - 16:30
|
Pause café |
|
|
16:30 - 17:30
|
Session 'Evaluation de fonctions' - S. Chevillard |
(+)
|
|
16:30 - 17:00 |
› Compression sans perte de tables de fonctions numériques - Florent De Dinechin, INSA Lyon [PDF] |
|
|
17:00 - 17:30 |
› Fonctions d'activation et autres en petite précision - Orégane Desrentes, INSA Lyon [PDF] |
|
| Heures |
événement |
(+)
|
|
08:45 - 11:45
|
Cours - C. Negre |
(+)
|
|
08:45 - 11:45 |
› The Art of Avoiding Satellite Smash-Ups: Crunching Numbers but dodging Floating-Point Disasters with D-Finite Functions - Mioara Joldeş, LAAS, Toulouse |
|
|
11:45 - 14:00
|
Déjeuner |
|
|
14:00 - 16:00
|
Session 'Arithmétique flottante' - G. Melquiond |
(+)
|
|
14:00 - 15:00 |
› Deterministic and probabilistic backward error analysis of neural networks in floating-point arithmetic - Théo Beuzeville, IRIT Toulouse [PDF] |
|
|
15:00 - 15:30 |
› Probabilistic error analysis of limited-precision stochastic rounding - El-Mehdi El Arar, IRISA, Rennes [PDF] |
|
|
15:30 - 16:00 |
› Useful applications of correctly-rounded operators of the form ab+cd+e - Tom Hubrecht, LIP, ENS Lyon [PDF] |
|
|
16:00 - 16:30
|
Pause café |
|
|
16:30 - 17:30
|
Session 'Arithmétique flottante' - G. Melquiond |
(+)
|
|
16:30 - 17:00 |
› Stratégies de résolutions de systèmes linéaires creux en précision mixte avec BiCGStab - Hugo Dorfsman, LIP6, IFP Energies nouvelles [PDF] |
|
|
17:00 - 17:30 |
› Performance on SIMD architectures of auto-tuned programs for matrix multiplication - Youssef Fakhreddine, DALI, UPVD/LIRMM [PDF] |
|
|
17:30 - 18:30
|
AG du GT Arith |
|
|
20:00 - 23:00
|
Repas - Brasserie Arago, 1 Pl. François Arago, 66000 Perpignan |
|
| Heures |
événement |
(+)
|
|
09:00 - 12:00
|
Session 'Arithmétique en matériel' - D. Defour |
(+)
|
|
09:00 - 10:00 |
› Low-Latency Modular Exponentiation Architectures on FPGA - Bogdan Pasca, Intel France [PDF] |
|
|
10:00 - 10:30
|
Pause café |
|
|
10:30 - 12:00
|
Session 'Arithmétique en matériel' - D. Defour |
(+)
|
|
10:30 - 11:00 |
› Grandes multiplications par des constantes pour l'arithmétique modulaire - Bastien Barbe, INSA Lyon [PDF] |
|
|
11:00 - 11:30 |
› Normes 2D et 3D en virgule fixe et en matériel - Romain Bouarah, INSA Lyon [PDF] |
|
|
11:30 - 12:00 |
› Implémentation à la juste précision d'un calcul d'enthalpie sur cible FPGA - Pierre-Yves Piriou, EDF R&D PRISME [PDF] |
|
|
12:00 - 12:30
|
Clôture |
|
|
