English version - Deutsche Version - Русская Версия

Christoph Quirin Lauter

Maître de conférences dans le projet PEQUAN au laboratoire LIP6 à l'Université Pierre et Marie Curie (UPMC).

Avant cela, ingénieur logiciel pour la compagnie Intel dans l'équipe Numerics.

Ancien doctorant sous la direction de Florent de Dinechin, dans le projet Arénaire, au LIP.

Marié, pas d'enfants.

Intérêts de recherche :

Ma thèse a porté sur l'arrondi correct des fonctions élémentaires, telles que exp(x), log(x), sin(x), asin(x), power(x,y), en double précision IEEE 754.

L'implémentation d'une fonction élémentaire doit affronter plusieurs difficultés de différentes natures:

• problématiques théoriques comme le dilemme du fabricant des tables,
• problèmes applicatifs de calcul et de preuve de bornes d'erreur d'approximation ou de tests de cas exacts,
• défis de certification de code flottant de quelques centaines de lignes ou bien
• difficultés d'implémentation efficace (automatisée) sur le matériel actuel.

J'ai participé au processus de la révision de la norme IEEE 754 qui régit le calcul flottant. Avec Florent de Dinechin et Jean-Michel Muller, j'ai proposé la reformulation du chapitre sur les fonctions élémentaires qui se trouve ici. Une autre remarque concernant le draft 1.6.0 du 10 janvier 2008 se trouve ici.

Partant du problème de savoir comment l'implantation et la certification d'une fonction mathématique peuvent être automatisées, je me suis intéressé à des algorithmes sûrs pour certains problèmes de haut niveau. Comme exemple, mentionnons le calcul de la norme infini d'une fonction composée. Ici, on comprend par calcul la minoration et surtout la majoration certifiée du supremum inconnue de la fonction. La fonction, elle-même, y est définie comme un arbre d'expression. Ses feuilles sont des fonctions de base ou des codes « boîtes noires ». Évidemment, l'évaluation multi-précision certifiée d'un tel arbre en un point ou un petit intervalle est un sous-problème important. Les questions d'adaption de précision pour garantir un arrondi fidèle multi-precision s'ensuivent également...

J'ai intégré ces algorithmes dans un outil logiciel d'aide au développement de fonctions élémentaires, Sollya. Sollya me sert en outre pour mon projet de générateur automatique d'implantations de fonctions mathématiques, Metalibm.

Court curriculum vitae :

• Né le 24 avril 1980 à Amberg, Allemagne
• Baccalauréat bavarois 1999, spécialisation en Mathématiques et Français.
• Début des études à la Technische Universität München en 2000
• Année Erasmus à la École Normale Supérieure de Lyon 2002
• Stage au sein de la Intel Numerics Group 2003
• Diplôme d'Informatique à la Technische Universität München 2005
• Thèse de doctorat au sein de l'équipe Arénaire à l'École Normale Supérieure de Lyon 2005-2008
• Ingénieur logiciel pour la compagnie Intel dans la Numerics Group 2008-2010

Publications :

Articles dans des revues internationales :

• Efficient and accurate computation of upper bounds of approximation errors, avec Sylvain Chevillard, John Harrison et Mioara Joldeş, dans Theoretical Computer Science, vol. 412, numéro 16, pages 1523-1543, 2011, Version finale; Version préliminaire dans le rapport de recherche 2010-2, LIP, École Normale Supérieure de Lyon, juillet 2010.
• Certifying the floating-point implementation of an elementary function using Gappa, avec Florent de Dinechin et Guillaume Melquiond, dans IEEE Transactions on Computers, vol. 60, numéro 2, pages 242-253, 2011, Version finale; Version préliminaire dans le rapport de recherche INRIA inria-00533968, novembre 2010.
• Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic, avec Jean-Michel Muller, Peter Kornerup, Vincent Lefèvre et Nicolas Louvet, dans ACM Transactions on Mathematical Software, vol. 37, numéro 1, article 4, janvier 2010, Version préliminaire dans le rapport de recherche 2008-15, LIP, École Normale Supérieure de Lyon, mai 2008.
• An efficient rounding boundary test for pow(x,y) in double precision, avec Vincent Lefèvre, dans IEEE Transactions on Computers, 2009, vol. 58, 2, pages 197-207, février 2009. Version préliminaire dans le rapport de recherche 2007-36, LIP, École Normale Supérieure de Lyon, août 2007.
• Fast and correctly rounded logarithms in double-precision, avec Florent de Dinechin et Jean-Michel Muller, dans RAIRO, Theoretical Informatics and Applications, 2007, vol. 41, pages 85-102, Version préliminaire dans le rapport de recherche 2005-37, LIP, École Normale Supérieure de Lyon, septembre 2005.

