08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
14:00 - 17:30 (3h30)
Theo Mary's habilitation defense
17:30 - 19:00 (1h30)
Workshop cocktail reception
8:00 - 8:30 (30min)
Welcome coffee
8:30 - 8:40 (10min)
Opening remarks
8:40 - 10:20 (1h40)
Session 1
Chair: Valeria Simoncini
› Avoiding breakdown in incomplete factorizations in low precision arithmetic
- Jennifer Scott, STFC-Rutherford Appleton Laboratory
08:40-09:00 (20min)
› Mixed precision strategies for preconditioned GMRES
- Bastien Vieublé, Chinese Academy of Sciences
09:00-09:20 (20min)
› On the numerical stability of the preconditioned conjugate gradient algorithm using mixed precision
- Thomas Bake, Charles University
09:40-10:00 (20min)
10:20 - 11:00 (40min)
Coffee break
11:00 - 12:20 (1h20)
Session 2
Chair: Jean-Michel Muller
› Is Mixed Precision Computing really the Top Priority?
- Hartwig Anzt, Technical University of Munich
11:00-11:20 (20min)
› Emulating High-precision Matrix Operations on Low-precision Matrix Engines
- Rio Yokota, Institute of Science Tokyo
11:20-11:40 (20min)
› Computing Floating-Point Matrix Products via Low-Precision Integer Arithmetic
- Massimiliano Fasi, University of Leeds
11:40-12:00 (20min)
› How Tensor Core-Accelerated Mixed-Precision Computing and Floating-Point Emulation Can Improve Linear Algebra Performance and Energy Efficiency
- Benedikt Dorschner, NVIDIA
12:00-12:20 (20min)
12:20 - 14:00 (1h40)
Lunch
14:00 - 15:40 (1h40)
Session 3
Chair: Paolo Bientinesi
› A practical, fully parallel implementation of the (H-)Tucker decomposition via randomization
- Martina Iannacito, Università di Bologna
14:00-14:20 (20min)
› Recent advances in mixed-precision low-rank tensor approximations
- Eda Oktay, Max Planck Institute for Dynamics of Complex Technical Systems
14:20-14:40 (20min)
› TT-FEAST: A High-Dimensional Eigenvalue Solver using Contour Integration and Tensor Train format
- Mohammad Issa, CEA LIST
14:40-15:00 (20min)
› Error Controlled Compression of Scientific Data with Low-Rank Approximations
- George Turkiyyah, KAUST
15:00-15:20 (20min)
15:40 - 16:20 (40min)
Coffee break
16:20 - 18:00 (1h40)
Session 4
Chair: Hartwig Anzt
› Surrogate techniques for matrix-free sparse linear solvers
- Ulrich Rüde, CERFACS, VSB-Technical University of Ostrava, FAU Erlangen-Nürnberg
16:20-16:40 (20min)
› Multigrid with Linear Storage Complexity
- Daniel Bauer, Friedrich-Alexander-Universität Erlangen-Nürnberg
16:40-17:00 (20min)
› Mixed Precision Domain Decomposition Preconditioners: Perturbation Analysis and Practical Guidelines
- Tom Caruso, LJLL
17:20-17:40 (20min)
› Two-level asynchronous substructuring domain decomposition solvers
- Frédéric Magoulès, CentraleSupéléc
17:40-18:00 (20min)
8:00 - 8:30 (30min)
Welcome coffee
8:30 - 10:10 (1h40)
Session 5
Chair: Julien Langou
› Fast randomized algorithms for rank structured matrices
- Per-Gunnar Martinsson, University of Texas at Austin
08:30-08:50 (20min)
› A novel fixed-accuracy variant of the Randomized Interpolative Decomposition algorithm
- Karmijn Hoogveld, IRIT
08:50-09:10 (20min)
› Sketching strategies as NLA companion
- Valeria Simoncini, Università di Bologna
09:10-09:30 (20min)
› Adaptive Sketching Based Construction of H2 Matrices on GPUs
- Xiaoye Sherry Li, LBNL
09:30-09:50 (20min)
› Accelerating an ensemble of variational data assimilations with randomized preconditioning
- Ieva Daužickaitė, CERFACS
09:50-10:10 (20min)
10:10 - 10:50 (40min)
Coffee break
10:50 - 12:10 (1h20)
Session 6
Chair: Rio Yokota
› Mixed precision algorithms with neural operator preconditioning for solving some parametric PDEs
- Yanfei Xiang, IRMA
10:50-11:10 (20min)
› A Matrix Factorization Framework for Community Detection under the Degree-Corrected Block Model
- Alexandra Dache, Université de Mons
11:10-11:30 (20min)
› Integrative Co-Embedding of Multi-View Data Sets
- Haesun Park, Georgia Institute of Technology
11:30-11:50 (20min)
› Minimum-norm solution of the non-symmetric semidefinite Procrustes problem
- Stefano Sicilia, Université de Mons
11:50-12:10 (20min)
12:10 - 14:30 (2h20)
Lunch + poster session
› Mixed precision iterative refinement for least squares with linear equality constraints and generalized least squares problems
- Bowen Gao, Fudan university
12:10-14:30 (2h20)
› Mixed-Precision and Energy-Efficient Computations
- Yanxiang Chen, Umeå University
12:10-14:30 (2h20)
› PROMISE: Dynamic mixed precision analysis for numerical algorithms
- Xinye Chen, LIP6
12:10-14:30 (2h20)
› Three examples of reduced precision with sparsity in high-fidelity simulations
- Hans Johansen, LBNL
12:10-14:30 (2h20)
› Krylov methods in finite precision, should we go beyond double precision : A Case Study
- Alexandre Hoffmann, CMAP
12:10-14:30 (2h20)
› Sharp error bounds for approximate eigenvalues and singular values from subspace methods
- Irina B. Haas, Mathematical Institute, University of Oxford
12:10-14:30 (2h20)
14:30 - 16:10 (1h40)
Session 7
Chair: Stef Graillat
› Software emulation of 3Sum, the FMA and other operations.
- Jean-Michel Muller, LIP
14:30-14:50 (20min)
› Accuracy of Mathematical Functions in Julia
- Mantas Mikaitis, University of Leeds
14:50-15:10 (20min)
› Fast and accurate sub-cubic matrix multiplication
- Clément Pernet, Grenoble INP - UGA, LJK
15:10-15:30 (20min)
› Probabilistic Error Analysis of Limited-Precision Stochastic Rounding
- El-Mehdi El Arar, IRISA
15:30-15:50 (20min)
› Mixed-Precision Strategies in Spectral Element Codes: Accuracy-Aware Approximation for Energy-Efficient Simulations
- Roman Iakymchuk, Umeå University
15:50-16:10 (20min)
16:10 - 16:50 (40min)
Coffee break
16:50 - 18:30 (1h40)
Session 8
Chair: Patrick Amestoy
› < T >LAPACK: a new linear algebra software package with mixed-precision capabilities
- Julien Langou, University of Colorado Denver
16:50-17:10 (20min)
› A composable abstraction of hierarchical methods for matrix-vector product acceleration
- Antoine Gicquel, LABRI
17:10-17:30 (20min)
› Mixed Precision Strategies for Solving Sparse Linear Systems with BiCGStab
- Hugo Dorfsman, LIP6 - IFPEN
17:30-17:50 (20min)
› Approximate solutions to (generalized) matrix chains
- Paolo Bientinesi, Umeå University
18:10-18:30 (20min)
8:00 - 8:30 (30min)
Welcome coffee
8:30 - 10:10 (1h40)
Session 9
Chair: Emmanuel Agullo
› Computing accurate eigenvalues using a mixed-precision Jacobi algorithm
- Françoise Tisseur, University of Manchester
08:30-08:50 (20min)
› A randomized Krylov-Schur eigensolver, featuring mixed-precision and deflation
- Jean-Guillaume De Damas, LJLL
08:50-09:10 (20min)
› Randomized Two-Sided Gram-Schmidt Process With Applications
- Lorenzo Piccinini, Università di Bologna
09:10-09:30 (20min)
› Minimal Residual Rational Krylov Subspace Method for Sequences of Shifted Linear Systems
- Davide Palitta, Università di Bologna
09:30-09:50 (20min)
› Error formulas for block rational Krylov approximations of matrix functions
- Stefano Massei, Università di Pisa
09:50-10:10 (20min)
10:10 - 10:50 (40min)
Coffee break
10:50 - 12:30 (1h40)
Session 10
Chair: Sherry Li
› A Journey Through Numerical Linear Algebra Algorithms with Variable Accuracy Storage
- Emmanuel Agullo, Inria
10:50-11:10 (20min)
› Memory Accessor for Mixed-precision GMRES-based iterative refinement
- Antoine Jego, LIP6
11:10-11:30 (20min)
› Mixed-Precision FGMRES for Large Lyapunov Equations
- Jonas Schulze, Max Planck Institute for Dynamics of Complex Technical Systems
11:30-11:50 (20min)
› Mixed-precision iterative refinement for low-rank Lyapunov equations
- Xiaobo Liu, Max Planck Institute for Dynamics of Complex Technical Systems
11:50-12:10 (20min)
› A mixed precision quantum-classical algorithm for solving linear systems
- Marc Baboulin, Laboratoire Méthodes Formelles
12:10-12:30 (20min)
12:30 - 14:00 (1h30)
Lunch
