David Defour Professeur des Universités,Vice-Président Stratégie Numérique et IA

Publications

Article dans une revue (13)

MLKAPS: Machine Learning and Adaptive Sampling for HPC Kernel Auto-tuning Mathys Eliott Jam,Eric Petit,Pablo de Oliveira Castro,David Defour,Greg Henryet al. ACM Transactions on Architecture and Code Optimization, 2025, ⟨10.1145/3774418⟩ Article dans une revue hal-04851397v1
A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes Emeric Brun,David Defour,Pablo de Oliveira Castro,Matei Istoan,Davide Mancusiet al. IEEE Transactions on Emerging Topics in Computing, 2021, 9 (3), pp.1467-1478. ⟨10.1109/TETC.2021.3070422⟩ Article dans une revue hal-03550641v1
Hierarchical approach for deriving a reproducible unblocked LU factorization Roman Iakymchuk,Stef Graillat,David Defour,Enrique S Quintana-Ortí International Journal of High Performance Computing Applications, 2019, pp.#1094342019832968. ⟨10.1177/1094342019832968⟩ Article dans une revue hal-01419813v4
Midpoint-Radius Interval-based Method to Deal with Uncertainty in Power Flow Analysis Manuel Marin,Federico Milano,David Defour Electric Power Systems Research, 2017, 147, pp.81-87. ⟨10.1016/j.epsr.2017.02.017⟩ Article dans une revue lirmm-01475577v1
Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions Hugues de Lassus Saint-Geniès,David Defour,Guillaume Revy IEEE Transactions on Computers, 2017, 66 (12), pp.2058-2071. ⟨10.1109/TC.2017.2703870⟩ Article dans une revue lirmm-01844332v1
An efficient representation format for fuzzy intervals based on symmetric membership functions Manuel Marin,David Defour,Federico Milano ACM Transactions on Mathematical Software, 2016, 43 (3), pp.23:1--23:22. ⟨10.1145/2939364⟩ Article dans une revue lirmm-01385459v1
A software scheduling solution to avoid corrupted units on GPUs David Defour,Eric Petit Journal of Parallel and Distributed Computing, 2016, 90-91, pp.1--8. ⟨10.1016/j.jpdc.2016.01.001⟩ Article dans une revue istex lirmm-01267742v1
Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures Caroline Collange,David Defour,Stef Graillat,Roman Iakymchuk Parallel Computing, 2015, 49, pp.83-97. ⟨10.1016/j.parco.2015.09.001⟩ Article dans une revue lirmm-01206348v1
A Fast Chaos-Based Pseudo-Random Bit Generator Using Binary64 Floating-Point Arithmetic Michael François,David Defour,Christophe Negre Informatica, 2014, 38 (3), pp.115-124 Article dans une revue hal-01024689v1
Line-by-line spectroscopic simulations on graphics processing units Caroline Collange,Marc Daumas,David Defour Computer Physics Communications, 2008, 178 (2), pp.135-143. ⟨10.1016/j.cpc.2007.08.013⟩ Article dans une revue lirmm-01206361v1
A new range-reduction algorithm Jean-Michel Muller,Nicolas Brisebarre,Peter Kornerup,David Defour,Nathalie Revol IEEE Transactions on Computers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩ Article dans une revue ensl-00086904v1
The instruction register file micro-architecture Bernard Goossens,David Defour Future Generation Computer Systems, 2005, Parallel computing technologies, 21 (5), pp.767-773. ⟨10.1016/j.future.2004.05.017⟩ Article dans une revue istex lirmm-01206362v1
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour,Guillaume Hanrot,Vincent Lefèvre,Jean-Michel Muller,Nathalie Revolet al. Numerical Algorithms, 2004, 37 (1-4), pp.367-375 Article dans une revue inria-00099967v1

Communication dans un congrès (38)

