| 2023 | ARITH | Chromatic Analysis of Numerical Programs. | David Defour, Franck Vdrine |
| 2021 | ARITH | 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, Alan Vaquet |
| 2021 | ARITH | Shadow computation with BFloat16 to estimate the numerical accuracy of summations. | David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit |
| 2020 | ARITH | Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. | David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit |
| 2019 | EuroPar | Automatic Exploration of Reduced Floating-Point Representations in Iterative Methods. | Yohan Chatelain, Eric Petit, Pablo de Oliveira Castro, Ghislain Lartigue, David Defour |
| 2018 | ARITH | VeriTracer: Context-enriched tracer for floating-point arithmetic analysis. | Yohan Chatelain, Pablo de Oliveira Castro, Eric Petit, David Defour, Jordan Bieder, Marc Torrent |
| 2018 | ARITH | FP-ANR: A representation format to handle floating-point cancellation at run-time. | David Defour |
| 2017 | PDP | Asynchronous Power Flow on Graphic Processing Units. | Manuel Marin, David Defour, Federico Milano |
| 2015 | FedCSIS | Reproducible floating-point atomic addition in data-parallel environment. | David Defour, Caroline Collange |
| 2014 | PDP | FuzzyGPU: A Fuzzy Arithmetic Library for GPU. | David Defour, Manuel Marin |
| 2014 | TAMC | A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic. | Michael Franois, David Defour, Pascal Berthom |
| 2013 | ICCS | Regularity Versus Load-Balancing on GPU for Treefix Computations. | David Defour, Manuel Marin |
| 2010 | ICASSP | Implementing LNS using filtering units of GPUs. | Mark G. Arnold, Caroline Collange, David Defour |
| 2010 | MASCOTS | Barra: A Parallel Functional Simulator for GPGPU. | Caroline Collange, Marc Daumas, David Defour, David Parello |
| 2009 | EuroPar | Dynamic Detection of Uniform and Affine Vectors in GPGPU Computations. | Caroline Collange, David Defour, Yao Zhang |
| 2009 | ICCS | Power Consumption of GPUs from a Software Perspective. | Caroline Collange, David Defour, Arnaud Tisserand |
| 2003 | PACT | Software Carry-Save: A Case Study for Instruction-Level Parallelism. | David Defour, Florent de Dinechin |