Claude-Pierre Jeannerod

Inria researcher in the AriC team at LIP-ENS de Lyon.

Research papers

Fast computation of minimal interpolation bases in Popov form for arbitrary shifts,
with V. Neiger, É. Schost, and G. Villard. ISSAC 2016 - [to appear].

Exploiting structure in floating-point arithmetic.
MACIS 2015 (invited paper).

Computing minimal interpolation bases,
with V. Neiger, É. Schost, and G. Villard. Journal of Symbolic Computation - [to appear].

A library for symbolic floating-point arithmetic,
with N. Louvet, J.-M. Muller, and A. Plet - [submitted].

On relative errors of floating-point operations: optimal bounds and applications,
with S. M. Rump - [submitted].

Sharp error bounds for complex floating-point inversion,
with N. Louvet, J.-M. Muller, and A. Plet. Numerical Algorithms, 2016.

A radix-independent error analysis of the Cornea-Harrison-Tang method.
ACM Trans. Mathematical Software, 2016.

Error bounds on complex floating-point multiplication with an FMA,
with P. Kornerup, N. Louvet, and J.-M. Muller. Mathematics of Computation - [to appear].

Improved error bounds for floating-point products and Horner's scheme,
with S. M. Rump and F. Bünger. BIT Numerical Mathematics, 2016.

Faster algorithms for multivariate interpolation with multiplicities and simultaneous polynomial approximations,
with M. Chowdhury, V. Neiger, É. Schost, and G. Villard. IEEE Trans. Information Theory, 2015.

Improved backward error bounds for LU and Cholesky factorizations,
with S. M. Rump. SIAM Journal on Matrix Analysis and Applications, 2014.

Further analysis of Kahan's algorithm for the accurate computation of 2 x 2 determinants,
with N. Louvet and J.-M. Muller. Mathematics of Computation, 2013.

Rank-profile revealing Gaussian elimination and the CUP matrix decomposition,
with C. Pernet and A. Storjohann. Journal of Symbolic Computation, 2013.

Improved error bounds for inner products in floating-point arithmetic,
with S. M. Rump. SIAM Journal on Matrix Analysis and Applications, 2013.

On the componentwise accuracy of complex floating-point division with an FMA,
with N. Louvet and J.-M. Muller. ARITH-21 Proceedings, Austin, April 2013.

Simultaneous floating-point sine and cosine for VLIW integer processors,
with J. Jourdan-Lu. ASAP'12 Proceedings, Delft, July 2012.

Non-generic floating-point software support for embedded media processing,
with J. Jourdan-Lu and C. Monat. SIES'12 Proceedings, Karlsruhe, June 2012.

How to square floats accurately and efficiently on the ST231 integer processor,
with J. Jourdan-Lu, C. Monat, and G. Revy. ARITH-20 Proceedings, Tübingen, July 2011.

Computing floating-point square roots via bivariate polynomial evaluation,
with H. Knochel, C. Monat, and G. Revy. IEEE Trans. Computers, February 2011.

Midpoints and exact points of some algebraic functions in floating-point arithmetic
with N. Louvet, J.-M. Muller, and A. Panhaleux. IEEE Trans. Computers, February 2011.

Computing specified generators of structured matrix inverses,
with C. Mouilleron. ISSAC'10 Proceedings, Munich, July 2010.

Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors,
with C. Bertin, J. Jourdan-Lu, H. Knochel, C. Monat, C. Mouilleron, J.-M. Muller, and G. Revy. PASCO'10 Proceedings, Grenoble, July 2010 (Invited paper and talk).

LEMA: towards a language for reliable arithmetic,
with V. Lefèvre, P. Théveny, F. de Dinechin, C. Mouilleron, D. Pfannholzer, and N. Revol. PLMMS'10 Proceedings, Paris, July 2010; ACM Communications in Computer Algebra, 2010.

Bringing fast floating-point arithmetic into embedded integer processors,
with C. Bertin and C. Monat. HiPEAC Newsletter, 2010.

Handbook of Floating-Point Arithmetic,
with J.-M. Muller (coordinator), N. Brisebarre, F. de Dinechin, V. Lefèvre, G. Melquiond, N. Revol, D. Stehlé, and S. Torres. Birkhäuser Boston, 572 pages, 2010 (review).

Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores,
with G. Revy. Proceedings of the 43rd Conference on Signals, Systems, and Computers, Asilomar (USA), November 2009.

A new binary floating-point division algorithm and its software implementation on the ST231 processor,
with H. Knochel, C. Monat, G. Revy, and G. Villard. ARITH-19 Proceedings, Portland, June 2009.

Solving structured linear systems of large displacement rank,
with A. Bostan and É. Schost. Theoretical Computer Science, 2008.

Solving Toeplitz- and Vandermonde-like linear systems of large displacement rank,
with A. Bostan and É. Schost. ISSAC'07 Proceedings, Waterloo, July 2007.

Faster floating-point square root for integer processors,
with H. Knochel, C. Monat, and G. Revy. SIES'07 Proceedings, Lisbon, July 2007.

Asymptotically fast polynomial matrix algorithms for multivariable systems,
with G. Villard. International Journal of Control, 2006.

LSP matrix decomposition revisited
Research report RR2006-28, 2006.


... more papers ...

Software


FLIP

Some recent talks


Exploiting structure in floating-point arithmetic, MACIS, Berlin, November 2015.

Recent results in rounding error analysis, ICIAM, Beijing, August 2015.

Optimal bounds on relative errors in floating-point arithmetic, SCAN, Würzburg, September 2014.

Analyse d'algorithmes en arithmétique flottante IEEE, AriC, June 2013; Séminaire du département d'informatique de l'ENS de Lyon, December 2014.

Avantages et limites du modèle flottant standard, Congrès SMAI, Seignosse, May 2013.

On Kahan's algorithm for the accurate computation of 2 by 2 determinants, DALI seminar, Perpignan, April 2012 / AriC seminar, Lyon, May 2012 / Institute for Reliable Computing, Hamburg, September 2012.

Preconditioned algorithms for the exact solution of structured linear systems, NASC, Beijing, October 2010.

Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors, PASCO, Grenoble, July 2010.

Event (co-)organization


22nd IEEE Symposium on Computer Arithmetic (ARITH 22) - June 22-24, 2015, ENS de Lyon.

Tuesday work sessions of the AriC team - from October 2013 to July 2014, LIP, ENS de Lyon.

International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010) - September 27-30, 2010, ENS de Lyon.

3es Rencontres 'Arithmétique de l'Informatique Mathématique' (RAIM'09) - October 26-28, 2009, LIP, ENS de Lyon.

Journées Nationales de Calcul Formel (JNCF 2005) - November 21-25, 2005, CIRM, Luminy.

Séminaire du LIP 2003-2004 - from October 2003 to June 2004, LIP, ENS de Lyon.

5th Conference on Real Numbers and Computers (RNC'5) - September 3-5, 2003, LIP, ENS de Lyon.

Coordinates


Office: GN1 Sud 322
Postal Address: Laboratoire LIP, ENS de Lyon, 46 allée d'Italie, F69364 Lyon Cedex