Publications HAL du projet ANR. ANR-24-CE46-7572

2026

Journal articles

ref_biblio
El-Mehdi El Arar, Silviu-Ioan Filip, Theo Mary, Elisa Riccietti. Mixed precision accumulation for neural network inference guided by componentwise forward error analysis. IMA Journal of Numerical Analysis, In press. ⟨hal-04995708v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04995708/file/main.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Alfredo Buttari, Karmijn Hoogveld, Theo Mary. A fixed-accuracy randomized interpolative decomposition based on pivoted QR. 2026. ⟨hal-05692733⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05692733/file/article_hal.pdf BibTex
ref_biblio
El-Mehdi El Arar, Massimiliano Fasi, Silviu-Ioan Filip, Mantas Mikaitis. What is New in Stochastic Rounding: a Survey on Theory, Hardware, and Applications. 2026. ⟨hal-05554662v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05554662/file/2603.06060v2.pdf BibTex
ref_biblio
Nicolas Brisebarre, Giuseppe Carrino, Theo Mary, Elisa Riccietti. Mixed precision Newton's method for optimization. 2026. ⟨hal-05677812⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05677812/file/mixed_precision_newtons_method_for_optimization.pdf BibTex
ref_biblio
Lisa Taldir, Muhammad Ahmad Saeed, David Defour, Pablo de Oliveira Castro, Eric Petit. Benchmarking Large Language Models on Floating-Point Error Classification. 2026. ⟨hal-05560550v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05560550/file/Benchmarking_LLMs_Capability_to_Classify_Floating_Point_Errors.pdf BibTex
ref_biblio
Massimiliano Fasi, Theo Mary, Mantas Mikaitis. Sharper Bounds on the Required Fixed-Point Precision for Emulating Floating-Point Matrix Multiplication. 2026. ⟨hal-05658479⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05658479/file/paper.pdf BibTex
ref_biblio
Abdurauf Abdurakhmanov, Theo Mary, Hatem Ltaief, David E Keyes, Suhaib A. Fahmy. Systematic Error-Aware Mixed-Precision Approach for Exploiting Microscaling Formats in Cholesky Factorization. 2026. ⟨hal-05641535⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05641535/file/paper.pdf BibTex
ref_biblio
Emmanuel Agullo, Luc Giraud, Pierre Jolivet, Theo Mary, Alexandre Tabouret. Doubly adaptive precision restarted GMRES. 2026. ⟨hal-05640635⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05640635/file/main.pdf BibTex
ref_biblio
Grey Ballard, Theo Mary, Bhisham Dev Verma. Mixed Precision Compression of Tucker Decomposition. 2026. ⟨hal-05640503⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05640503/file/main.pdf BibTex
ref_biblio
Patrick Amestoy, Ouassel El Habti, Antoine Jego, Jean-Yves L'Excellent, Theo Mary. Enabling non-Flexible Mixed-Precision Preconditioned GMRES with Memory Accessors. 2026. ⟨hal-05640144⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05640144/file/manuscript.pdf BibTex
ref_biblio
Pablo de Oliveira Castro, El-Mehdi El Arar, Devan Sohier. A Probabilistic Error Analysis of Exponentiation Algorithms. 2026. ⟨hal-05653338⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05653338/file/main.pdf BibTex
ref_biblio
Anas Bouali, El-Mehdi El Arar, Rémi Garcia. Low-Precision Arithmetic for Solving ODEs: A Case Study in Epidemiological Modeling. 2026. ⟨hal-05653284⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05653284/file/main_acm.pdf BibTex
ref_biblio
Tom Caruso, Pierre Jolivet, Theo Mary, Frédéric Nataf, Pierre-Henri Tournier. Mixed Precision Perturbation Analysis of Two-Level Domain Decomposition Preconditioners. 2026. ⟨hal-05628912⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05628912/file/Article_CARUSO_HAL2.pdf BibTex
ref_biblio
Guangping Yu, Stef Graillat, Hao Jiang, Chun Huang, Tao Tang. A Compensated Estrin Scheme for Accurate Polynomial Evaluation. 2026. ⟨hal-05580898⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-05580898/file/A_Compensated_Estrin_Scheme_for_Accurate_Polynomial_Evaluation_ARITH26_-3.pdf BibTex
ref_biblio
Yizhi Yang, David Defour, Stef Graillat, Fabienne Jézéquel. Optimization of the representation of results in interval arithmetic. 2026. ⟨hal-05514405⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-05514405/file/Optimization_of_interval_arithmetic-3.pdf BibTex
ref_biblio
Mykhailo Havdiak, Oliver Lagerqvist, Stef Graillat, Roman Iakymchuk. Reproducible Power Method for Computing Dominant Eigenvalue and Eigenvector. 2026. ⟨hal-05269522v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05269522/file/PDP_power_method-final.pdf BibTex
ref_biblio
Stef Graillat. Verifying zeros of interval polynomials. 2026. ⟨hal-05447053⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05447053/file/Verifying.pdf BibTex
ref_biblio
El-Mehdi El Arar, Massimiliano Fasi, Silviu-Ioan Filip, Mantas Mikaitis. Probabilistic Error Analysis of Limited-Precision Stochastic Rounding: Horner's Algorithm and Pairwise Summation. 2026. ⟨hal-05561674⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05561674/file/main.pdf BibTex

2025

Journal articles

ref_biblio
Pablo de Oliveira Castro, El-Mehdi El Arar, Eric Petit, Devan Sohier. Error Analysis of Sum-Product Algorithms under Stochastic Rounding. SIAM Journal on Scientific Computing, 2025, 47 (6), pp.B1481--B1502. ⟨10.1137/24M1710966⟩. ⟨hal-04787542v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04787542/file/main.pdf BibTex

Habilitation à diriger des recherches

ref_biblio
Theo Mary. Approximate computing in numerical linear algebra: algorithms, analysis, and applications. Computer Arithmetic. Sorbonne Université, 2025. ⟨tel-05326894⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-05326894/file/hdr.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Ani Anciaux-Sedrakian, Hugo Dorfsman, Thomas Guignon, Fabienne Jézéquel, Theo Mary. Mixed Precision Strategies for Solving Sparse Linear Systems with BiCGStab. 2025. ⟨hal-05326901⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05326901/file/main.pdf BibTex