Article titles redirect to most relevant file (official DOI if published, preprint PDF file otherwise). Author names redirect to their webpage.
BibTeX: tmary.bib (requires strings.bib, written by Nick Higham).

Latest preprints

  1. Patrick R. Amestoy, Antoine Jego, Jean-Yves L'Excellent, Theo Mary & Grégoire Pichon. BLAS-based Block Memory Accessor with Applications to Mixed Precision Sparse Direct Solvers .
    Preprints: HAL, PDF.
  2. Marc Baboulin, Oguz Kaya, Theo Mary & Matthieu Robeyns. Numerical stability of tree tensor network operations, and a stable rounding algorithm .
    Preprints: HAL, PDF.
  3. El-Mehdi El arar, Silviu-Ioan Filip, Theo Mary & Elisa Riccietti. Mixed precision accumulation for neural network inference guided by componentwise forward error analysis .
    Preprints: HAL, PDF.
  4. Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff & Theo Mary. Multiword matrix multiplication over large finite fields in floating-point arithmetic.
    Preprints: HAL, PDF.
  5. Théo Beuzeville, Alfredo Buttari, Serge Gratton & Theo Mary. Deterministic and probabilistic backward error analysis of neural networks in floating-point arithmetic.
    Preprints: HAL, PDF.
  6. Fabienne Jézéquel & Theo Mary. Probabilistic estimation of the accuracy of inner products and application to stochastic validation.
    Preprints: HAL, PDF.
  7. Rémi Gribonval, Theo Mary & Elisa Riccietti. Optimal quantization of rank-one matrices in floating-point arithmetic—with applications to butterfly factorizations.
    Preprints: HAL, PDF.

