|
|
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
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, ...)
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)
Hobbies: Music , Photo
