David Defour

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 20

Top Venues

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

David Defour, Franck Védrine
Chromatic Analysis of Numerical Programs. ARITH (2023)
David Defour
Using scheduling entropy amplification in CUDA/OpenMP code to exhibit non-reproducibility issues. MCSoC (2022)
Emeric Brun, David Defour, Pablo de Oliveira Castro, Matei Istoan, Davide Mancusi, Eric Petit, Alan Vaquet
A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes. IEEE Trans. Emerg. Top. Comput. 9 (3) (2021)
David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit
Shadow computation with BFloat16 to estimate the numerical accuracy of summations. ARITH (2021)
Emeric Brun, David Defour, Pablo de Oliveira Castro, Matei Istoan, Davide Mancusi, Eric Petit, Alan Vaquet
A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes. ARITH (2021)
David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. CoRR (2020)
David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. ARITH (2020)
Yohan Chatelain, Eric Petit, Pablo de Oliveira Castro, Ghislain Lartigue, David Defour
Automatic Exploration of Reduced Floating-Point Representations in Iterative Methods. Euro-Par (2019)
Roman Iakymchuk, Stef Graillat, David Defour, Enrique S. Quintana-Ortí
Hierarchical approach for deriving a reproducible unblocked LU factorization. Int. J. High Perform. Comput. Appl. 33 (5) (2019)
Yohan Chatelain, Pablo de Oliveira Castro, Eric Petit, David Defour, Jordan Bieder, Marc Torrent
VeriTracer: Context-enriched tracer for floating-point arithmetic analysis. ARITH (2018)
David Defour
FP-ANR: A representation format to handle floating-point cancellation at run-time. ARITH (2018)
Manuel Marin, David Defour, Federico Milano
An Efficient Representation Format for Fuzzy Intervals Based on Symmetric Membership Functions. ACM Trans. Math. Softw. 43 (3) (2017)
Manuel Marin, David Defour, Federico Milano
Asynchronous Power Flow on Graphic Processing Units. PDP (2017)
Hugues de Lassus Saint-Genies, David Defour, Guillaume Revy
Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions. IEEE Trans. Computers 66 (12) (2017)
David Defour, Eric Petit
A software scheduling solution to avoid corrupted units on GPUs. J. Parallel Distributed Comput. (2016)
Hugues de Lassus Saint-Genies, David Defour, Guillaume Revy
Range reduction based on Pythagorean triples for trigonometric function evaluation. ASAP (2015)
David Defour
Measuring Predictability of Nvidia's GPU Schedulers: Application to the Summation Problem. MCSoC (2015)
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
Reproducible Triangular Solvers for High-Performance Computing. ITNG (2015)
Sylvain Collange, David Defour, Stef Graillat, Roman Iakymchuk
Numerical reproducibility for the parallel reduction on multi- and many-core architectures. Parallel Comput. 49 (2015)
David Defour, Sylvain Collange
Reproducible floating-point atomic addition in data-parallel environment. FedCSIS (2015)
Michael François, David Defour, Christophe Nègre
A Fast Chaos-Based Pseudo-Random Bit Generator Using Binary64 Floating-Point Arithmetic. Informatica (Slovenia) 38 (2) (2014)
Michael François, David Defour, Pascal Berthomé
A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic. TAMC (2014)
David Defour, Manuel Marin
FuzzyGPU: A Fuzzy Arithmetic Library for GPU. PDP (2014)
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
Reproducible and Accurate Matrix Multiplication. SCAN (2014)
David Defour, Eric Petit
GPUburn: A system to test and mitigate GPU hardware failures. ICSAMOS (2013)
David Defour, Manuel Marin
Regularity Versus Load-Balancing on GPU for Treefix Computations. ICCS (2013)
Mark G. Arnold, Sylvain Collange, David Defour
Implementing LNS using filtering units of GPUs. ICASSP (2010)
Sylvain Collange, Marc Daumas, David Defour, David Parello
Barra: A Parallel Functional Simulator for GPGPU. MASCOTS (2010)
Sylvain Collange, David Defour, Yao Zhang
Dynamic Detection of Uniform and Affine Vectors in GPGPU Computations. Euro-Par Workshops (2009)
Sylvain Collange, David Defour, Arnaud Tisserand
Power Consumption of GPUs from a Software Perspective. ICCS (1) (2009)
Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour
Using Graphics Processors for Parallelizing Hash-Based Data Carving. HICSS (2009)
Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour
Using Graphics Processors for Parallelizing Hash-based Data Carving CoRR (2009)
Sylvain Collange, Marc Daumas, David Defour
Line-by-line spectroscopic simulations on graphics processing units. Comput. Phys. Commun. 178 (2) (2008)
Sylvain Collange, Marc Daumas, David Defour
État de l'intégration de la virgule flottante dans les processeurs graphiques. Tech. Sci. Informatiques 27 (6) (2008)
Sylvain Collange, Marc Daumas, David Defour
Graphic processors to speed-up simulations for the design of high performance solar receptors. ASAP (2007)
Sylvain Collange, Marc Daumas, David Defour
Graphic processors to speed-up simulations for the design of high performance solar receptors CoRR (2007)
Marc Daumas, Guillaume Da Graça, David Defour
Caractéristiques arithmétiques des processeurs graphiques CoRR (2006)
Bernard Goossens, David Defour
Ordonnancement distribué d'instructions. Tech. Sci. Informatiques 25 (7) (2006)
Guillaume Da Graça, David Defour
Implementation of float-float operators on graphics hardware CoRR (2006)
Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol
A New Range-Reduction Algorithm. IEEE Trans. Computers 54 (3) (2005)
Bernard Goossens, David Defour
The instruction register file micro-architecture. Future Gener. Comput. Syst. 21 (4) (2005)
David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numer. Algorithms 37 (1-4) (2004)
David Defour, Florent de Dinechin
Software Carry-Save: A Case Study for Instruction-Level Parallelism. PaCT (2003)

David Defour.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Defour