|
|
Jean-Michel Muller
|
"Directeur de recherches" au CNRS, Posted at Laboratoire LIP (common to CNRS, ENS Lyon, INRIA, Univ. Claude Bernard Lyon 1)
Member of the
CNRS/ENS Lyon/INRIA/UCBL Pascaline
team (Pascaline is a follow-up of the ARENAIRE and ARIC teams).
Associate editor-in-chief, IEEE
Transactions on Emerging Topics in Computing.
LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, France
phone :+33 4 26 23 38 92
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.
31st IEEE
Symposium on Computer Arithmetic (ARITH 2024), Malaga, Spain,
Jun. 2024
30th IEEE Symposium
on Computer Arithmetic (ARITH 2023), Portland, Oregon, USA,
Sept. 2023
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.
Preuves en arithmétique
virgule flottante, Keynote LIMOS, September 29, 2022.
Error bounds that are
certain, sharp. . . and whose proof is trustable: the curse of
long and boring proofs, Workshop Certified and
Symbolic-Numeric Computation, Lyon, May 2023.
Arithmétique des Ordinateurs,
Colloque "Raisonner en arithmétique", Bordeaux, Juin 2023.
Apporter de la confiance aux calculs en arithmétique virgule flottante, Séminaire fiabilité du CNES, September 2024.
Emulation
of the FMA and ADD3 in rounding-to-nearest floating-point
arithmetic (work with S. Graillat), FJWNC 2025, invited talk
at the Second French-Japanese Workshop on Numerical Computations,
Paris, March 2025.
Une
(très) brève histoire du calcul du point de vue de la
consommation énergétique (in French), Journée
Calcul Sobre, Grenoble, Juin 2025.
Some thoughts on Floating-Point, FPTalks 2025, Jul. 10, 2025.
Hobbies: Music , Photo
