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 de recherche : Modélisation, Simulation et Calcul Haute Performance
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

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.archives-ouvertes.fr/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, Institute of Electrical and Electronics Engineers, 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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, SAGE Publications, 2019, pp.#1094342019832968. ⟨10.1177/1094342019832968⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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 1 février 2022