LAUTER Christoph

Equipe : PEQUAN
Convidado por : Fabienne JÉZÉQUEL
Data de chegada : 03/11/2018
Data de partida : 31/08/2020
Localização : Campus Pierre et Marie Curie

Sorbonne Université - LIP6

Tel: +33 1 44 27 80 29, Christoph.Lauter (at) nulllip6.fr
http://www.christoph-lauter.org/

3 Doutores em PhD 2015 - 2019

Publicações 2006-2019

Toutes Jornais Artigos de Conferencia Tese

2019
- Ch. Lauter : “Beyond IEEE754 Floating-Point Arithmetic”, habilitação (livre docência), defesas 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, USA, (IEEE) (2018)
2017
- S. Graillat, C. Jeangoudoux, Ch. Lauter : “MPDI: A Decimal Multiple-Precision Interval Arithmetic Library”, Reliable Computing Journal, vol. 25, pp. 38-52 (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, USA (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)
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)
- S. Graillat, C. Jeangoudoux, Ch. Lauter : “A Decimal Multiple-Precision Interval Arithmetic Library”, 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, USA, pp. 407-411 (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)
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 : “Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure”, 49^th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, USA, 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, USA, pp. 742-746 (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)
- 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
- Olga A. 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, USA, 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”, 16^th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, pp. 60-61 (2014)
- Olga A. Kupriianova, Ch. Lauter : “Metalibm: A Mathematical Functions Code Generator”, 4^th International Congress on Mathematical Software (ICMS 2004), vol. 8592, Lecture Notes in Computer Science, Seoul, South Korea, pp. 713-717, (Springer), (ISBN: 978-3-662-44198-5) (2014)
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, (ISBN: 0098-3500) (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, USA, pp. 145-152 (2013)
- Olga A. 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, USA, pp. 1134-1138, (IEEE) (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, Russia (2012)
- Ch. Lauter, V. Ménissier‑Morain : “There’s no Reliable Computing without Reliable Access to Rounding Modes”, SCAN'2012, Novosibirsk, Russia, 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 (2011)
- Ch. Lauter, S. Chevillard, M. Joldes, J. Harrison : “Efficient and accurate computation of upper bounds of approximation errors”, Theoretical Computer Science, vol. 412 (16), pp. 1523-1543, (ISBN: 0304-3975) (2011)
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), New York, NY, USA, pp. 1-23, (ACM), (ISBN: 0098-3500) (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-Verlag), (ISBN: 978-3-642-15581-9) (2010)
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), Los Alamitos, CA, USA, pp. 197-207, (IEEE Computer Society) (2009)
- S. Chevillard, M. Joldes, Ch. Lauter : “Certified and Fast Computation of Supremum Norms of Approximation Errors”, Proceedings of the 2009 19^th IEEE Symposium on Computer Arithmetic, Washington, DC, USA, pp. 169-176, (IEEE), (ISBN: 978-0-7695-3670-5) (2009)
2008
- F. de Dinechin, Ch. Lauter : “Optimizing polynomials for floating-point implementation”, Proceedings of the 8^th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, pp. 7-16 (2008)
2007
- Ch. Lauter, J.‑M. Muller, F. de Dinechin : “Fast and correctly rounded logarithms in double-precision”, RAIRO - Theoretical Informatics and Applications, vol. 41, pp. 85-102, (ISBN: 0988-3754) (2007)
- S. Chevillard, Ch. Lauter : “A Certified Infinite Norm for the Implementation of Elementary Functions”, QSIC '07. Seventh International Conference on Quality Software, 2007., Portland, OR, USA (2007)
2006
- Ch. Lauter, G. Melquiond, F. de Dinechin : “Assisted verification of elementary functions using Gappa”, SAC 2006, 2006 ACM Symposium on Applied computing, Dijon, FranceNew York, NY, USA, pp. 1318-1322, (ACM) (2006)