[La même en français : Florent de Dinechin, sa vie, sa recherche]
As a permanent lecturer at Ecole Normale Supérieure de Lyon, I am a member (and leader since 2009) of the Arénaire project of the LIP laboratory . These links will tell you more about them.
My current research interests are
Hardware and FPGA Arithmetic
Current focus is on the FloPoCo project, a generator of arithmetic cores for FPGA computing, the subject of Bogdan Pasca's PhD. Some cores are similar to what you find in your processor, but the main purpose of this project is to design radically new ones that exploit FPGA flexibility. This includes operators for the evaluation of elementary functions in floating-point, see for instance our flagship exponential function. In this context, we also revisited Kulisch's long accumulator, we did some work on decimal multiplication, on polynomial evaluation, constant multiplication and division, etc.
FloPoCo is also a VHDL generator framework with unique features, such as the frequency-directed construction of correct-by-design pipelines, and automatic testbench generation.
I am also interested in designing new general purpose hardware operators, such as the mixed-precision fused multiply-and-add we proposed for the Kalray processor. With the PhD of Nicolas Brunie, we are now investigating the benefits of a closely-coupled reconfigurable accelerator in the context of a massively multicore design.
Previously, with Jérémie Detrey, who defended his PhD in 2007, we have been investigating fixed-point function evaluation (using table-and-addition methods or small multipliers). This has been used to design operators for the logarithm number systems in the FPLibrary project (now superseded by FloPoCo).
As FPGAs may be viewed as fine-grained massively parallel computers, I am also interested in programming methodologies inherited from the parallel computing community, which was the subject of my thesis.
Software implementation of elementary functions with correct rounding.
This was the subject of the PhDs of David Defour and Christoph Lauter. Work is still going on on the Correctly Rounded Math Library. This article describes the techniques used, see also this article and this one for recent results on the subject. CRLibm can also be used to build "perfect" elementary functions for interval arithmetic. Starting with Ch. Lauter's PhD, the focus has been on the automation of libm code generation and on formal proof generation.