Jean-Michel Muller
|
"Directeur de recherches" au CNRS, Posted at Laboratoire LIP (common to CNRS, ENS Lyon, INRIA, Univ. Claude Bernard Lyon 1)
Co-head (with Guillaume Theyssier)
of GDR IM
Member of the
CNRS/ENS Lyon/INRIA ARIC project (AriC is a follow-up
of the CNRS/ENS Lyon/INRIA ARENAIRE project).
Associate
editor IEEE
Transactions on Computers until dec. 2018.
Associate editor-in-chief, IEEE
Transactions on Emerging Topics in Computing.
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
phone :+33 4 26 23 38 92
fax: +33 4 72 72 88 06 (Please indicate "Attention of J.M. Muller, LIP")
email :Jean-Michel.Muller@REMOVE-THAT-PARTens-lyon.fr
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 (2nd edition: 2018)
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.
25th IEEE Symposium on Computer Arithmetic (ARITH-25), Amherst, MA, USA, June 25-27, 2018
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
Ercegovac and Lang's book "Digital Arithmetic"
Koren's book "Computer arithmetic algorithms"
Markstein's book "IA-64 and Elementary Functions"
Parhami's bookComputer Arithmetic: Algorithms and Hardware Design
New book: Handbook of floating-point arithmetic 2nd edition (Birkhauser, 2018)
My book Elementary Functions, algorithms and implementation (New: 3rd edition, December 2016)
Nick Higham's book, (SIAM, Second edition, August 2002, xxx+680 pp.).
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
IEEE Transactions on Emerging Topics in
Computing
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, ...)
Advertising tips for number system designers
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 (with Peter Kornerup, Vincent Lefèvre and Nicolas Louvet), 2013
IEEE Fellow, 2017
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)
Slides
of the talk "On the robustness of the 2Sum and Fast2Sum
algorithms" (ANR FastRelax, Toulouse, May 2016)
Make Computer Arithmetic Great Again ? Invited talk at a Panel Session on the future of Computer Arithmetic at Arith-25, June 2018.
Arithmétique et précision des calculs sur ordinateurs, conférence
invitée, Colloque Tous
mesureurs, tous mesurés, Paris, 18-19 octobre 2018.
Reduced Precision Elementary Functions, invited talk, SIAM
CSE21 Minisymposium on Reduced Precision Arithmetic and
Stochastic Rounding (held virtual because of the Covid
Pandemic), March 2, 2021. Slides.
Accurate Calculation of Euclidean Norms using Double-Word Arithmetic, SIAM PP22 Minisymposium on understanding and exploiting mixed-precision accelerators for high-performance computing (held virtual because of the Covid Pandemic), February 24-25, 2022. Slides.
Hobbies: Music , Photo