Rubrica del personale

MARY Théo

Ricercatore, CNRS
Gruppo di ricerca : PEQUAN

Sorbonne Université - LIP6

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

Tre Studente di dottorato (Relatore / Co-relazione)

CARUSO Tom : Résolution de grands systèmes linéaires creux par méthodes de décomposition en domaines en précision mixte.
COSTIN Mihai : Émulation de précision dans les méthodes d’algèbre linéaire en précision mixte.
TABOURET Alexandre : Adaptive precision Krylov methods for solving large sparse linear systems.

Uno Postdoc at Sorbonne University (Relatore)

BURKE Liam Michael : No title.

Due past PhD Students (2023 - 2026) at Sorbonne University

Due past Postdoc (2020 - 2023) at Sorbonne University

Pubblicazioni 2020-2026

2026
- M. Baboulin, O. Kaya, Th. Mary, M. Robeyns : “Numerical stability of tree tensor network operations, and a stable rounding algorithm”, SIAM Journal on Matrix Analysis and Applications, (Society for Industrial and Applied Mathematics) (2026)
- E. Agullo, H. Anzt, D. Bauer, D. Bindel, A. Buttari, A. Calotoiu, E. Carson, P. D'Ambra, I. Daužickaitė, James W. Demmel, J. Dongarra, I. Duff, M. Fasi, D. Göddeke, S. Graillat, L. Hunhold, R. Iakymchuk, F. Jézéquel, N. Kohl, H. Köstler, J. Kružík, J. Langou, X. Li, H. Ltaief, P. Luszczek, Y. Ma, Th. Mary, M. Mikaitis, H. Ootomo, D. Osei‑Kuffuor, Enrique S. Quintana‑Ortí, U. Rüde, J. Scott, J. Shalf, L. Stals, R. Tamstorf, S. Turek, P. Vacek, B. Vieuble, R. Yokota : “Mixed-Precision Computing for Scientific Discovery: Formats, Co-Design, and Responsible Approximation”, (2026)
- E.‑M. El Arar, S.‑I. Filip, Th. Mary, E. Riccietti : “Mixed precision accumulation for neural network inference guided by componentwise forward error analysis”, IMA Journal of Numerical Analysis, (Oxford University Press (OUP)) (2026)
- L. Burke, E.‑M. El Arar, S. Graillat, Th. Mary : “Sharp Probabilistic Normwise Backward Error Bounds for LU Factorization”, (2026)
- Y. Jang, P. Jolivet, Th. Mary : “Mixed Precision Augmented GMRES”, Numerical Linear Algebra with Applications, vol. 33 (4), pp. e70117, (Wiley) (2026)
- P. Amestoy, L. Combe, J.‑Y. L'Excellent, Th. Mary, S. Operto, P.‑E. Polet, Ch. Puglisi : “Pushing 3D frequency-domain FWI to the limits: the Gorgon-OBN FWI case study”, (2026)
- A. Buttari, K. Hoogveld, Th. Mary : “A fixed-accuracy randomized interpolative decomposition based on pivoted QR”, (2026)
- N. Brisebarre, G. Carrino, Th. Mary, E. Riccietti : “Mixed precision Newton’s method for optimization”, (2026)
- M. Fasi, Th. Mary, M. Mikaitis : “Sharper Bounds on the Required Fixed-Point Precision for Emulating Floating-Point Matrix Multiplication”, (2026)
- E. Agullo, L. Giraud, P. Jolivet, Th. Mary, A. Tabouret : “Doubly adaptive precision restarted GMRES”, (2026)
- G. Ballard, Th. Mary, Bh. Verma : “Mixed Precision Compression of Tucker Decomposition”, (2026)
- P. Amestoy, O. El Habti, A. Jego, J.‑Y. L'Excellent, Th. Mary : “Enabling non-Flexible Mixed-Precision Preconditioned GMRES with Memory Accessors”, (2026)
- T. Caruso, P. Jolivet, Th. Mary, F. Nataf, P.‑H. Tournier : “Mixed Precision Perturbation Analysis of Two-Level Domain Decomposition Preconditioners”, (2026)
- J. Berthomieu, S. Graillat, D. Lesnoff, Th. Mary : “Multiword matrix multiplication over large finite fields in floating-point arithmetic”, (2026)
- P. Amestoy, A. Jego, J.‑Y. L'Excellent, Th. Mary, G. Pichon : “BLAS-based Mixed Precision Block Memory Accessor with Applications to Sparse Direct Solvers”, ACM Transactions on Mathematical Software, (Association for Computing Machinery) (2026)
- A. Buttari, N. Higham, Th. Mary, B. Vieuble : “A modular framework for the backward error analysis of GMRES”, IMA Journal of Numerical Analysis, (Oxford University Press (OUP)) (2026)
- A. Abdurakhmanov, Th. Mary, H. Ltaief, D. Keyes, Suhaib A. Fahmy : “Error-Controlled Mixed-Precision Cholesky Factorization with MX Microscaling Formats”, ACM Transactions on Mathematical Software, (Association for Computing Machinery) (2026)
- A. Buttari, X. Liu, Th. Mary, B. Vieuble : “Mixed precision strategies for preconditioned GMRES: a comprehensive analysis”, IMA Journal of Numerical Analysis, (Oxford University Press (OUP)) (2026)
- R. Gribonval, Th. Mary, E. Riccietti : “Optimal quantization of rank-one matrices in floating-point arithmetic---with applications to butterfly factorizations”, SIAM Journal on Scientific Computing, (Society for Industrial and Applied Mathematics) (2026)
- F. Jézéquel, Th. Mary : “Probabilistic estimation of the accuracy of inner products and application to stochastic validation”, IMA Journal of Numerical Analysis, (Oxford University Press (OUP)) (2026)
2025
- A. Anciaux‑Sedrakian, H. Dorfsman, Th. Guignon, F. Jézéquel, Th. Mary : “Mixed Precision Strategies for Solving Sparse Linear Systems with BiCGStab”, (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 : “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, 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)
- F. Faucher, H. Pham, D. Fournier, P. Amestoy, H. Barucq, J.‑Y. L'Excellent, Th. Mary, L. Gizon : “3D Modeling of Solar Oscillations with Hybridizable Discontinuous Galerkin Method”, (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)
- Th. Beuzeville, A. Buttari, S. Gratton, Th. Mary : “Deterministic and probabilistic rounding error analysis of neural networks in floating-point arithmetic”, IMA Journal of Numerical Analysis, (Oxford University Press (OUP)) (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, vol. 47 (5), pp. a2906-a2935, (Society for Industrial and Applied Mathematics) (2025)
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)
- 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)
- 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)