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

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

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

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

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

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

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

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

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

David DEFOUR

Dans la même rubrique