Using scheduling entropy amplification in CUDA/OpenMP code to exhibit non-reproducibility issues David Defour 15th IEEE International Symposium on EMbedded Multicore/Many-core Systems-on-Chip (MCSoC-2022), Dec 2022, Penang, Malaysia Communication dans un congrès hal-03832904v1
Shadow computation with BFloat16 to compute numerical accuracy David Defour,Pablo de Oliveira Castro,Matei Istoan,Eric Petit IEEE 28th Symposium on Computer Arithmetic (ARITH), Jun 2021, Virtual Conference, France Communication dans un congrès hal-03159965v2
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization David Defour,Pablo de Oliveira Castro,Matei Istoan,Eric Petit 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH), 2020, Los Alamitos, United States. pp.121-124, ⟨10.1109/ARITH48897.2020.00026⟩ Communication dans un congrès hal-02563852v1
Automatic Exploration of Reduced Floating-Point Representations in Iterative Methods Yohan Chatelain,Eric Petit,Pablo de Oliveira Castro,Ghislain Lartigue,David Defour 25th International Conference Euro-Par 2019 Parallel Processing, Aug 2019, Göttingen, Germany. pp.481-494, ⟨10.1007/978-3-030-29400-7_34⟩ Communication dans un congrès hal-02564972v1
VeriTracer: Context-enriched tracer for floating-point arithmetic analysis Yohan Chatelain,Pablo de Oliveira Castro,Eric Petit,David Defour,Jordan Biederet al. ARITH 2018 - IEEE 25th Symposium on Computer Arithmetic, Jun 2018, Amherst, United States. pp.61-68, ⟨10.1109/ARITH.2018.8464687⟩ Communication dans un congrès hal-01989607v1
Towards a Reproducible Solution of Linear Systems Roman Iakymchuk,Stef S Graillat,David Defour,Erwin Laure,Enrique S Quintana-Ortí Supercomputing Conference 2017-Computational Reproducibility at Exascale Workshop, Nov 2017, Denver, United States Communication dans un congrès hal-01633980v1
Asynchronous Power Flow on Graphic Processing Units Manuel Marin,David Defour,Federico Milano PDP: Parallel, Distributed and network-Based Processing, Mar 2017, St Petersburg, Russia Communication dans un congrès lirmm-01475578v1
Hierarchical Approach for Deriving a Reproducible LU factorization on GPUs Roman S Iakymchuk,Stef S Graillat,David Defour,Enrique S Quintana-Ortí The Numerical Reproducibility at Exascale (NRE16) workshop held as part of the Supercomputing Conference (SC16), Nov 2016, Salt Lake City, UT, United States Communication dans un congrès hal-01382645v1
Towards Fast, Accurate and Reproducible LU Factorization Roman Iakymchuk,David Defour,Stef Graillat SCAN 2016, 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2016, Uppsala, Sweden. pp.59-60 Communication dans un congrès hal-01539343v1
Reproducible and Accurate Matrix Multiplication Roman Iakymchuk,David Defour,Caroline Collange,Stef Graillat SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany. pp.126-137, ⟨10.1007/978-3-319-31769-4_11⟩ Communication dans un congrès hal-01539180v1
Reproducible and Accurate Algorithms for Numerical Linear Algebra Roman Iakymchuk,David Defour,Caroline Collange,Stef Graillat PP: Parallel Processing for Scientific Computing, Apr 2016, Paris, France Communication dans un congrès lirmm-01268048v1
An efficient midpoint-radius implementation to handle symmetric fuzzy intervals Manuel Marin,David Defour,Federico Milano RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France Communication dans un congrès hal-01140504v1
ExBLAS: Reproducible and Accurate BLAS Library Roman Iakymchuk,Caroline Collange,David Defour,Stef Graillat NRE: Numerical Reproducibility at Exascale, Nov 2015, Austin, TX, United States Communication dans un congrès hal-01202396v3
Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation Hugues de Lassus Saint-Geniès,David Defour,Guillaume Revy ASAP 2015 - 26th IEEE International Conference Application-specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. pp.74-81, ⟨10.1109/ASAP.2015.7245712⟩ Communication dans un congrès hal-01134232v2
Reproducibility and Accuracy for High-Performance Computing Roman Iakymchuk,Caroline Collange,David Defour,Stef Graillat RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France Communication dans un congrès hal-01140531v1
Measuring predictability of Nvidia’s GPU warp and block schedulers: Application to the summation problem David Defour MCSoC: Embedded Multicore/Many-core Systems-on-Chip, Sep 2015, Turin, Italy. pp.17-24, ⟨10.1109/MCSoC.2015.9⟩ Communication dans un congrès hal-01267747v1
Reproducible Triangular Solvers for High-Performance Computing Roman Iakymchuk,David Defour,Caroline Collange,Stef Graillat 2015 12th International Conference on Information Technology - New Generations, Apr 2015, Las Vegas, NV, United States. pp.353-358, ⟨10.1109/ITNG.2015.63⟩ Communication dans un congrès hal-01116588v2
Réduction d'argument basée sur les triplets pythagoriciens pour l'évaluation de fonctions trigonométriques Hugues de Lassus Saint-Geniès,David Defour,Guillaume Revy ComPAS 2015 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2015, Lille, France Communication dans un congrès lirmm-01136772v1
Reproducible floating-point atomic addition in data-parallel environment David Defour,Caroline Collange ACSIS, Sep 2015, Lodz, Poland. pp.721-728, ⟨10.15439/2015F86⟩ Communication dans un congrès hal-01267755v1
Reproducible and Accurate Matrix Multiplication for High-Performance Computing Caroline Collange,David Defour,Stef Graillat,Roman Iakymchuk SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wuerzburg, Germany. pp.42-43 Communication dans un congrès hal-01215627v1
A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic Michael François,David Defour,Pascal Berthomé Theory and Applications of Models of Computation, Apr 2014, Chennai, India. pp.229-247, ⟨10.1007/978-3-319-06089-7_16⟩ Communication dans un congrès hal-00985357v1
A Reproducible Accurate Summation Algorithm for High-Performance Computing Caroline Collange,David Defour,Stef Graillat,Roman Iakymchuk EX: Exascale Applied Mathematics Challenges and Opportunities, Jul 2014, Chicago, United States Communication dans un congrès hal-01267825v1
Impact des schedulers sur la prédictibilité dans les GPU David Defour ComPAS 2014 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse Communication dans un congrès hal-00951916v1
FuzzyGPU : a fuzzy arithmetic library for GPU Manuel Marin,David Defour PDP: Parallel, Distributed and Network-Based Processing, Feb 2014, Torino, Italy. pp.624-631, ⟨10.1109/PDP.2014.16⟩ Communication dans un congrès lirmm-01206375v1
Power Flow Analysis under Uncertainty using Symmetric Fuzzy Arithmetic Manuel Marin,David Defour,Federico Milano PES General Meeting 2014 | Conference & Exposition, Jul 2014, National Harbor, MD, United States. pp.1-5, ⟨10.1109/PESGM.2014.6939274⟩ Communication dans un congrès lirmm-01206373v1
GPUburn: A System to Test and Mitigate GPU Hardware Failures Eric Petit,David Defour Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), Jul 2013, Samos, Greece. pp.263-270, ⟨10.1109/SAMOS.2013.6621133⟩ Communication dans un congrès hal-00827588v1
Températures, erreurs matérielles et GPU David Defour,Eric Petit ComPAS 2013 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France Communication dans un congrès hal-00785386v1
Regularity versus Load-Balancing on GPU for treefix computations David Defour,Manuel Marin ICCS: International Conference on Computational Science, Jun 2013, Barcelone, Spain. pp.309-318 Communication dans un congrès hal-00768293v1
Implementing LNS using filtering units of GPUs Mark G. Arnold,David Defour,Caroline Collange,David Defour Eliaus International Conference on Acoustics Speech and Signal Processing (ICASSP), Mar 2010, Dallas, TX, United States. pp.1542--1545, ⟨10.1109/ICASSP.2010.5495516⟩ Communication dans un congrès hal-00423434v1
Étude comparée et simulation d'algorithmes de branchements pour le GPGPU Caroline Collange,Marc Daumas,David Defour,David Parello Toulouse'2009, Sep 2009, Toulouse, France. pp.10 Communication dans un congrès hal-00397697v2
Dynamic detection of uniform and affine vectors in GPGPU computations Caroline Collange,David Defour,Yao Zhang Euro-Par 2009, Aug 2009, Delft, Netherlands. pp.46-55, ⟨10.1007/978-3-642-14122-5_8⟩ Communication dans un congrès hal-00396719v1
Power Consumption of GPUs from a Software Perspective Caroline Collange,David Defour,Arnaud Tisserand 9th International Conference on Computational Science, May 2009, Baton Rouge, Louisiana, United States. pp.914-923, ⟨10.1007/978-3-642-01970-8_92⟩ Communication dans un congrès hal-00348672v2
Using Graphics Processors for Parallelizing Hash-based Data Carving Caroline Collange,Yoginder Dandass,Marc Daumas,David Defour 42nd Hawaii International Conference on System Sciences, Jan 2009, Waikoloa, United States. 10 p Communication dans un congrès hal-00350962v1
Fonctions élémentaires sur GPU exploitant la localité de valeurs Caroline Collange,Marc Daumas,David Defour,Régis Olivès SYMPosium en Architectures nouvelles de machines, 2008, Fribourg, Suisse. 12p Communication dans un congrès hal-00202906v1
A GPU interval library based on Boost.Interval Caroline Collange,Jorge Flórez,David Defour 8th Conference on Real Numbers and Computers, Jul 2008, Santiago de Compostela, Spain. pp.61-71 Communication dans un congrès hal-00263670v2
Graphic processors to speed-up simulations for the design of high performance solar receptors Caroline Collange,Marc Daumas,David Defour IEEE 18th International Conference Application-specific Systems, Architectures and Processors, 2007, Montréal, Canada. pp.377-382 Communication dans un congrès hal-00135126v3
Implementation of float-float operators on graphics hardware Guillaume da Graçca,David Defour Real Numbers and Computers 7, Jul 2006, Nancy, France. pp.23-32 Communication dans un congrès hal-00021443v1
Caractéristiques arithmétiques des processeurs graphiques Marc Daumas,Guillaume da Graça,David Defour SympA: Symposium en Architecture de Machines, Oct 2006, Perpignan, France. pp.86-95 Communication dans un congrès hal-00069622v1

