Staff directory

MARY Théo

Researcher
Team : PEQUAN

Sorbonne Université - LIP6

+33 1 44 27 87 76
Theo.Mary (at) nulllip6.fr
https://perso.lip6.fr/Theo.Mary

One PhD Student (Supervision / Co-supervision)

TABOURET Alexandre : Adaptive precision Krylov methods for solving large sparse linear systems.

Two Postdocs at Sorbonne University (Supervision)

BURKE Liam Michael : No title.
JEGO Antoine : No title.

One past PhD Student (2023) at Sorbonne University

One past Postdoc (2020) at Sorbonne University

2020-2025 Publications

2025
- Th. Beuzeville, A. Buttari, S. Gratton, Th. Mary : “Deterministic and probabilistic rounding error analysis of neural networks in floating-point arithmetic”, (2025)
- Th. Mary, M. Mikaitis : “Error Analysis of Matrix Multiplication with Narrow Range Floating-Point Arithmetic”, SIAM Journal on Scientific Computing, vol. 47 (4), pp. b785-b800, (Society for Industrial and Applied Mathematics) (2025)
- Y. Jang, P. Jolivet, Th. Mary : “Mixed Precision Augmented GMRES”, (2025)
- Y. Jang, P. Jolivet, Th. Mary : “Combining mixed precision with deflation and augmentation for accelerating GMRES”, Sparse Days 2025, Toulouse, France (2025)
- Th. Mary : “Error analysis of the Gram low-rank approximation (and why it is not as unstable as one may think)”, SIAM Journal on Matrix Analysis and Applications, vol. 46 (2), pp. 1444-1459, (Society for Industrial and Applied Mathematics) (2025)
- A. Buttari, X. Liu, Th. Mary, B. Vieuble : “Mixed precision strategies for preconditioned GMRES: a comprehensive analysis”, (2025)
- P. Amestoy, A. Jego, J.‑Y. L'Excellent, Th. Mary, G. Pichon : “BLAS-based Block Memory Accessor with Applications to Mixed PrecisionSparse Direct Solvers”, (2025)
- M. Baboulin, O. Kaya, Th. Mary, M. Robeyns : “Numerical stability of tree tensor network operations, and a stable rounding algorithm”, (2025)
- A. Buttari, Th. Mary, A. Pacteau : “Truncated QR factorization with pivoting in mixed precision”, SIAM Journal on Scientific Computing, vol. 47 (2), pp. b382-b401, (Society for Industrial and Applied Mathematics) (2025)
- J. Berthomieu, S. Graillat, D. Lesnoff, Th. Mary : “Multiword matrix multiplication over large finite fields in floating-point arithmetic”, (2025)
- S. Graillat, Th. Mary : “Condense and Distill: fast distillation of large floating-point sums via condensation”, SIAM Journal on Scientific Computing, vol. 47 (2), pp. b583–b594, (Society for Industrial and Applied Mathematics) (2025)
- E.‑M. El Arar, S.‑I. Filip, Th. Mary, E. Riccietti : “Mixed precision accumulation for neural network inference guided by componentwise forward error analysis”, (2025)
- M. Baboulin, O. Kaya, Th. Mary, M. Robeyns : “Mixed precision iterative refinement for low-rank matrix and tensor approximations”, SIAM Journal on Scientific Computing, (Society for Industrial and Applied Mathematics) (2025)
2024
- A. Buttari, N. Higham, Th. Mary, B. Vieuble : “A modular framework for the backward error analysis of GMRES”, (2024)
- H. Dorfsman, A. Anciaux‑Sedrakian, Th. Guignon, F. Jézéquel, Th. Mary : “Stratégies de résolutions de systèmes linéaires creux en précision mixte avec BiCGStab”, RAIM 2024 : 15^es Rencontres de l'Arithmétique en Informatique Mathématique, Perpignan, France (2024)
- M. Baboulin, S. Donfack, O. Kaya, Th. Mary, M. Robeyns : “Mixed precision randomized low-rank approximation with GPU tensor cores”, Euro-Par 2024: Parallel Processing, vol. 14803, Lecture Notes in Computer Science, Madrid, Spain, pp. 31-44, (Springer Nature Switzerland), (ISBN: 978-3-031-69583-4) (2024)
- S. Graillat, F. Jézéquel, Th. Mary, R. Molina, D. Mukunoki : “Reduced-Precision and Reduced-Exponent Formats for Accelerating Adaptive Precision Sparse Matrix-Vector Product”, Euro-Par 2024: Parallel Processing, vol. 14803, Lecture Notes in Computer Science, Madrid, Spain, pp. 17-30, (Springer Nature Switzerland), (ISBN: 978-3-031-69583-4) (2024)
- H. Dorfsman, A. Anciaux‑Sedrakian, Th. Guignon, F. Jézéquel, Th. Mary : “Stratégies de résolutions de systèmes linéaires creux en précision mixte avec BiCGStab”, CANUM 2024 - 46^th National Congress on Numerical Analysis, Le-Bois-Plage-en-Ré, France (2024)
- H. Dorfsman, A. Anciaux‑Sedrakian, Th. Guignon, F. Jézéquel, Th. Mary : “Mixed Precision Strategies for Solving Sparse Linear Systems with Bicgstab”, SIAM LA24, Paris, France (2024)
- P. Amestoy, O. Boiteau, A. Buttari, L. Combe, F. Faucher, M. Gerest, F. Jézéquel, J.‑Y. L'Excellent, Th. Mary, S. Operto, Ch. Puglisi : “Recent advances on sparse direct solver using Block Low-Rank and mixed precision for large scale applications”, SIAM Conference on Applied Linear Algebra (LA24), Paris, France (2024)
- F. Jézéquel, Th. Mary : “Probabilistic estimation of the accuracy of inner products and application to stochastic validation”, (2024)
- P. Amestoy, A. Buttari, N. Higham, J.‑Y. L’excellent, Th. Mary, B. Vieuble : “Five-Precision GMRES-based iterative refinement”, SIAM Journal on Matrix Analysis and Applications, vol. 45 (1), pp. 529-552, (Society for Industrial and Applied Mathematics) (2024)
- P. Amestoy, O. Boiteau, A. Buttari, M. Gerest, F. Jézéquel, J.‑Y. L’excellent, Th. Mary : “Communication Avoiding Block Low-Rank Parallel Multifrontal Triangular Solve with Many Right-Hand Sides”, SIAM Journal on Matrix Analysis and Applications, vol. 45 (1), pp. 148-166, (Society for Industrial and Applied Mathematics) (2024)
- S. Graillat, F. Jézéquel, Th. Mary, R. Molina : “Adaptive precision sparse matrix-vector product and its application to Krylov solvers”, SIAM Journal on Scientific Computing, vol. 46 (1), pp. c30-c56, (Society for Industrial and Applied Mathematics) (2024)
2023
- S. Graillat, F. Jézéquel, Th. Mary, R. Molina, D. Mukunoki : “Performance Evaluation of Adaptive-Precision SpMV with Reduced-Precision Formats”, (2023)
- R. Gribonval, Th. Mary, E. Riccietti : “Scaling is all you need: quantization of butterfly matrix products via optimal rank-one quantization”, 29^e Colloque sur le traitement du signal et des images (GRETSI) n°2023-1193, Actes du GRETSI 2023, Grenoble, France, pp. 497-500, (GRETSI - Groupe de Recherche en Traitement du Signal et des Images) (2023)
- R. Molina, S. Graillat, F. Jézéquel, Th. Mary : “Adaptive Precision Sparse Matrix–Vector Product and its Application to Krylov Solvers”, International Congress on Industrial and Applied Mathematics (ICIAM 2023), Tokyo (Japan), Japan (2023)
- P. Amestoy, O. Boiteau, A. Buttari, M. Gerest, F. Jézéquel, J.‑Y. L'Excellent, Th. Mary : “Mixed Precision Low Rank Approximations and their Application to Block Low Rank LU Factorization”, IMA Journal of Numerical Analysis, vol. 43 (4), pp. 2198–2227, (Oxford University Press (OUP)) (2023)
- R. Gribonval, Th. Mary, E. Riccietti : “Optimal quantization of rank-one matrices in floating-point arithmetic---with applications to butterfly factorizations”, (2023)
- J. Berthomieu, S. Graillat, D. Lesnoff, Th. Mary : “Modular matrix multiplication on GPU for polynomial system solving”, ACM Communications in Computer Algebra, vol. 57 (2), pp. 35-38, (Association for Computing Machinery (ACM)) (2023)
- P. Amestoy, A. Buttari, N. Higham, J.‑Y. L’excellent, Th. Mary, B. Vieuble : “Combining sparse approximate factorizations with mixed precision iterative refinement”, ACM Transactions on Mathematical Software, vol. 49 (1), pp. 1-29, (Association for Computing Machinery) (2023)
- F. Lopez, Th. Mary : “Mixed Precision LU Factorization on GPU Tensor Cores: Reducing Data Movement and Memory Footprint”, International Journal of High Performance Computing Applications, vol. 37 (2), pp. 165-179, (SAGE Publications) (2023)
- S. Operto, P. Amestoy, S. Beller, A. Buttari, L. Combe, V. Dolean, M. Gerest, G. Guo, P. Jolivet, J.‑Y. L'Excellent, F. Mamfoumbi, Th. Mary, Ch. Puglisi, A. Ribodetti, P.‑H. Tournier : “Is 3D frequency-domain FWI of full-azimuth/long-offset OBN data feasible? The Gorgon case study”, Leading Edge, vol. 42 (3), pp. 173-183, (Society of Exploration Geophysicists) (2023)
- R. Molina, S. Graillat, F. Jézéquel, Th. Mary : “Adaptive Precision Sparse Iterative Solvers”, SIAM Conference on Computational Science and Engineering (CSE23), Amsterdam, Netherlands (2023)
- P. Amestoy, O. Boiteau, A. Buttari, M. Gerest, F. Jézéquel, J.‑Y. L'Excellent, Th. Mary : “Reducing communications and memory costs of parallel Block Low-Rank solvers”, SIAM Conference on Computational Science and Engineering (CSE 2023), Amsterdam, Netherlands (2023)
- M. Fasi, N. Higham, F. Lopez, Th. Mary, M. Mikaitis : “Matrix Multiplication in Multiword Arithmetic: Error Analysis and Application to GPU Tensor Cores”, SIAM Journal on Scientific Computing, vol. 45 (1), pp. c1-c19, (Society for Industrial and Applied Mathematics) (2023)
2022
- R. Molina, S. Graillat, F. Jézéquel, Th. Mary : “Adaptive Precision Sparse Matrix-Vector Product and its application to Krylov Solvers”, 13^es Rencontres Arithmétique de l'Informatique Mathématique (RAIM 2022), Nantes, France (2022)
- Th. Beuzeville, A. Buttari, S. Gratton, Th. Mary, E. Ulker : “Adversarial attacks via Sequential Quadratic Programming”, (2022)
- R. Molina, S. Graillat, F. Jézéquel, Th. Mary : “Adaptive Precision Sparse Matrix-Vector Product and its Application to Krylov Solvers”, Sparse Days Meeting 2022, Saint-Girons, France (2022)
- M. Gerest, P. Amestoy, O. Boiteau, A. Buttari, F. Jézéquel, J.‑Y. L'Excellent, Th. Mary : “Block low-rank compression in mixed precision for the solution of sparse linear systems”, Sparse Days conference 2022, Saint-Girons, France (2022)
- P. Amestoy, O. Boiteau, A. Buttari, M. Gerest, F. Jézéquel, J.‑Y. L'Excellent, Th. Mary : “Solving linear systems efficiently using block low-rank compression in mixed precision”, 45^e Congrès National d'Analyse Numérique (CANUM 2022), Évian-les-Bains, France (2022)
- N. Higham, Th. Mary : “Mixed precision algorithms in numerical linear algebra”, Acta Numerica, (Cambridge University Press (CUP)) (2022)
- P. Amestoy, A. Buttari, F. Faucher, J.‑Y. L'Excellent, M. Gerest, Th. Mary : “Mixed precision sparse direct solver applied to 3D wave propagation”, 8^th European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2022), Oslo, Norway (2022)
- M. Croci, M. Fasi, N. Higham, Th. Mary, M. Mikaitis : “Stochastic Rounding: Implementation, Error Analysis, and Applications”, Royal Society Open Science, (The Royal Society) (2022)
2021
- Th. Beuzeville, P. Boudier, A. Buttari, S. Gratton, Th. Mary, S. Pralet : “Adversarial attacks via backward error analysis”, (2021)
- A. Buttari, M. Huber, Ph. Leleux, Th. Mary, U. Ruede, B. Wohlmuth : “Block Low-rank Single Precision Coarse Grid Solvers for Extreme Scale Multigrid Methods”, Numerical Linear Algebra with Applications, vol. 29 (1), (Wiley) (2021)
- P. Amestoy, O. Boiteau, A. Buttari, M. Gerest, F. Jézéquel, J.‑Y. L'Excellent, Th. Mary : “Solving linear systems efficiently using mixed-precision Block Low-Rank compression”, Rencontres Arithmétique de l'informatique Mathématique (RAIM 2021), Paris, France (2021)
- N. Higham, Th. Mary : “Solving Block Low-Rank Linear Systems by LU Factorization is Numerically Stable”, IMA Journal of Numerical Analysis, (Oxford University Press (OUP)) (2021)
- M. Connolly, N. Higham, Th. Mary : “Stochastic Rounding and its Probabilistic Backward Error Analysis”, SIAM Journal on Scientific Computing, vol. 43 (1), pp. a566-a585, (Society for Industrial and Applied Mathematics) (2021)
- C. Ashcraft, A. Buttari, Th. Mary : “Block Low-Rank Matrices with Shared Bases: Potential and Limitations of the BLR2S Format”, SIAM Journal on Matrix Analysis and Applications, vol. 42 (2), (Society for Industrial and Applied Mathematics) (2021)
2020
- N. Higham, Th. Mary : “Sharper Probabilistic Backward Error Analysis for Basic Linear Algebra Kernels with Random Data”, SIAM Journal on Scientific Computing, vol. 42 (5), pp. a3427-a3446, (Society for Industrial and Applied Mathematics) (2020)
- P. Blanchard, N. Higham, F. Lopez, Th. Mary, S. Pranesh : “Mixed Precision Block Fused Multiply-Add: Error Analysis and Application to GPU Tensor Cores”, SIAM Journal on Scientific Computing, vol. 42 (3), pp. c124-c141, (Society for Industrial and Applied Mathematics) (2020)
- P. Blanchard, N. Higham, Th. Mary : “A Class of Fast and Accurate Summation Algorithms”, SIAM Journal on Scientific Computing, vol. 42 (3), pp. a1541-a1557, (Society for Industrial and Applied Mathematics) (2020)