"Directeur de recherches" au CNRS, Posted at Laboratoire LIP (common to CNRS, ENS Lyon, INRIA, Univ. Claude Bernard Lyon 1)
Co-head (with Arnaud Durand) of GDR IM
of the CNRS/ENS Lyon/INRIA ARIC
project (AriC is a follow-up of the
CNRS/ENS Lyon/INRIA ARENAIRE
Transactions on Computers
Recent former positions: "Chargé de Mission", ST2I dept of CNRS until september 2009. Former head (sept. 2001 - june 2006) of Laboratoire LIP
LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, France
:+33 4 72 72 85 52
fax: +33 4 72 72 88 06 (Please indicate "Attention of J.M. Muller, LIP")
how to get to ENS Lyon & access map
Computer arithmetic: floating-point arithmetic, algorithms and architectures for fast and/or accurate arithmetic, number systems, elementary functions, Cordic.
Publications (with electronic access to new preprints)
Handbook of floating-point arithmetic (Birkhauser, December 2009)
My book Elementary Functions, algorithms and implementation (New: 3rd edition, December 2016)
another book (in French) Calcul et arithmétique des ordinateurs
another book (in French) Qualite des calculs sur ordinateur
my book Arithmétique des ordinateurs (Masson, 1989, in French) freely available online there.
ASAP2014 - 25th IEEE International Conference on. Application-specific Systems, Architectures and Processors, Zurich, Switzerland, June 2014
ASAP2013 - 24th IEEE International Conference on. Application-specific Systems, Architectures and Processors, Washington, USA, June 2013
ASAP2012 - 23rd IEEE International Conference on. Application-specific Systems, Architectures and Processors, Delft, The Netherlands, July 2012
Special issue "Real Numbers and Computers", Theoretical Computer Science, Vol. 291, issue 2, Jan. 2003.
IEEE Transactions on Computers Special Session on Computer Arithmetic, Vol. 60 No 2, Feb. 2011
IEEE Transactions on Computers Special Section on Computer Arithmetic, Vol. 58 No 2, Feb. 2009
Do not hesitate to suggest other pages: send an e-mail to me. If you have a problem with one of these links please tell me.
Repository of the proceedings of the IEEE Symposia on Computer Arithmetic since 1969
Israel Koren's home page
Florent de Dinechin
David G. Hough's validlab home page
A bibliography on computer arithmetic, built by Peter Kornerup
My own Bibtex database on computer arithmetic
Bibtex bibliography elefunt.bib
Bibtex bibliography fparith.bib
IEEE Transactions on Computers
ACM Transactions on Mathematical Software
Journal of Signal Processing Systems (was formerly named Journal of VLSI Signal Processing)
IEEE Transactions on VLSI Systems
JUCS: Journal of Universal Computer Science
Paul Zimmerman's page on multiple precision arithmetic
The GNU MP (Multiple Precision) Home Page
MPFR, a library for multiprecision floating-point arithmetic with exact rounding (try it: it is excellent!)
PARI/GP, a library for very fast arithmetic (factorization, elliptic curves, ...)
Computer Arithmetic Tragedies
Kahan's documents relating to the current status of the IEEE-754 standard for binary floating-point arithmetic
Intel document Highly optimized mathematical functions for the IA-64 architectures
The new IEEE 754-2008 standard for Floating-Point Arithmetic: the official (final) document, the last public draft
IEEE 754 Floating-Point test Software
Robust computation resource page
Goldberg's paper "What every computer scientist should know about floating-point arithmetic"
CRLIBM: correctly rounded mathematical functions
FLIP: floating-point library for integer processors
Gappa: a tool for computing and proving bounds on expressions and rounding errors.
Médaille d'Argent du CNRS, 2013
"La Recherche" award for computer science (avec Peter Kornerup, Vincent Lefèvre et Nicolas Louvet), 2013
IEEE Fellow, 2017
My recent co-authors
Le site de la section 06 du Comite national
de la Recherche Scientifique
Exact computations with approximate arithmetic, invited conference at the "Jounees en l'honneur de Donald Knuth", Bordeaux, France, 29-31 Oct. 2007.
Some issues related to double roundings (invited talk), Minisymposium "Accurate algorithms and applications" at the SIAM2012 Conference, Valencia, June 2012.
Slides (in French) of my lectures on Floating-Point Arithmetic at the spring school "Precision et reproductibilite numerique" (Fréjus, march 2013)
Invited talk at NSV 2014 (Vienna, July 2014)
of the talk "On the robustness of the 2Sum and Fast2Sum algorithms"
(ANR FastRelax, Toulouse, May 2016)
Hobbies: Music , Photo