Poster de conférence (3)

InterFLOP, Interoperable Tools for Computing, Debugging, Validation and Optimization of Floating-Point Programs David Defour,François Févotte,Stef Graillat,Fabienne Jézéquel,Wilfried Kirschenmannet al. ISC-HPC 2021 DIGITAL, Jun 2021, Online, France Poster de conférence hal-03245586v1
ExBLAS: Reproducible and Accurate BLAS Library Roman Iakymchuk,Stef Graillat,Caroline Collange,David Defour RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France. , 7ème Rencontre Arithmétique de l'Informatique Mathématique, 2015 Poster de conférence hal-01140280v1
Error-free Tables for Trigonometric Function Evaluation Hugues de Lassus Saint-Geniès,David Defour,Guillaume Revy ARCHI: Architecture des systèmes matériels et logiciels embarqués, et méthodes de conception associées, Jun 2015, Lille, France. , 8e édition de l’école thématique Archi, 2015 Poster de conférence lirmm-01273490v1

Chapitre d'ouvrage (3)

Simulation temps réel de réseaux électriques à l’aide des architectures multicœurs David Defour,Manuel Marin UPVD Magazine Hors-Série recherche, 3, pp.42-44, 2014 Chapitre d'ouvrage hal-01267852v1
Optimiser la représentation des flottants David Defour,Manuel Marin HPC Today, 4, , pp.65-70, 2013 Chapitre d'ouvrage hal-01267953v1
Interval Arithmetic in CUDA Caroline Collange,Marc Daumas,David Defour Wen-mei W. Hwu. GPU Computing Gems Jade Edition, 978-0-12-385963-1, Morgan Kaufmann, pp.99-107, 2011, 978-0123859631 Chapitre d'ouvrage hal-00813423v1

