|
mercredi 2 novembre 2022
| 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 |
jeudi 3 novembre 2022
| 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 |
vendredi 4 novembre 2022
| 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 |
|
|