Activité de recherche

• Algorithmes et opérateurs (transcendents) pour le calcul certifié en virgule flottante
  • Fonctions élémentaires correctement arrondies : participation au projet ANR TaMaDi, futur co- encadrant d'une thèse
  • Bibliothèques de compatibilité avec la norme internationale IEEE 754-2008 (entre autres : encadrement d'un stage)
  • Aspects logiciels et système du calcul rigoureux en virgule flottante (avec V. Ménissier-Morain)
  • Opérateurs spéciaux multiprécision validés et certifiés : normes sup validées rapides
• Arithmétique d'intervalle et adaptation de la précision de calcul automatique
  • Développement de la suite de calcul numérique validé Sollya
• Génération automatique de codes en virgule flottante avec gestion de la précision de calcul
  • Développement de l'algorithmique haut-niveau pour la génération de bibliothèques mathématiques libm

3 Docteurs 2015 - 2019

Publications 2003-2023

• 2023
  • S. Graillat, Y. Ibrahimy, C. Jeangoudoux, Ch. Lauter : “A parallel compensated Horner scheme for SIMD architecture”, (2023)
• 2021
  • S. Boldo, Ch. Lauter, J.‑M. Muller : “Emulating round-to-nearest ties-to-zero "augmented" floating-point operations using round-to-nearest ties-to-even arithmetic”, IEEE Transactions on Computers, vol. 70 (7), pp. 1046-1058, (Institute of Electrical and Electronics Engineers) (2021)
• 2020
  • Ch. Lauter, A. Volkova : “A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning”, IEEE Symposium on Computer Arithmetic (ARITH), Portland, United States (2020)
  • A. Volkova, Th. Hilaire, Ch. Lauter : “Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters”, IEEE Transactions on Computers, vol. 69 (4), pp. 489-504, (Institute of Electrical and Electronics Engineers) (2020)
• 2019
  • Ch. Lauter : “Beyond IEEE754 Floating-Point Arithmetic”, habilitation à diriger des recherches, soutenance 22/05/2019 (2019)
• 2018
  • C. Jeangoudoux, Ch. Lauter : “A Correctly Rounded Mixed-Radix Fused-Multiply-Add”, 2018 IEEE 25^th Symposium on Computer Arithmetic (ARITH), Amherst, MA, United States, (IEEE) (2018)
• 2017
  • A. Volkova, Ch. Lauter, Th. Hilaire : “Reliable verification of digital implemented filters against frequency specifications”, 24^th IEEE Symposium on Computer Arithmetic (ARITH 24), London, United Kingdom (2017)
  • S. Graillat, Y. Ibrahimy, C. Jeangoudoux, Ch. Lauter : “A Parallel Compensated Horner Scheme”, CSE 2017, SIAM Conference on Computational Science and Engineering (CSE), Atlanta, United States (2017)
  • S. Graillat, C. Jeangoudoux, Ch. Lauter : “MPDI: A Decimal Multiple-Precision Interval Arithmetic Library”, Reliable Computing Journal, vol. 25, Volume 25 (Special volume containing refereed papers from SCAN 2016), pp. 38-52 (2017)
• 2016
  • S. Graillat, C. Jeangoudoux, Ch. Lauter : “A Decimal Multiple-Precision Interval Arithmetic Library”, book of abstracts : 17^th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics., Uppsala, Sweden (2016)
  • A. Volkova, Ch. Lauter, Th. Hilaire : “Computing the Worst-Case Peak Gain of Digital Filter in Interval Arithmetic”, 17^th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics., Uppsala, Sweden (2016)
  • Ch. Lauter : “A new open-source SIMD vector libm fully implemented with high-level scalar C”, 2016 50^th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, United States, pp. 407-411 (2016)
  • N. Brisebarre, Ch. Lauter, M. Mezzarobba, J.‑M. Muller : “Comparison between binary and decimal floating-point numbers”, IEEE Transactions on Computers, vol. 65 (7), pp. 2032–2044, (Institute of Electrical and Electronics Engineers) (2016)
• 2015
  • S. Graillat, Ch. Lauter, P. Peter Tang, N. Yamanaka, Sh. Oishi : “Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors”, ACM Transactions on Mathematical Software, vol. 41 (4), pp. 24:1, (Association for Computing Machinery) (2015)
  • N. Brunie, F. De Dinechin, O. Kupriianova, Ch. Lauter : “Code generators for mathematical functions”, 22d IEEE Symposium on Computer Arithmetic, Lyon, France (2015)
  • A. Volkova, Th. Hilaire, Ch. Lauter : “Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision”, ARITH 22 - 22^nd IEEE Symposium on Computer Arithmetic, Lyon, France, pp. 96-103, (IEEE) (2015)
  • A. Volkova, Th. Hilaire, Ch. Lauter : “Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure”, 2015 49^th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, United States, pp. 737-741, (IEEE) (2015)
  • Ch. Lauter : “Easing development of precision-sensitive applications with a beyond-quad-precision library”, 2015 49^th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, United States, pp. 742-746 (2015)
  • Ch. Lauter, M. Mezzarobba : “Semi-Automatic Floating-Point Implementation of Special Functions”, IEEE 22^nd Symposium on Computer Arithmetic, ARITH 22, Lyon, France, pp. 58-65, (IEEE) (2015)
• 2014
  • O. Kupriianova, Ch. Lauter : “A Domain Splitting Algorithm for the Mathematical Functions Code Generator”, ACSSC 2014 - 48^th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, United States, pp. 1271-1275, (IEEE) (2014)
  • S. Graillat, Ch. Lauter, P. Peter Tang, N. Yamanaka, Sh. Oishi : “A method of calculating faithful rounding of l2-norm for n-vectors”, Proceedings of the 16^th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, pp. 60-61 (2014)
  • O. Kupriianova, Ch. Lauter : “Metalibm: A Mathematical Functions Code Generator”, Mathematical Software – ICMS 2014. 4^th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, vol. 8592, Lecture Notes in Computer Science, Seoul, Korea, Republic of, pp. 713-717, (Springer) (2014)
• 2013
  • N. Brisebarre, M. Mezzarobba, J.‑M. Muller, Ch. Lauter : “Comparison between binary64 and decimal64 floating-point numbers”, 21^st IEEE Symposium on Computer Arithmetic, Austin, TX, United States, pp. 145-152, (IEEE Computer Society) (2013)
  • O. Kupriianova, Ch. Lauter, J.‑M. Muller : “Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic”, 2013 Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, United States, pp. 1134-1138 (2013)
  • F. De Dinechin, Ch. Lauter, J.‑M. Muller, S. Torres : “On Ziv’s rounding test”, ACM Transactions on Mathematical Software, vol. 39 (4), pp. 26, (Association for Computing Machinery) (2013)
• 2012
  • Ch. Lauter, Olga A. Kupriianova : “The libieee754 compliance library for the IEEE 754-2008 standard”, Proceedings of the 15’th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, 2012, Novosibirsk, Russian Federation (2012)
  • Ch. Lauter, V. Ménissier‑Morain : “There’s no Reliable Computing without Reliable Access to Rounding Modes”, SCAN'2012, Novosibirsk, Russian Federation, pp. 99-100 (2012)
• 2011
  • F. De Dinechin, Ch. Lauter, G. Melquiond : “Certifying the floating-point implementation of an elementary function using Gappa”, IEEE Transactions on Computers, vol. 60 (2), pp. 242-253, (Institute of Electrical and Electronics Engineers) (2011)
  • S. Chevillard, J. Harrison, M. Joldes, Ch. Lauter : “Efficient and accurate computation of upper bounds of approximation errors”, Theoretical Computer Science, vol. 412 (16), pp. 1523-1543, (Elsevier) (2011)
• 2010
  • S. Chevillard, M. Joldes, Ch. Lauter : “Sollya: an environment for the development of numerical codes”, Third International Congress on Mathematical Software - ICMS 2010, vol. 6327, Lecture Notes in Computer Science, Kobe, Japan, pp. 28-31, (Springer) (2010)
  • P. Kornerup, Ch. Lauter, V. Lefèvre, N. Louvet, J.‑M. Muller : “Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic”, ACM Transactions on Mathematical Software, vol. 37 (1), pp. 4:1-4:23, (Association for Computing Machinery) (2010)
• 2009
  • S. Chevillard, M. Joldes, Ch. Lauter : “Certified and fast computation of supremum norms of approximation errors”, 19^th IEEE Symposium on Computer Arithmetic (ARITH 19), Portland, United States, pp. 169-176, (IEEE) (2009)
  • Ch. Lauter, V. Lefèvre : “An efficient rounding boundary test for pow(x,y) in double precision”, IEEE Transactions on Computers, vol. 58 (2), pp. 197-207, (Institute of Electrical and Electronics Engineers) (2009)
• 2008
  • J.‑M. Muller, P. Kornerup, Ch. Lauter, V. Lefèvre, N. Louvet : “Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic”, (2008)
  • F. De Dinechin, Ch. Lauter : “Optimizing polynomials for floating-point implementation”, (2008)
• 2007
  • S. Chevillard, Ch. Lauter : “A certified infinite norm for the implementation of elementary functions”, QSIC 2007 - Proceedings of the seventh international conference on Quality Software, Portland, United States, pp. 153-160, (IEEE) (2007)
  • Ch. Lauter, V. Lefèvre : “An efficient rounding boundary test for pow(x,y) in double precision”, (2007)
  • J.‑M. Muller, F. De Dinechin, Ch. Lauter : “Fast and correctly rounded logarithms in double precision”, RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), vol. 41 (1), pp. 85-102, (EDP Sciences) (2007)
• 2006
  • Ch. Lauter : “Exact and mid-point rounding cases of power(x,y)”, (2006)
  • C. Daramy‑Loirat, D. Defour, F. De Dinechin, M. Gallet, N. Gast, Ch. Lauter, J.‑M. Muller : “CR-LIBM A library of correctly rounded elementary functions in double-precision”, (2006)
• 2005
  • F. De Dinechin, Ch. Lauter, G. Melquiond : “Assisted verification of elementary functions”, 17 pages (2005)
  • Ch. Lauter : “Basic building blocks for a triple-double intermediate format”, 67 pages (2005)
  • F. De Dinechin, Ch. Lauter, J.‑M. Muller : “Fast and correctly rounded logarithms in double-precision”, 15 pages (2005)
• 2004
  • F. De Dinechin, D. Defour, Ch. Lauter : “Fast correct rounding of elementary functions in double precision using double-extended arithmetic”, (2004)
• 2003
  • Ch. Lauter : “A correctly rounded implementationof the exponential function on the Intel Itanium architecture”, (2003)