Pré-publication, Document de travail (7)

Optimization of the representation of results in interval arithmetic Yizhi Yang,David Defour,Stef Graillat,Fabienne Jézéquel 2026 Pré-publication, Document de travail hal-05514405v1
Benchmarking Large Language Models on Floating-Point Error Classification Lisa Taldir,Muhammad Ahmad Saeed,David Defour,Pablo de Oliveira Castro,Eric Petit 2026 Pré-publication, Document de travail hal-05560550v1
FP-ANR: A representation format to handle floating-point cancellation at run-time David Defour 2017 Pré-publication, Document de travail lirmm-01549601v3
Linear circuit analysis based on parallel asynchronous fixed-point method Manuel Marin,David Defour,Federico Milano 2015 Pré-publication, Document de travail hal-01142496v1
Reproducible and Accurate Matrix Multiplication for GPU Accelerators Roman Iakymchuk,David Defour,Caroline Collange,Stef Graillat 2015 Pré-publication, Document de travail hal-01102877v1
Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures Caroline Collange,David Defour,Stef Graillat,Roman Iakymchuk 2015 Pré-publication, Document de travail hal-00949355v4
Barra: a Parallel Functional Simulator for GPGPU Caroline Collange,David Defour,David Parello,Marc Daumas 2009 Pré-publication, Document de travail hal-00359342v4

