LAUTER Christoph
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
2015
2003-2023 Publications
All
Journal articles
Communications
Thesis
Other publications
2023
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
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
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
2004
2003