Nombre de documents

32

CV de Christoph Lauter


Pré-publication, Document de travail7 documents

  • Stef Graillat, Clothilde Jeangoudoux, Christoph Lauter. MPDI: A Decimal Multiple-Precision Interval Arithmetic Library. 2017. <hal-01451162>
  • Anastasia Volkova, Christoph Lauter, Thibault Hilaire. Reliable verification of digital implemented filters against frequency specifications. 2017. <hal-01432000v3>
  • Olga Kupriianova, Christoph Lauter. A Domain Splitting Algorithm for the Mathematical Functions Code Generator. 2014. <hal-01118915>
  • Florent De Dinechin, Christoph Lauter. Optimizing polynomials for floating-point implementation. 12 pages. 2008. <ensl-00260563>
  • Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. Rapport de recherche LIP n° 2008-15. 23 pages. 2008. <ensl-00278430>
  • Christoph Lauter, Vincent Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision. 18 pages. 2007. <ensl-00169409v2>
  • Christoph Lauter. Exact and mid-point rounding cases of power(x,y). Research Report N° RR2006-46. 2006. <ensl-00117433>

Communication dans un congrès12 documents

  • Anastasia Volkova, Christoph Lauter, Thibault Hilaire. Computing the Worst-Case Peak Gain of Digital Filter in Interval Arithmetic. 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Sep 2016, Uppsala, Sweden. <hal-01347634>
  • Christoph Lauter, Marc Mezzarobba. Semi-Automatic Floating-Point Implementation of Special Functions. IEEE 22nd Symposium on Computer Arithmetic, ARITH 22, Jun 2015, Lyon, France. IEEE, pp.58-65, 2015, <10.1109/ARITH.2015.12>. <hal-01137953>
  • Anastasia Volkova, Thibault Hilaire, Christoph Lauter. Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure. 49th Asilomar Conference on Signals, Systems and Computers , Nov 2015, Pacific Grove, CA United States. IEEE, 2015 49th Asilomar Conference on Signals, Systems and Computers pp.737-741, 2015, <10.1109/ACSSC.2015.7421231>. <hal-01308403>
  • Anastasia Volkova, Thibault Hilaire, Christoph Lauter. Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision. ARITH 22 - 22nd IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France. IEEE, pp.96-103, <10.1109/ARITH.2015.14>. <hal-01083879v2>
  • Nicolas Brunie, Florent De Dinechin, Olga Kupriianova, Christoph Lauter. Code generators for mathematical functions. 22d IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France. 2015. <hal-01084726v2>
  • Olga Kupriianova, Christoph Lauter. Metalibm: A Mathematical Functions Code Generator. Hoon Hong, Chee Yap. 4th International Congress on Mathematical Software (ICMS 2004), Aug 2014, Seoul, South Korea. Springer, Mathematical Software – ICMS 2014. 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, 8592, pp.713-717, 2014, Lecture Notes in Computer Science. <10.1007/978-3-662-44199-2_106>. <hal-01513490>
  • Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Lauter. Comparison between binary64 and decimal64 floating-point numbers. Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. IEEE Computer Society, pp.145-152, 2013, <10.1109/ARITH.2013.23>. <ensl-00737881v4>
  • Christoph Lauter, Olga A. Kupriianova. The libieee754 compliance library for the IEEE 754-2008 standard. The 15’th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, 2012, Sep 2012, Novosibirsk, Russia. Proceedings of the 15’th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, 2012. <hal-01282272>
  • Christoph Lauter, Valérie Ménissier-Morain. There's no Reliable Computing without Reliable Access to Rounding Modes. SCAN'2012, Sep 2012, Novosibirsk, Russia. SCAN'2012, pp.99-100. <hal-01272417>
  • Sylvain Chevillard, Mioara Maria Joldes, Christoph Lauter. Sollya: an environment for the development of numerical codes. Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama. Third International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. Springer, 6327, pp.28 -- 31, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-15582-6_5>. <hal-00761644>
  • Sylvain Chevillard, Mioara Joldes, Christoph Lauter. Certified and fast computation of supremum norms of approximation errors. Javier D. Bruguera, Marius Cornea, Debjit DasSarma, John Harrison. 19th IEEE Symposium on Computer Arithmetic (ARITH 19), Jun 2009, Portland, United States. IEEE, pp.169 -- 176, 2009. <ensl-00334545>
  • Sylvain Chevillard, Christoph Lauter. A certified infinite norm for the implementation of elementary functions. Aditya Mathur, W. Eric Wong, M. F. Lau. Seventh International Conference on Quality Software, Oct 2007, Portland, United States. IEEE, pp.153 -- 160, 2007. <ensl-00119810v2>

Rapport5 documents

  • Christoph Quirin Lauter. Basic building blocks for a triple-double intermediate format. RR-5702, INRIA. 2005, pp.67. <inria-00070314>
  • Florent De Dinechin, Christoph Lauter, Guillaume Melquiond. Assisted verification of elementary functions. RR-5683, INRIA. 2005, pp.17. <inria-00070330>
  • Florent De Dinechin, Christoph Lauter, Jean-Michel Muller. Fast and correctly rounded logarithms in double-precision. RR-5682, INRIA. 2005, pp.15. <inria-00070331>
  • Florent De Dinechin, David Defour, Christoph Lauter. Fast correct rounding of elementary functions in double precision using double-extended arithmetic. [Research Report] RR-5137, INRIA. 2004. <inria-00071446>
  • Christoph Quirin Lauter. A correctly rounded implementationof the exponential function on the Intel Itanium architecture. RR-5024, INRIA. 2003. <inria-00071560>

Article dans une revue8 documents

  • Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller. Comparison between binary and decimal floating-point numbers. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (7), pp.2032-2044. <10.1109/TC.2015.2479602>. <hal-01021928v2>
  • Stef Graillat, Christoph Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin’ichi Oishi. Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2015, 41 (4), pp.24:1. <10.1145/2699469>. <hal-01511120>
  • Florent De Dinechin, Christoph Lauter, Jean-Michel Muller, Serge Torres. On Ziv's rounding test. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2013, 39 (4), pp.26. <ensl-00693317v2>
  • Sylvain Chevillard, John Harrison, Mioara Maria Joldes, Christoph Lauter. Efficient and accurate computation of upper bounds of approximation errors. Journal of Theoretical Computer Science (TCS), Elsevier, 2011, 412 (16), pp.1523-1543. <10.1016/j.tcs.2010.11.052>. <ensl-00445343v2>
  • Florent De Dinechin, Christoph Lauter, Guillaume Melquiond. Certifying the floating-point implementation of an elementary function using Gappa. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.242-253. <10.1109/TC.2010.128>. <ensl-00200830v2>
  • Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. <10.1145/1644001.1644005>. <inria-00388501>
  • Christoph Quirin Lauter, Vincent Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2009, 58 (2), pp.197-207. <10.1109/TC.2008.202>. <inria-00583988>
  • Jean-Michel Muller, Florent De Dinechin, Christoph Lauter. Fast and correctly rounded logarithms in double precision. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41 (1), pp.85-102. <10.1051/ita:2007003>. <ensl-00000007v2>