Published articles

  1. Marc Baboulin, Oguz Kaya, Theo Mary & Matthieu Robeyns. Mixed precision iterative refinement for low-rank matrix and tensor approximations, to appear in SIAM J. Sci. Comput.
    Preprints: HAL, PDF.
  2. Alfredo Buttari, Nicholas J. Higham, Theo Mary & Bastien Vieublé. A modular framework for the backward error analysis of GMRES, to appear in IMA J. Numer. Anal.
    Preprints: HAL, PDF.
  3. Theo Mary & Mantas Mikaitis. Error analysis of matrix multiplication with narrow range floating-point arithmetic, to appear in SIAM J. Sci. Comput.
    Preprints: HAL, PDF.
  4. Theo Mary. Error analysis of the Gram low-rank approximation (and why it is not as unstable as one may think), to appear in SIAM J. Matrix Anal. Appl.
    Preprints: HAL, PDF.
  5. Stef Graillat & Theo Mary. Condense and Distill: fast distillation of large floating-point sums via condensation, SIAM J. Sci. Comput., 47(2), B583–B594 (2025).
    Preprints: HAL, PDF.
  6. Alfredo Buttari, Theo Mary & André Pacteau. Truncated QR factorization with pivoting in mixed precision, SIAM J. Sci. Comput., 47(2), B382–B401 (2025).
    Preprints: HAL, PDF.
  7. Marc Baboulin, Simplice Donfack, Oguz Kaya, Theo Mary & Matthieu Robeyns. Mixed precision randomized low-rank approximation with GPU tensor cores, Europar'2024.
    Preprints: HAL, PDF.
  8. Stef Graillat, Fabienne Jézéquel, Theo Mary, Roméo Molina & Daichi Mukunoki. Reduced-Precision and Reduced-Exponent Formats for Accelerating Adaptive Precision Sparse Matrix-Vector Product, Europar'2024.
    Preprints: HAL, PDF.
  9. Patrick R. Amestoy, Alfredo Buttari, Nicholas J. Higham, Jean-Yves L'Excellent, Theo Mary & Bastien Vieublé. Five-precision GMRES-based Iterative Refinement, SIAM J. Matrix Anal. Appl., 45(1), 529–552 (2024).
    Preprints: HAL, MIMS, PDF.
  10. Patrick R. Amestoy, Olivier Boiteau, Alfredo Buttari, Matthieu Gerest, Fabienne Jézéquel, Jean-Yves L'Excellent & Theo Mary. Communication avoiding block low-rank parallel multifrontal triangular solve with many right-hand sides, SIAM J. Matrix Anal. Appl., 45(1), 148–166 (2024).
    Preprints: HAL, PDF.
  11. Stef Graillat, Fabienne Jézéquel, Theo Mary & Roméo Molina. Adaptive precision sparse matrix-vector product and its application to Krylov solvers, SIAM J. Sci. Comput., 46(1), C30–C56 (2024).
    Preprints: HAL, PDF.
  12. Stéphane Operto, Patrick R. Amestoy, H. Aghamiry, S. Beller, Alfredo Buttari, Laure Combe, V. Dolean, Matthieu Gerest, G. Guo, Pierre Jolivet, Jean-Yves L'Excellent, F. Mamfoumbi, Theo Mary, Chiara Puglisi, Alessandra Ribodetti & P.-H. Tournier Is 3D frequency-domain FWI of full-azimuth/long-offset OBN data feasible? The Gorgon data FWI case study, The Leading Edge, 42(3), 173–183 (2023).
    Preprints: HAL.
  13. Patrick R. Amestoy, Alfredo Buttari, Nicholas J. Higham, Jean-Yves L'Excellent, Theo Mary & Bastien Vieublé. Combining sparse approximate factorizations with mixed precision iterative refinement, ACM Trans. Math. Softw., 49(1), 1–29 (2023).
    Preprints: HAL, MIMS, PDF.
  14. Florent Lopez & Theo Mary. Mixed Precision LU Factorization on GPU Tensor Cores: Reducing Data Movement and Memory Footprint, Int. J. High Perform. Comput. Appl. (2023).
    Preprints: HAL, MIMS, PDF.
    See also this blog post.
  15. Massimiliano Fasi, Nicholas J. Higham, Florent Lopez, Theo Mary & Mantas Mikaitis. Matrix Multiplication in Multiword Arithmetic: Error Analysis and Application to GPU Tensor Cores, SIAM J. Sci. Comput., 45(1), C1–C19 (2023).
    Preprints: HAL, MIMS, PDF.
  16. Patrick R. Amestoy, Olivier Boiteau, Alfredo Buttari, Matthieu Gerest, Fabienne Jézéquel, Jean-Yves L'Excellent & Theo Mary. Mixed Precision Low Rank Approximations and their Application to Block Low Rank LU Factorization, IMA J. Numer. Anal., drac037 (2022).
    Preprints: HAL, PDF.
  17. Nicholas J. Higham & Theo Mary. Mixed precision algorithms in numerical linear algebra, Acta Numerica, 31:347–414 (2022).
    Preprints: HAL, MIMS, PDF.
  18. Matteo Croci, Massimiliano Fasi, Nicholas J. Higham, Theo Mary & Mantas Mikaitis. Stochastic Rounding: Implementation, Error Analysis, and Applications, Roy. Soc. Open Sci., 9(3), 1–25 (2022).
    Preprints: HAL, MIMS, PDF.
  19. Alfredo Buttari, Markus Huber, Philippe Leleux, Theo Mary, Ulrich Ruede & Barbara Wohlmuth. Block Low Rank Single Precision Coarse Grid Solvers for Extreme Scale Multigrid Methods, Numer. Linear Algebra Appl., e2407 (2021).
    Preprints: HAL.
  20. Cleve Ashcraft, Alfredo Buttari & Theo Mary. Block Low-Rank Matrices with Shared Bases: Potential and Limitations of the BLR^2 Format, SIAM J. Matrix Anal. Appl., 42(2), 990–1010 (2021).
    Preprints: HAL, PDF.
  21. Nicholas J. Higham & Theo Mary. Solving Block Low-Rank Linear Systems by LU Factorization is Numerically Stable, IMA J. Numer. Anal., drab020 (2021).
    Preprints: HAL, MIMS, PDF.
    See also this blog post.
  22. Michael Connolly, Nicholas J. Higham & Theo Mary. Stochastic Rounding and its Probabilistic Backward Error Analysis, SIAM J. Sci. Comput., 43(1), A566–A585 (2021).
    Preprints: HAL, MIMS, PDF.
    See also this blog post.
  23. Patrick R. Amestoy, Alfredo Buttari, Laure Combe, Matthieu Gerest, Jean-Yves L'Excellent, Theo Mary, Stéphane Operto & Chiara Puglisi. Up-to-date assessment of 3D frequency-domain full waveform inversion based on the sparse multifrontal solver MUMPS Fifth EAGE Workshop on High Performance Computing for Upstream.
  24. Nicholas J. Higham & Theo Mary. Sharper Probabilistic Backward Error Analysis for Basic Linear Algebra Kernels with Random Data, SIAM J. Sci. Comput., 42(5), A3427–A3446 (2020).
    Preprints: HAL, MIMS, PDF.
    See also this blog post.
  25. Pierre Blanchard, Nicholas J. Higham, Florent Lopez, Theo Mary & Srikara Pranesh. Mixed Precision Block Fused Multiply-Add: Error Analysis and Application to GPU Tensor Cores, SIAM J. Sci. Comput., 42(3), C124–C141 (2020).
    Preprints: HAL, MIMS, PDF.
    See also this blog post.
  26. Pierre Blanchard, Nicholas J. Higham & Theo Mary. A Class of Fast and Accurate Summation Algorithms, SIAM J. Sci. Comput., 42(3), A1541–A1557 (2020).
    Preprints: HAL, MIMS, PDF.
    See also this blog post.
  27. Claude-Pierre Jeannerod, Theo Mary, Clément Pernet & Daniel Roche. Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic, SIAM J. Matrix Anal. Appl., 40(4), 1478–1496 (2019).
    Preprints: HAL, MIMS, PDF.
  28. Nicholas J. Higham & Theo Mary. A New Approach to Probabilistic Rounding Error Analysis, SIAM J. Sci. Comput., 41(5), A2815–A2835 (2019).
    Preprints: HAL, MIMS, PDF.
    See also this blog post.
  29. Patrick R. Amestoy, Alfredo Buttari, Jean-Yves L'Excellent & Theo Mary. Bridging the Gap between Flat and Hierarchical Low-rank Matrix Formats: the Multilevel Block Low-Rank Format, SIAM J. Sci. Comput., 41(3), A1414–A1442 (2019).
    Preprints: HAL, MIMS, PDF.
  30. Christopher Gorman, Gustavo Chavez, Pieter Ghysels, Theo Mary, François-Henry Rouet & Xiaoye Sherry Li. Robust and Accurate Stopping Criteria for Adaptive Randomized Sampling in Matrix-Free Hierarchically Semiseparable Construction, SIAM J. Sci. Comput., 41(5), S61–S85 (2019).
    Preprints: PDF.
  31. Nicholas J. Higham & Theo Mary. A New Preconditioner that Exploits Low-Rank Approximations to Factorization Error, SIAM J. Sci. Comput., 41(1), A59–A82 (2019).
    Preprints: HAL, MIMS, PDF.
    See also this blog post.
  32. Patrick R. Amestoy, Alfredo Buttari, Jean-Yves L'Excellent & Theo Mary. Performance and Scalability of the Block Low-Rank Multifrontal Factorization on Multicore Architectures, ACM Trans. Math. Softw., 45(1), 2:1–2:26 (2019).
    Preprints: HAL, PDF.
  33. Patrick R. Amestoy, Alfredo Buttari, Jean-Yves L'Excellent & Theo Mary. On the Complexity of the Block Low-Rank Multifrontal Factorization, SIAM J. Sci. Comput., 39(4), A1710–A1740 (2017).
    Preprints: HAL, PDF.
  34. Daniil Shantsev, Piyoosh Jaysaval, Sébastien de la Kethulle de Ryhove, Patrick R. Amestoy, Alfredo Buttari, Jean-Yves L'Excellent & Theo Mary. Large-scale 3D EM modeling with a Block Low-Rank multifrontal direct solver, Geophys. J. Int., 209(3), 1558–1571 (2017).
    Preprints: HAL, PDF.
  35. Patrick R. Amestoy, Romain Brossier, Alfredo Buttari, Jean-Yves L'Excellent, Theo Mary, Ludovic Métivier, Alain Miniussi & Stéphane Operto. Fast 3D frequency-domain full waveform inversion with a parallel Block Low-Rank multifrontal direct solver: application to OBC data from the North Sea, Geophysics, 81(6), R363–R383 (2016).
    Preprints: HAL, PDF.
  36. Theo Mary, Ichitaro Yamazaki, Jakub Kurzak, Piotr Luszczek, Stanimire Tomov & Jack Dongarra. Performance of Random Sampling for Computing Low-rank Approximations of a Dense Matrix on GPUs, International Conference for High Performance Computing, Networking, Storage and Analysis (SC'15).
    Preprints: HAL, PDF.
  37. Patrick R. Amestoy, Romain Brossier, Alfredo Buttari, Jean-Yves L'Excellent, Theo Mary, Ludovic Métivier, Alain Miniussi, Stéphane Operto, Jean Virieux & Clément Weisbecker. 3D frequency-domain seismic modeling with a Parallel BLR multifrontal direct solver, SEG Technical Program Expanded Abstracts 2015.
  38. Patrick R. Amestoy, Romain Brossier, Alfredo Buttari, Jean-Yves L'Excellent, Theo Mary, Ludovic Métivier, Alain Miniussi, Stéphane Operto, Alessandra Ribodetti, Jean Virieux & Clément Weisbecker. Efficient 3D frequency-domain full-waveform inversion of ocean-bottom cable data with sparse block low-rank direct solver: a real data case study from the North Sea, SEG Technical Program Expanded Abstracts 2015.
  39. Ichitaro Yamazaki, Theo Mary, Jakub Kurzak, Piotr Luszczek, Stanimire Tomov & Jack Dongarra. Access-averse framework for computing low-rank matrix approximations, 2014 IEEE International Conference on Big Data.

PhD thesis

  1. Theo Mary. Block Low-Rank multifrontal solvers: complexity, performance, and scalability, Universiy of Toulouse, 2017.

Popular science

  1. Theo Mary. Pour quelques équations de plus, popular science article on my PhD thesis published online on the blog Binaire hosted by lemonde.fr.
    See this blog post for an english version.