David Defour - RankMe

46 papers B 2C 10Misc 2Journal 19Unranked 11

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