David DEFOUR

A+ A- Aa
Partager cette page :
Enseignant-Chercheur
Professeur, section CNU 27, Informatique

LAMPS - LAboratoire de Modelisation Pluridisciplinaire et Simulations
UFR SEE - Département MATH-INFO
52, avenue Paul Alduy -Bât. B, 2e étage, 66860 Perpignan
Tél. 04 68 66 17 27 - david.defour@univ-perp.fr
 
David Defour
 
ACTIVITES DE RECHERCHE

Axes Thématiques :  Modélisation Mathématique et Numérique pour la Mécanique
                                 Caractérisation des Systèmes Numériques et Discrets

Thème principal de recherche :

Mes travaux sont à l’interface entre l’arithmétique des ordinateurs et l’architecture des ordinateurs. Ils portent sur le développement d’algorithmiques numériques et d’implémentations sur les architectures modernes (Accélérateurs, Multicœurs).

En particulier, cela passe par le développement d’outils et de méthodes liés à l’utilisation d’arithmétiques non-conventionnelles (arithmétique d’intervalles, floue, en grande précision, en précision réduite, significance arithmétique), la caractérisation du comportement des accélérateurs de calcul dans différentes conditions (fiabilité du matériel par rapport au vieillissement, construction d’un simulateur), l’intégration des changements de paradigme de calcul (nouveaux opérateurs matériels, nouveaux formats de représentation, chaines de calcul plus longues et complexes) et leur impact sur les codes de calcul rencontrés dans les domaines classiques du HPC.

Thèmes de recherche :
* Arithmétique des Ordinateurs :
- Représentation des nombres, Reproductibilité numérique, Faible précision, Algorithmes numériques, Evaluation des fonctions élémentaires.

* HPC :
- GP-GPU, BLAS
- Approximation numérique et estimation d'erreur.

* Architecture et microarchitecture des ordinateurs :
- GPU, Multicoeurs, Embarqués, Reverse engineering, Consommation

* Applications :
- Energies Renouvelables, Finances, Calcul Scientifique, BioInformatique, Cybersécurité

 
 
 
TRAVAUX RECENTS

  Publications HAL de David Defour ; D. DEFOUR ; DAVID DEFOUR du labo/EPI LAMPS

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 estimate thenumerical accuracy of summations
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

 
 
 
PROJETS

- ANR InterFlop (2021-2025)

- BPS (2021-2022) : Contrat de Collaboration
 
 
 
AUTRES

- Expert en informatique près le Tribunal de Grande Instance de Perpignan
- Coordinateur Scientifique du Centre de Calcul MESO@LR

  CV
 
Partager cette page :

Mise à jour le 18 janvier 2024