Publications HAL de D. Defour; David Defour; D. DEFOUR; DAVID DEFOUR du labo/EPI LAMPS; LAboratoire de Modélisation Pluridisciplinaire et Simulations

2023

Conference papers

titre
Chromatic analysis of numerical programs
auteur
David Defour, Franck Vedrine
article
ARITH 2023 - 30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland, United States. pp.1
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04232798/file/Chromatic_Analysis_of_Numerical_Behaviour.pdf BibTex

2022

Conference papers

titre
Using scheduling entropy amplification in CUDA/OpenMP code to exhibit non-reproducibility issues
auteur
David Defour
article
15th IEEE International Symposium on EMbedded Multicore/Many-core Systems-on-Chip (MCSoC-2022), Dec 2022, Penang, Malaysia
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

2021

Journal articles

titre
A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes
auteur
Emeric Brun, David Defour, Pablo de Oliveira Castro, Matei Istoan, Davide Mancusi, Eric Petit, Alan Vaquet
article
IEEE Transactions on Emerging Topics in Computing, 2021, 9 (3), pp.1467-1478. ⟨10.1109/TETC.2021.3070422⟩
Accès au bibtex
BibTex

Conference papers

titre
Shadow computation with BFloat16 to compute numerical accuracy
auteur
David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit
article
IEEE 28th Symposium on Computer Arithmetic (ARITH), Jun 2021, Virtual Conference, France
Accès au texte intégral et bibtex
https://hal.science/hal-03159965/file/Pivoting_strategies%20%2822%29.pdf BibTex

Poster communications

titre
InterFLOP, Interoperable Tools for Computing, Debugging, Validation and Optimization of Floating-Point Programs
auteur
David Defour, François Févotte, Stef Graillat, Fabienne Jézéquel, Wilfried Kirschenmann, Jean-Luc Lamotte, Bruno Lathuilière, Yves Lhuillier, Eric Petit, Julien Signoles, Sohier Devan, Franck Vedrine
article
ISC-HPC 2021 DIGITAL, Jun 2021, Online, France
Accès au texte intégral et bibtex
https://hal.science/hal-03245586/file/Poster%20ISC%202021%20%281%29.pdf BibTex

2020

Conference papers

titre
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization
auteur
David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit
article
2020 IEEE 27th Symposium on Computer Arithmetic (ARITH), 2020, Los Alamitos, United States. pp.121-124, ⟨10.1109/ARITH48897.2020.00026⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02563852/file/vprec_libm_short_hal.pdf BibTex

2019

Journal articles

titre
Hierarchical approach for deriving a reproducible unblocked LU factorization
auteur
Roman Iakymchuk, Stef Graillat, David Defour, Enrique S Quintana-Ortí
article
International Journal of High Performance Computing Applications, 2019, pp.#1094342019832968. ⟨10.1177/1094342019832968⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01419813/file/reprolu.pdf BibTex

Conference papers

titre
Automatic Exploration of Reduced Floating-Point Representations in Iterative Methods
auteur
Yohan Chatelain, Eric Petit, Pablo de Oliveira Castro, Ghislain Lartigue, David Defour
article
25th International Conference Euro-Par 2019 Parallel Processing, Aug 2019, Göttingen, Germany. pp.481-494, ⟨10.1007/978-3-030-29400-7_34⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02564972/file/dyn_adapt_precision19.pdf BibTex