Software Carry-Save: A Case Study for Instruction-Level Parallelism. - David Defour; Florent de Dinechin (PaCT, 2003)

Fonctions élémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision. (Elementary functions : algorithms and efficient implementation for correct rounding for the double precision). - David Defour (2003)

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. - David Defour; Guillaume Hanrot; Vincent Lefèvre; Jean-Michel Muller; Nathalie Revol; Paul Zimmermann (Numer. Algorithms, 2004)

The instruction register file micro-architecture. - Bernard Goossens; David Defour (Future Gener. Comput. Syst., 2005)

A New Range-Reduction Algorithm. - Nicolas Brisebarre; David Defour; Peter Kornerup; Jean-Michel Muller; Nathalie Revol (IEEE Trans. Computers, 2005)

Implementation of float-float operators on graphics hardware - Guillaume Da Graça; David Defour (CoRR, 2006)

Caractéristiques arithmétiques des processeurs graphiques - Marc Daumas; Guillaume Da Graça; David Defour (CoRR, 2006)

Ordonnancement distribué d'instructions. - Bernard Goossens; David Defour (Tech. Sci. Informatiques, 2006)

Graphic processors to speed-up simulations for the design of high performance solar receptors. - Caroline Collange; Marc Daumas; David Defour (ASAP, 2007)

Line-by-line spectroscopic simulations on graphics processing units. - Caroline Collange; Marc Daumas; David Defour (Comput. Phys. Commun., 2008)

État de l'intégration de la virgule flottante dans les processeurs graphiques. - Caroline Collange; Marc Daumas; David Defour (Tech. Sci. Informatiques, 2008)

Dynamic Detection of Uniform and Affine Vectors in GPGPU Computations. - Caroline Collange; David Defour; Yao Zhang (Euro-Par Workshops, 2009)

Using Graphics Processors for Parallelizing Hash-Based Data Carving. - Caroline Collange; Yoginder S. Dandass; Marc Daumas; David Defour (HICSS, 2009)

Power Consumption of GPUs from a Software Perspective. - Caroline Collange; David Defour; Arnaud Tisserand (ICCS (1), 2009)

Implementing LNS using filtering units of GPUs. - Mark G. Arnold; Caroline Collange; David Defour (ICASSP, 2010)

Barra: A Parallel Functional Simulator for GPGPU. - Caroline Collange; Marc Daumas; David Defour; David Parello (MASCOTS, 2010)

Regularity Versus Load-Balancing on GPU for Treefix Computations. - David Defour; Manuel Marin (ICCS, 2013)

GPUburn: A system to test and mitigate GPU hardware failures. - David Defour; Eric Petit 002 (ICSAMOS, 2013)

Contribution au calcul sur GPU: considérations arithmétiques et architecturales. - David Defour (2014)

FuzzyGPU: A Fuzzy Arithmetic Library for GPU. - David Defour; Manuel Marin (PDP, 2014)

Reproducible and Accurate Matrix Multiplication. - Roman Iakymchuk; David Defour; Caroline Collange; Stef Graillat (SCAN, 2014)

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é (TAMC, 2014)

A Fast Chaos-Based Pseudo-Random Bit Generator Using Binary64 Floating-Point Arithmetic. - Michael François; David Defour; Christophe Nègre (Informatica (Slovenia), 2014)

Range reduction based on Pythagorean triples for trigonometric function evaluation. - Hugues de Lassus Saint-Genies; David Defour; Guillaume Revy (ASAP, 2015)

Reproducible floating-point atomic addition in data-parallel environment. - David Defour; Caroline Collange (FedCSIS, 2015)

Reproducible Triangular Solvers for High-Performance Computing. - Roman Iakymchuk; David Defour; Caroline Collange; Stef Graillat (ITNG, 2015)

Measuring Predictability of Nvidia's GPU Schedulers: Application to the Summation Problem. - David Defour (MCSoC, 2015)

Numerical reproducibility for the parallel reduction on multi- and many-core architectures. - Caroline Collange; David Defour; Stef Graillat; Roman Iakymchuk (Parallel Comput., 2015)

A software scheduling solution to avoid corrupted units on GPUs. - David Defour; Eric Petit 002 (J. Parallel Distributed Comput., 2016)

Asynchronous Power Flow on Graphic Processing Units. - Manuel Marin; David Defour; Federico Milano 001 (PDP, 2017)

Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions. - Hugues de Lassus Saint-Genies; David Defour; Guillaume Revy (IEEE Trans. Computers, 2017)

An Efficient Representation Format for Fuzzy Intervals Based on Symmetric Membership Functions. - Manuel Marin; David Defour; Federico Milano 001 (ACM Trans. Math. Softw., 2017)

VeriTracer: Context-enriched tracer for floating-point arithmetic analysis. - Yohan Chatelain; Pablo de Oliveira Castro; Eric Petit 002; David Defour; Jordan Bieder; Marc Torrent 001 (ARITH, 2018)

FP-ANR: A representation format to handle floating-point cancellation at run-time. - David Defour (ARITH, 2018)

Automatic Exploration of Reduced Floating-Point Representations in Iterative Methods. - Yohan Chatelain; Eric Petit 002; Pablo de Oliveira Castro; Ghislain Lartigue; David Defour (Euro-Par, 2019)

Hierarchical approach for deriving a reproducible unblocked LU factorization. - Roman Iakymchuk; Stef Graillat; David Defour; Enrique S. Quintana-Ortí (Int. J. High Perform. Comput. Appl., 2019)

Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. - David Defour; Pablo de Oliveira Castro; Matei Istoan; Eric Petit 002 (ARITH, 2020)

Shadow computation with BFloat16 to estimate the numerical accuracy of summations. - David Defour; Pablo de Oliveira Castro; Matei Istoan; Eric Petit 002 (ARITH, 2021)

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 Mancusi; Eric Petit 002; Alan Vaquet (IEEE Trans. Emerg. Top. Comput., 2021)

Using scheduling entropy amplification in CUDA/OpenMP code to exhibit non-reproducibility issues. - David Defour (MCSoC, 2022)

Chromatic Analysis of Numerical Programs. - David Defour; Franck Védrine (ARITH, 2023)

MLKAPS: Machine Learning and Adaptive Sampling for HPC Kernel Auto-tuning. - Mathys Jam; Eric Petit 002; Pablo de Oliveira Castro; David Defour; Greg Henry; William Jalby (CoRR, 2025)