2025
Journal articles
- ref_biblio
- Stef Graillat, Theo Mary. Condense and Distill: fast distillation of large floating-point sums via condensation. SIAM Journal on Scientific Computing, 2025, 47 (2), pp.B583-B594. ⟨10.1137/24M1647217⟩. ⟨hal-04507609v3⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Theo 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, In press. ⟨hal-04554516v2⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- ref_biblio
- Patrick Amestoy, Antoine Jego, Jean-Yves L'Excellent, Théo Mary, Grégoire Pichon. BLAS-based Block Memory Accessor with Applications to Mixed Precision
Sparse Direct Solvers. 2025. ⟨hal-05019106⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Xiaojun Lei, Tongxiang Gu, Xiaowen Xu, Stef Graillat. A General Framework for Reproducible Parallel Preconditioned Krylov Methods Using Three BLAS Variants. 2025. ⟨hal-04969100⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Theo Mary. Multiword matrix multiplication over large finite fields in floating-point arithmetic. 2025. ⟨hal-04917201⟩
- Accès au texte intégral et bibtex
-
- 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. 2025. ⟨hal-04995708⟩
- Accès au texte intégral et bibtex
-
2024
Journal articles
- ref_biblio
- Theo Mary, Mantas Mikaitis. Error analysis of matrix multiplication with narrow range floating-point arithmetic. SIAM Journal on Scientific Computing, In press. ⟨hal-04671474v2⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit. BOUNDS ON NON-LINEAR ERRORS FOR VARIANCE COMPUTATION WITH STOCHASTIC ROUNDING. SIAM Journal on Scientific Computing, In press, ⟨10.1137/23M1563001⟩. ⟨hal-04056057v2⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Stef Graillat, Fabienne Jézéquel, Theo Mary, Roméo Molina. Adaptive precision sparse matrix-vector product and its application to Krylov solvers. SIAM Journal on Scientific Computing, 2024, 46 (1), pp.C30-C56. ⟨10.1137/22M1522619⟩. ⟨hal-03561193v3⟩
- Accès au texte intégral et bibtex
-
Conference papers
- ref_biblio
- Aurélien Delval, François Coppens, Eric Petit, Roman Iakymchuk, Pablo de Oliveira Castro. Verificarlo CI: continuous integration for numerical optimization and debugging. Parallel Computational Fluid Dynamics (ParCFD) 2024, Sep 2024, Bonn, Germany. ⟨hal-04643176⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- 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. Euro-PAR 2024 (30th International European Conference on Parallel and Distributed Computing), Aug 2024, Madrid, Spain. pp.17--30, ⟨10.1007/978-3-031-69583-4_2⟩. ⟨hal-04519666⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel. Auto-ajustement de la précision grâce au logiciel PROMISE. CANUM 2024, 46th National Congress on Numerical Analysis, May 2024, Le-Bois-Plage-en-Ré, France. ⟨hal-04641951⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- ref_biblio
- Pablo de Oliveira Castro, El-Mehdi El Arar, Eric Petit, Devan Sohier. Error Analysis of Sum-Product Algorithms under Stochastic Rounding. 2024. ⟨hal-04787542v2⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Théo Beuzeville, Alfredo Buttari, Serge Gratton, Theo Mary. Deterministic and probabilistic backward error analysis of neural networks in floating-point arithmetic. 2024. ⟨hal-04663142⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Stef Graillat, Jean-Michel Muller. Emulation of 3Sum, 4Sum, the FMA and the FD2 instructions in rounded-to-nearest floating-point arithmetic. 2024. ⟨hal-04624238⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Fabienne Jézéquel, Theo Mary. Probabilistic estimation of the accuracy of inner products and application to stochastic validation. 2024. ⟨hal-04554459⟩
- Accès au texte intégral et bibtex
-
2023
Journal articles
- ref_biblio
- El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit. STOCHASTIC ROUNDING VARIANCE AND PROBABILISTIC BOUNDS: A NEW APPROACH. SIAM Journal on Scientific Computing, In press, 45 (5), pp.C255-C275. ⟨10.1137/22M1510819⟩. ⟨hal-03722888v3⟩
- Accès au texte intégral et bibtex
-
Conference papers
- ref_biblio
- Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel. Performance of precision auto-tuned neural networks. MCSoC 2023 (16th IEEE International Symposium on Embedded Multicore/Manycore Systems-on-Chip), special session POAT (Performance Optimization and Auto-Tuning of Software on Multicore/Manycore Systems), Dec 2023, Singapore, Singapore. ⟨hal-04149501⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- David Defour, Franck Vedrine. Chromatic analysis of numerical programs. ARITH 2023 - 30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland, United States. pp.1. ⟨cea-04232798⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel. Precision Auto-Tuning of High-Performance Neural Networks. European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), minisymposium "Mixed Precision Computations in Theory and Practice", Sep 2023, Lisbon, Portugal. ⟨hal-04245720⟩
- Accès au bibtex
-
- ref_biblio
- Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel. Precision auto-tuning using stochastic arithmetic. 10th International Congress on Industrial and Applied Mathematics (ICIAM), minisymposium ``Exploring Arithmetic and Data Representation Beyond the Standard in HPC”, Aug 2023, Tokyo, Japan. ⟨hal-04245701⟩
- Accès au bibtex
-
- ref_biblio
- Roméo Molina, Stef Graillat, Fabienne Jézéquel, Théo Mary. Adaptive Precision Sparse Iterative Solvers. SIAM Conference on Computational Science and Engineering (CSE23), Feb 2023, Amsterdam, Netherlands. ⟨hal-04019769⟩
- Accès au bibtex
-
Preprints, Working Papers, ...
- ref_biblio
- Stef Graillat, Fabienne Jézéquel, Théo Mary, Roméo Molina, Daichi Mukunoki. Performance Evaluation of Adaptive-Precision SpMV with Reduced-Precision Formats. 2023. ⟨hal-04261073⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Roman Iakymchuk, Stef Graillat, José I. Aliaga. General framework for re-assuring numerical reliability in parallel Krylov solvers: A case of BiCGStab methods. 2023. ⟨hal-04120017⟩
- Accès au texte intégral et bibtex
-
2022
Journal articles
- ref_biblio
- Nicholas J Higham, Theo Mary. Mixed precision algorithms in numerical linear algebra. Acta Numerica, 2022. ⟨hal-03537373v2⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Matteo Croci, Massimiliano Fasi, Nicholas J Higham, Théo Mary, Mantas Mikaitis. Stochastic Rounding: Implementation, Error Analysis, and Applications. Royal Society Open Science, In press. ⟨hal-03378080⟩
- Accès au texte intégral et bibtex
-
Conference papers
- ref_biblio
- David Defour. Using scheduling entropy amplification in CUDA/OpenMP code to exhibit non-reproducibility issues. 15th IEEE International Symposium on EMbedded Multicore/Many-core Systems-on-Chip (MCSoC-2022), Dec 2022, Penang, Malaysia. ⟨hal-03832904⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit. The Positive Effects of Stochastic Rounding in Numerical Algorithms. 29th IEEE Symposium on Computer Arithmetic ARITH 2022, Sep 2022, Virtual conference, France. ⟨hal-03716058⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski. Neural Network Precision Tuning Using Stochastic Arithmetic. NSV'22, 15th International Workshop on Numerical Software Verification,, Aug 2022, Haifa, Israel. ⟨hal-03682645v2⟩
- Accès au texte intégral et bibtex
-
Poster communications
- ref_biblio
- Roméo Molina, Stef Graillat, Fabienne Jézéquel, Théo Mary. Adaptive Precision Sparse Matrix-Vector Product and its Application to Krylov Solvers. Sparse Days Meeting 2022, Jun 2022, Saint-Girons, France. . ⟨hal-03780522⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski. Neural Network Precision Tuning Using Stochastic Arithmetic. Sparse Days conference, Jun 2022, Saint-Girons, France. ⟨hal-03780505⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- ref_biblio
- Xiaojun Lei, Tongxiang Gu, Stef Graillat, Xiaowen Xu, Jing Meng. Comparison of Reproducible Parallel Preconditioned BiCGSTAB Algorithm Based on ExBLAS and ReproBLAS. 2022. ⟨hal-03584842⟩
- Accès au texte intégral et bibtex
-
2021
Journal articles
- ref_biblio
- Devan Sohier, Pablo de Oliveira Castro, François Févotte, Bruno Lathuilière, Eric Petit, et al.. Confidence Intervals for Stochastic Arithmetic. ACM Transactions on Mathematical Software, 2021, 47 (2), ⟨10.1145/3432184⟩. ⟨hal-01827319v3⟩
- Accès au texte intégral et bibtex
-
Conference papers
- ref_biblio
- Stef Graillat, Fabienne Jézéquel, Enzo Queiros Martins, Maxime Spyropoulos. Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2021), Dec 2021, Timisoara, Romania. ⟨hal-03274453v2⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit. Shadow computation with BFloat16 to estimate thenumerical accuracy of summations. IEEE 28th Symposium on Computer Arithmetic (ARITH), Jun 2021, Virtual Conference, France. ⟨hal-03159965v2⟩
- Accès au texte intégral et bibtex
-
Poster communications
- ref_biblio
- David Defour, François Févotte, Stef Graillat, Fabienne Jézéquel, Wilfried Kirschenmann, et al.. InterFLOP, Interoperable Tools for Computing, Debugging, Validation and Optimization of Floating-Point Programs. ISC-HPC 2021 DIGITAL, Jun 2021, Online, France. ⟨hal-03245586⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- ref_biblio
- Roman Iakymchuk, Stef Graillat, José I Aliaga. General framework for deriving reproducible Krylov subspace algorithms: A BiCGStab case study. 2021. ⟨hal-03382119v2⟩
- Accès au texte intégral et bibtex
-