MARY Théo
Chercheur
Équipe : PEQUAN
Tel: 01 44 27 87 76, Theo.Mary (at) nulllip6.fr
https://lip6.fr/Theo.Mary
Équipe : PEQUAN
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 26-00, Étage 3, Bureau 334
4 place Jussieu
75252 PARIS CEDEX 05
Tel: 01 44 27 87 76, Theo.Mary (at) nulllip6.fr
https://lip6.fr/Theo.Mary
Publications 2020-2024
-
2024
- Th. Mary : “Error analysis of the Gram low-rank approximation (and why it is not as unstable as one may think)”, (2024)
- F. Jézéquel, Th. Mary : “Probabilistic estimation of the accuracy of inner products and application to stochastic validation”, (2024)
- A. Buttari, N. Higham, Th. Mary, B. Vieuble : “A modular framework for the backward error analysis of GMRES”, (2024)
- M. Baboulin, S. Donfack, O. Kaya, Th. Mary, M. Robeyns : “Mixed precision randomized low-rank approximation with GPU tensor cores”, (2024)
- S. Graillat, Th. Mary : “Condense & Distill: fast distillation of large floating-point sums via condensation”, (2024)
- A. Buttari, Th. Mary, A. Pacteau : “Truncated QR factorization with pivoting in mixed precision”, (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, D. Mukunoki : “Reduced-Precision and Reduced-Exponent Formats for Accelerating Adaptive Precision Sparse Matrix-Vector Product”, (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”, 29e 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. Gribonval, Th. Mary, E. Riccietti : “Optimal quantization of rank-one matrices in floating-point arithmetic---with applications to butterfly factorizations”, (2023)
- M. Baboulin, O. Kaya, Th. Mary, M. Robeyns : “Mixed precision iterative refinement for low-rank matrix and tensor approximations”, (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)
- 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)
-
2022
- R. Molina, S. Graillat, F. Jézéquel, Th. Mary : “Adaptive Precision Sparse Matrix-Vector Product and its application to Krylov Solvers”, 13es Rencontres Arithmétique de l'Informatique Mathématique (RAIM 2022), Nantes, France (2022)
- 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, (Oxford University Press (OUP)) (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”, 45e 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”, 8th European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2022), Oslo, Norway (2022)
- 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, (Society for Industrial and Applied Mathematics) (2022)
- 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, (SAGE Publications) (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, (Society for Industrial and Applied Mathematics) (2020)