Rapport (13)

An efficient midpoint-radius representation format to deal with symmetric fuzzy numbers Manuel Marin,David Defour,Federico Milano [Research Report] DALI - UPVD/LIRMM, UCD. 2015 Rapport (rapport de recherche) hal-01140485v1
Impacting predictability of GPU's David Defour 2014 Rapport hal-00951920v2
FuzzyGPU: a fuzzy arithmetic library for GPU David Defour,Manuel Marin [Research Report] LIRMM. 2013 Rapport (rapport de recherche) hal-00856617v2
A Pseudo-Random Bit Generator Using Three Chaotic Logistic Maps Michael François,David Defour [Research Report] LIRMM (UM, CNRS). 2013 Rapport (rapport de recherche) hal-00785380v1
Accuracy of a Maximum Likelihood Phylogeny Reconstruction David Defour [Research Report] 010030, LIRMM. 2010 Rapport (rapport de recherche) hal-00726409v1
CR-LIBM A library of correctly rounded elementary functions in double-precision Catherine Daramy-Loirat,David Defour,Florent de Dinechin,Matthieu Gallet,Nicolas Gastet al. [Research Report] LIP,. 2006 Rapport (rapport de recherche) ensl-01529804v1
Fast correct rounding of elementary functions in double precision using double-extended arithmetic Florent de Dinechin,David Defour,Christoph Lauter [Research Report] RR-5137, LIP RR-2004-10, INRIA, LIP. 2004 Rapport (rapport de recherche) inria-00071446v1
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour,Guillaume Hanrot,Vincent Lefèvre,Jean-Michel Muller,Nathalie Revolet al. [Research Report] RR-5406, INRIA. 2004 Rapport (rapport de recherche) inria-00071249v1
Implémentation de l'opérateur ADD2 David Defour,Bernard Goossens 2004 Rapport hal-00662684v1
Collapsing floating-point operations David Defour 2004 Rapport hal-00662679v1
A new scheme for table-based evaluation of functions David Defour,Florent de Dinechin,Jean-Michel Muller [Research Report] RR-4637, LIP RR-2002-45, INRIA, LIP. 2002 Rapport (rapport de recherche) inria-00071948v1
A New Range Reduction Algorithm David Defour,Peter Kornerup,Jean-Michel Muller,Nathalie Revol [Research Report] RR-4267, LIP RR-2001-33, INRIA, LIP. 2001 Rapport (rapport de recherche) inria-00072320v1
Correctly Rounded Exponential Function in Double Precision Arithmetic David Defour,Florent de Dinechin,Jean-Michel Muller [Research Report] RR-4231, INRIA. 2001 Rapport (rapport de recherche) inria-00072387v1

Thèse (1)

Fonctions élémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision David Defour Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2003. Français. ⟨NNT : ⟩ Thèse tel-00006022v1

HDR (1)

Contribution au calcul sur GPU: considérations arithmétiques et architecturales David Defour Architectures Matérielles [cs.AR]. Université de Perpignan, 2014 HDR tel-01206379v1