Jean-Michel Muller

Institution - address - vitae - publications - conferences and special issues related to computer arithmetic - computer arithmetic books - people and groups - bibliography on computer arithmetic - floating-point arithmetic - citations

Cliquez sur pour avoir la même page en Français

Last modification: october 2, 2014

Institution

"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

Head  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

Recent former positions: "Chargé de Mission", ST2I dept of CNRS until september 2009. Former head (sept. 2001 - june 2006) of  Laboratoire LIP



Address

LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, France

phone :+33 4 37 28 76 46

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

Research interests

Computer arithmetic: floating-point arithmetic, algorithms and architectures for fast and/or accurate arithmetic, number systems, elementary functions, Cordic.


Vitae

Publications (with electronic access to new  preprints)

New book: Handbook of floating-point arithmetic (Birkhauser, December 2009)

My  book Elementary Functions, algorithms and implementation (2nd edition, November 2005)

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.

Some notes on the Table Maker's Dilemma


Conferences and special issues related to computer arithmetic

ARITH-22, 22nd IEEE Symposium on Computer Arithmetic, Lyon, France, June 22-24, 2015: the call for papers is here

ARITH-21, 21st IEEE Symposieum on Computer Arithmetic, Austin, Texas, April 2013

ARITH-20, 20th IEEE Symposium on Computer Arithmetic, Tuebingen, Germany, July 2011

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



Some  links related to computer arithmetic

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.

Computer arithmetic books

Proceedings of the 12th IEEE Symposium on Computer Arithmetic (Arith-12)

Proceedings of the 13th IEEE Symposium on Computer Arithmetic (Arith-13)

Proceedings of the 14thIEEE Symposium on Computer Arithmetic (Arith-14)

Proceedings of the 15thIEEE Symposium on Computer Arithmetic (Arith-15)

Proceedings of the 16thIEEE Symposium on Computer Arithmetic (Arith-16)

Proceedings of the 17thIEEE Symposium on Computer Arithmetic (Arith-17)

Proceedings of the 18th IEEESymposium on Computer Arithmetic (Arith-18)

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 (Birkhauser, December 2009)

My book "Elementary functions, Algorithms and Implementation" (second edition, nov. 2005)

Nick Higham's book, (SIAM, Second edition, August 2002, xxx+680 pp.).  

People and groups

Milos Ercegovac

Israel Koren's home page

John Harrison

William Kahan

Peter Kornerup

David Matula

Paul Zimmerman

Nick Higham

Michael Schulte

Arnaud Tisserand

Sylvie Boldo

Guillaume Melquiond

Paolo Montuschi

Behrooz Parhami

Elisardo Antelo

Jean-Luc Beuchat

Florent de Dinechin

David G. Hough's  validlab home page

Bibliography

A bibliography on computer arithmetic, built by Peter Kornerup

My own Bibtex database on computer arithmetic

Bibtex bibliography elefunt.bib

Bibtex bibliography fparith.bib

Some journals that publish papers on Computer Arithmetic

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

Reliable Computing

Multiple precision

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, ...)

Floating-Point arithmetic

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"

Some software designed by the Arenaire Team

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.

Miscellaneous

Médaille d'Argent du CNRS, 2013

"La Recherche" award for computer science (avec Peter Kornerup, Vincent Lefèvre et Nicolas Louvet), 2013

My recent co-authors

Le site de la section 06 du Comite national de la Recherche Scientifique

Recent talks

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)



Hobbies: Music , Photo