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

2023

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, In press. ⟨hal-03561193v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03561193/file/paper.pdf BibTex

Conference papers

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
Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel. Performance of precision auto-tuned neural networks. 2023. ⟨hal-04149501⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04149501/file/POAT_2023.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. STOCHASTIC ROUNDING VARIANCE AND PROBABILISTIC BOUNDS: A NEW APPROACH. 2023. ⟨hal-03722888v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03722888/file/main.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