Programme
| Heures |
événement |
(+)
|
|
13:00 - 14:00
|
Accueil et café (RDC bâtiment 34) |
|
|
14:00 - 15:00
|
Computing with FPGAs? - Florent de Dinechin |
|
|
15:00 - 15:30
|
Opérateurs arithmétiques pour le matériel |
(+)
|
|
15:00 - 15:30 |
› Low-Latency Modular Exponentiation for FPGAs - Bogdan Pasca, Intel France |
|
|
15:30 - 16:00
|
Pause café |
|
|
16:00 - 17:30
|
Opérateurs arithmétiques pour le matériel |
(+)
|
|
16:00 - 16:30 |
› Towards the Multiple Constant Multiplication at Minimal Hardware Cost - Rémi Garcia, Nantes Université, LS2N |
|
|
16:30 - 17:00 |
› Using integer linear programming for correctly rounded multipartite architectures - Orégane Desrentes, Univ Lyon, INSA Lyon, Inria, CITI, F-69621 Villeurbanne, France |
|
|
17:00 - 17:30 |
› Accelerating Variants of the Conjugate Gradient with the Variable Precision Processor - Andrea Bocco, Univ. Grenoble Alpes, CEA, List, F-38000 Grenoble, France |
|
|
19:30 - 20:30
|
Apéritif en ville - Tapas y Canas |
|
| Heures |
événement |
(+)
|
|
09:00 - 10:00
|
Preuve formelle et calcul numérique - Guillaume Melquiond |
|
|
10:00 - 10:30
|
Analyse d'erreurs |
(+)
|
|
10:00 - 10:30 |
› High-level algorithms for correctly-rounded reciprocal square roots - Jean-Michel Muller, Laboratoire de l'Informatique du Parallélisme |
|
|
10:30 - 11:00
|
Pause café |
|
|
11:00 - 12:30
|
Analyse d'erreurs |
(+)
|
|
11:00 - 11:30 |
› Stochastic Rounding Variance and Probabilistic Bounds: A New Approach - El-Mehdi El Arar, Laboratoire dÍnformatique Parallélisme Réseaux Algorithmes Distribués |
|
|
11:30 - 12:00 |
› Bounding the Round-Off Error of the Upwind Scheme for Advection - Sylvie Boldo, INRIA, Laboratoire Méthodes Formelles, Université Paris-Saclay |
|
|
12:00 - 12:30 |
› Le projet CORE-MATH - Paul Zimmermann, Inria |
|
|
12:30 - 14:00
|
Déjeuner |
|
|
14:00 - 15:30
|
Analyse d'erreurs |
(+)
|
|
14:00 - 14:30 |
› Error-bounded approximation of the inverse of a function near an extremum - Christophe Jermann, Laboratoire des Sciences du Numérique de Nantes |
|
|
14:30 - 15:00 |
› Adaptive precision sparse matrix-vector product and its application to Krylov solvers - Roméo Molina, LIP6, IJCLab |
|
|
15:00 - 15:30 |
› Optimization of the scalar complexity of Chudnovsky^2 multiplication algorithms in finite fields. - Stephane Ballet, Ballet |
|
|
15:30 - 16:00
|
Pause café |
|
|
16:00 - 17:00
|
Opérateurs arithmétiques pour la cryptographie |
(+)
|
|
16:00 - 16:30 |
› PMNS for efficient arithmetic and small memory cost - Jean-Marc Robert, IAA/IMATH Université de Toulon |
|
|
16:30 - 17:00 |
› A software comparison of RNS and PMNS - Laurent-Stéphane Didier, Université de Toulon |
|
|
17:00 - 18:00
|
Assemblée Générale du GT ARITH |
|
| Heures |
événement |
(+)
|
|
09:00 - 10:00
|
Arithmétique pour apprentissage et inférence |
(+)
|
|
09:00 - 09:30 |
› Mixed precision approaches for DNN training acceleration - Silviu-Ioan Filip, Inria Rennes |
|
|
09:30 - 10:00 |
› TBA* - Paul Estano |
|
|
10:00 - 10:30
|
Pause café |
|
|
10:30 - 12:00
|
Arithmétique pour apprentissage et inférence |
(+)
|
|
10:30 - 11:00 |
› Neural Network Precision Tuning Using Stochastic Arithmetic - Quentin Ferro, LIP6 |
|
|
11:00 - 11:30 |
› Mixed Precision Iterative Refinement for Low-rank Matrix and Tensor Approximations - Matthieu Robeyns, Laboratoire Interdisciplinaire des Sciences du Numérique |
|
|
11:30 - 12:00 |
› Quantization Aware Training with Learnable Precision - Cédric Gernigon, Inria |
|
|
12:00 - 12:30
|
Discours de clôture |
|
|