Articles à paraître dans des revues internationales :

Articles dans les actes de conférences internationales :

• Sollya: an environment for the development of numerical codes, avec Sylvain Chevillard et Mioara Joldeş, dans Proceedings of the Third international congress conference on Mathematical Software, ICMS'10, pages 28-31, Kobe, Japon, septembre 2010, LNCS, Springer, Version finale.
• Certified and fast computation of supremum norms of approximation errors, avec Sylvain Chevillard et Mioara Joldeş, dans Proceedings of the 19th IEEE Symposium on Computer Arithmetic, pages 169-176, Portland, Oregon, États-Unis, juillet 2009, Version préliminaire dans le rapport de recherche 2008-37, LIP, École Normale Supérieure de Lyon, octobre 2008.
• Optimizing polynomials for floating-point implementation, avec Florent de Dinechin, dans Proceedings of the 8th Conference on Real Numbers and Computers, pages 7-16, Santiago de Compostela, Espagne, juillet 2008, Version préliminaire dans le rapport de recherche 2008-11, LIP, École Normale Supérieure de Lyon, mars 2008.
• A certified infinite norm for the implementation of elementary functions, avec Sylvain Chevillard, dans Proceedings of the Seventh International Conference on Quality Software, pages 153-160, Portland, Oregon, États-Unis, octobre 2007, Version préliminaire et Version étendue dans le rapport de recherche 2007-26, LIP, École Normale Supérieure de Lyon, juin 2007.
• Assisted verification of elementary functions using Gappa, avec Florent de Dinechin et Guillaume Melquiond, dans Proceedings of the 21st Annual ACM Symposium on Applied Computing - MCMS Track, vol. 2, pages 1318-1322, Dijon, France, avril 2006, Version préliminaire et Version étendue dans le rapport de recherche N° 5683, INRIA, septembre 2005.

Rapports de recherche :

• Efficient and accurate computation of upper bounds of approximation errors, avec Sylvain Chevillard, John Harrison et Mioara Joldeş, Rapport de recherche 2010-2, LIP, CNRS/ENS Lyon/INRIA/Université de Lyon, INRIA, LORIA, projet CACAO et Intel Corporation, Hillsboro, Oregon, États-Unis, janvier 2010. Article soumis à Theoretical Computer Science; Special Issue on Symbolic and Numeric Computation, 2009.
• Certifying floating-point implementations using Gappa, avec Florent de Dinechin et Guillaume Melquiond, Rapport de recherche arXiv: 0801.0523, LIP, CNRS/ENS Lyon/INRIA/Université de Lyon, janvier 2008.
• Exact and mid-point rounding cases of power(x,y), Rapport de recherche 2006-46, LIP, École Normale Supérieure de Lyon, decembre 2006.
• Basic building blocks for a triple-double intermediate format, Rapport de recherche RR-5702, INRIA, septembre 2005.
• Fast correct rounding of elementary functions in double precision using double-extended arithmetic, avec Florent de Dinechin et David Defour, Rapport de recherche 2004-10, LIP, École Normale Supérieure de Lyon, mars 2004.
• A correctly rounded implementation of the exponential function on the Intel Itanium architecture, Rapport de recherche RR-5024, INRIA, decembre 2003.

Thèses et mémoires :

