Accéder directement au contenu

David Defour

76
Documents

Publications

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
IEEE Transactions on Emerging Topics in Computing, 2021, 9 (3), pp.1467-1478. ⟨10.1109/TETC.2021.3070422⟩
Article dans une revue hal-03550641v1
Image document

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
Image document

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
Image document

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

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 lirmm-01267742v1

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
Image document

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
Image document

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
Image document

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

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 lirmm-01206362v1
Image document

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

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic

David Defour , Guillaume Hanrot , Vincent Lefèvre , Jean-Michel Muller , Nathalie Revol
Numerical Algorithms, 2004, 37 (1-4), pp.367-375
Article dans une revue inria-00099967v1
Image document

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
Image document

Shadow computation with BFloat16 to estimate thenumerical accuracy of summations

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
Image document

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
Image document

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 Bieder
2018 IEEE 25th Symposium on Computer Arithmetic (ARITH), Jun 2018, Amherst, United States. pp.61-68, ⟨10.1109/ARITH.2018.8464687⟩
Communication dans un congrès hal-01989607v1
Image document

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
Image document

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

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

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
Image document

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
Image document

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

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
Image document

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
Image document

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: Conférence 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

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

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
Image document

Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation

Hugues de Lassus Saint-Geniès , David Defour , Guillaume Revy
ASAP: 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
Image document

Impact des schedulers sur la prédictibilité dans les GPU

David Defour
ComPAS: Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
Communication dans un congrès hal-00951916v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

Températures, erreurs matérielles et GPU

David Defour , Eric Petit
ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. pp.1-11
Communication dans un congrès hal-00785386v1
Image document

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
Image document

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
Image document

É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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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 Kirschenmann
ISC-HPC 2021 DIGITAL, Jun 2021, Online, France
Poster de conférence hal-03245586v1
Image document

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
Image document

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

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
Image document

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 hal-01140485v1
Image document

Impacting predictability of GPU's

David Defour
2014
Rapport hal-00951920v2
Image document

A Pseudo-Random Bit Generator Using Three Chaotic Logistic Maps

Michael François , David Defour
[Research Report] LIRMM (UM, CNRS). 2013
Rapport hal-00785380v1
Image document

FuzzyGPU: a fuzzy arithmetic library for GPU

David Defour , Manuel Marin
[Research Report] LIRMM. 2013
Rapport hal-00856617v2
Image document

Accuracy of a Maximum Likelihood Phylogeny Reconstruction

David Defour
[Research Report] 010030, LIRMM. 2010
Rapport hal-00726409v1
Image document

CR-LIBM A library of correctly rounded elementary functions in double-precision

Catherine Daramy-Loirat , David Defour , Florent de Dinechin , Matthieu Gallet , Nicolas Gast
[Research Report] LIP,. 2006
Rapport ensl-01529804v1
Image document

Implémentation de l'opérateur ADD2

David Defour , Bernard Goossens
2004
Rapport hal-00662684v1
Image document

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 inria-00071446v1
Image document

Collapsing floating-point operations

David Defour
2004
Rapport hal-00662679v1
Image document

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic

David Defour , Guillaume Hanrot , Vincent Lefèvre , Jean-Michel Muller , Nathalie Revol
[Research Report] RR-5406, INRIA. 2004
Rapport inria-00071249v1
Image document

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 inria-00071948v1
Image document

Correctly Rounded Exponential Function in Double Precision Arithmetic

David Defour , Florent de Dinechin , Jean-Michel Muller
[Research Report] RR-4231, INRIA. 2001
Rapport inria-00072387v1
Image document

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 inria-00072320v1