Publications HAL du projet ANR. ANR-20-CE46-0009

2024

Journal articles

ref_biblio
Stef Graillat, Fabienne Jézéquel, Théo 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
https://hal.science/hal-03561193/file/paper.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Fabienne Jézéquel, Théo 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
https://hal.science/hal-04554459/file/paper.pdf BibTex
ref_biblio
Théo Mary. Error analysis of the Gram low-rank approximation (and why it is not as unstable as one may think). 2024. ⟨hal-04554516⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04554516/file/paper.pdf BibTex
ref_biblio
Stef Graillat, Théo Mary. Condense & Distill: fast distillation of large floating-point sums via condensation. 2024. ⟨hal-04507609⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04507609/file/paper.pdf 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. 2024. ⟨hal-04519666⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04519666/file/Europar2024_submission.pdf 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
https://hal.science/hal-03722888/file/main.pdf 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
https://hal.science/hal-04149501/file/POAT_2023.pdf 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
https://cea.hal.science/cea-04232798/file/Chromatic_Analysis_of_Numerical_Behaviour.pdf 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
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
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
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
https://hal.science/hal-04261073/file/adaptive_precision_SpMV.pdf 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
https://hal.science/hal-04120017/file/IJHPCA___PPAM___Reproducible__P_BiCGStab___Revision-1.pdf 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. 2023. ⟨hal-04056057⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04056057/file/main.pdf BibTex

2022

Journal articles

ref_biblio
Nicholas J Higham, Théo Mary. Mixed precision algorithms in numerical linear algebra. Acta Numerica, 2022. ⟨hal-03537373v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03537373/file/paper.pdf 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
https://hal.science/hal-03378080/file/surveySR.pdf 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
https://hal.science/hal-03832904/file/Hazard_amplifyer_to_detect_numerical_issues%20%2813%29.pdf 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
https://hal.science/hal-03716058/file/main.pdf 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
https://hal.science/hal-03682645/file/NSV_2022%20%281%29.pdf BibTex

Poster communications

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
https://hal.science/hal-03780505/file/poster_NN_promise.pdf BibTex
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
https://hal.science/hal-03780522/file/Poster_Adaptive_Precision_SpMV.pdf 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
https://hal.science/hal-03584842/file/ex_repro_bicgstab%281%29.pdf 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
https://hal.science/hal-01827319/file/confidence.pdf 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
https://hal.science/hal-03274453/file/article_Newton_GCD_v2.pdf 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
https://hal.science/hal-03159965/file/Pivoting_strategies%20%2822%29.pdf 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
https://hal.science/hal-03245586/file/Poster%20ISC%202021%20%281%29.pdf 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
https://hal.sorbonne-universite.fr/hal-03382119/file/PPAM___Reproducible__P_BiCGStab_Camera_ready-7.pdf BibTex