• Arrondi correct de fonctions mathématiques - Fonctions univariées et bivariées, certification et automatisation, Thèse de doctorat, École Normale Supérieure de Lyon, octobre 2008.
• Effective evaluation of correctly rounded elementary functions using triple-double intermediate representation, Thèse de diplôme, Technische Universität München, faculté d'Informatique, septembre 2005.
• Ressourcenmanagement über drahtgebundene und drahtlose LAN, Mémoire de projet de développement, Technische Universität München, chair pour les réseaux de communications, 2004.

Présentations et séminaires :

• De l'implantation de fonctions correctement arrondies aux bibliothèques LIBM IEEE 754-2008 clef en main, présentation pour le groupe de travail PEQUAN, Paris, France, février 2011, Transparents.
• L'implantation d'une fonction correctement arrondie, ou : CRLibm for dummies, présentation dans le cadre du projet ANR TaMaDi, Lyon, France, octobre 2010, Transparents.
• Sollya - a numerical software tool for the semi-automatic implementation of efficient correctly rounded mathematical functions, Présentation invitée à la conférence ACA 2008, Hagenberg, Autriche, juillet 2008, Résumé.
• Quand les boucles deviennent des polynômes ou l'implantation automatique de fonctions, présentation aux rencontres RAIM 2008, Lille, France, juin 2008, Transparents.
• Vers une implémentation automatique de fonctions libm, Présentation au cadre du projet EVA-Flo, Perpignan, France, octobre 2007, Transparents.
• Advancements in (cr)libm development, Présentation pour Intel Portland, Portland, Orgeon, États-Unis, octobre 2007, Transparents.
• Towards automatic generation of elementary functions, Présentation pour l'équipe russe de l'Intel Numerics Group, Nizhny Novgorod, Russie, août 2007, Transparents.
• Automatisation du contrôle de précision et de la preuve pour les formats double-double et triple-double, Séminaire de l'équipe CACAO, LORIA, Nancy, France, janvier 2007, Résumé.
• A Survey of Multiple-Precision Using Floating-Point Arithmetic, Fourth International Workshop on Taylor Methods, Boca Raton, Floride, États-Unis, decembre 2006, Résumé, Transparents.
• Certified infinite norm using interval arithmetic, avec Sylvain Chevillard, 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, Duisburg, Allemagne, septembre 2006, Résumé.
• Normes infinies certifiées par l'arithmétique d'intervalles, Journées Nationales d'Arithmétique des Ordinateurs 2006, mai-juin 2006, Transparents.
• Correctly rounding elementary functions using triple-double intermediate representation, Journées Arinews, Perpignan, France, novembre 2005, Transparents.

Divers :

• Users' manual for the Sollya tool, Release 3.0, avec Sylvain Chevillard et Mioara Joldeş, Manuel d'utilisation.

Logiciels libres développés :

• CR-LIBM, avec Florent de Dinechin, David Defour et d'autres: une bibliothèque de fonctions élémentaires correctement arrondies en double précision
• Sollya, avec Sylvain Chevillard: un outil de manipulation de données pour l'implémentation automatisée de fonctions élémentaires. Une documentation se trouve ici.
• Metalibm: un outil pour l'implantation automatique de fonctions mathématiques (libm).

Enseignements :

• TDs de Parallel Numerics, Master Computer Science in Engineering, Technische Universität München
• TDs de Compilation, cours de Master, ENS Lyon
• TDs de Réécriture, cours de Licence, ENS Lyon
• TDs d'Algorithmes pour l'arithmétique 2007, cours de Master, ENS Lyon
• TDs d'Architecture, Systèmes, Réseaux, cours de Licence, ENS Lyon
• TDs d'Algorithmes pour l'arithmétique 2008, cours de Master, ENS Lyon
• TDs/TMEs d'Initiation à l'automatisation des tâches (LI218), cours de Licence 2, UPMC Paris 6
• TDs/TMEs d'Introduction à la programmation impérative en C (LI115), cours de Licence 2, UPMC Paris 6
• Projet en TP du cours "Recherche opérationnelle et optimisation", cours de Master 2, UPMC Paris 6
• TDs/TPs de Parallélisme, cours ELI4, École Polytechnique, UPMC Paris 6

Pour me contacter :

Dernière mise à jour : 26/05/2011.