Research activity
- 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
Departure date : 10/01/2018
Three past PhD students (2015 - 2019) at Sorbonne University
- 2019
- JEANGOUDOUX Clothilde : Génération automatique de tests pour la certification de codes en aéronautique.
- 2017
- LOZANOVA VOLKOVA Anastasia : Algorithmique de l'implementation fiable de filtres numériques.
- 2015
- KUPRIIANOVA Olga : Vers l'environnement Flottant Moderne.
2003-2023 Publications
-
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, phd defence 05/22/2019 (2019)
-
2018
- C. Jeangoudoux, Ch. Lauter : “A Correctly Rounded Mixed-Radix Fused-Multiply-Add”, 2018 IEEE 25th 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”, 24th 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 : 17th 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”, 17th 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 50th 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 - 22nd 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 49th 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 49th 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 22nd 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 - 48th 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 16th 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. 4th 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”, 21st 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”, 19th 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
- 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)
- S. Chevillard, Ch. Lauter : “A certified infinite norm for the validation of numerical algorithms”, (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