Christoph Quirin Lauter

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 14

Top Topics

Mathematical Functions

Polynomial Approximation

Top Venues

IEEE Trans. Computers

Publications

Martine Ceberio, Christoph Quirin Lauter, Vladik Kreinovich
Just-in-Accuracy: Mobile Approach to Uncertainty. J. Mobile Multimedia 20 (3) (2024)
Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter
A parallel compensated Horner scheme for SIMD architecture. ARITH (2023)
Sylvie Boldo, Christoph Quirin Lauter, Jean-Michel Muller
Emulating Round-to-Nearest Ties-to-Zero "Augmented" Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic. IEEE Trans. Computers 70 (7) (2021)
Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter
Interval constraint-based mutation testing of numerical specifications. ISSTA (2021)
Christoph Quirin Lauter, Anastasia Volkova
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning. CoRR (2020)
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters. IEEE Trans. Computers 69 (4) (2020)
Christoph Quirin Lauter, Anastasia Volkova
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning. ARITH (2020)
Nicolas Brunie, Christoph Quirin Lauter, Guillaume Revy
Precision Adaptation for Fast and Accurate Polynomial Evaluation Generation. ASAP (2019)
Clothilde Jeangoudoux, Christoph Quirin Lauter
A Correctly Rounded Mixed-Radix Fused-Multiply-Add. ARITH (2018)
Christoph Quirin Lauter
Rigorous Polynomial Approximation. ACSSC (2018)
Christoph Quirin Lauter
An efficient software implementation of correctly rounded operations extending FMA: A + b + c and a × b + c × d. ACSSC (2017)
Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire
Reliable Verification of Digital Implemented Filters Against Frequency Specifications. ARITH (2017)
Christoph Quirin Lauter
A new open-source SIMD vector libm fully implemented with high-level scalar C. ACSSC (2016)
Nicolas Brisebarre, Christoph Quirin Lauter, Marc Mezzarobba, Jean-Michel Muller
Comparison between Binary and Decimal Floating-Point Numbers. IEEE Trans. Computers 65 (7) (2016)
Nicolas Brunie, Florent de Dinechin, Olga Kupriianova, Christoph Quirin Lauter
Code Generators for Mathematical Functions. ARITH (2015)
Christoph Quirin Lauter
Easing development of precision-sensitive applications with a beyond-quad-precision library. ACSSC (2015)
Christoph Quirin Lauter, Marc Mezzarobba
Semi-Automatic Floating-Point Implementation of Special Functions. ARITH (2015)
Stef Graillat, Christoph Quirin Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin'ichi Oishi
-Vectors. ACM Trans. Math. Softw. 41 (4) (2015)
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision. ARITH (2015)
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure. ACSSC (2015)
Olga Kupriianova, Christoph Quirin Lauter
Metalibm: A Mathematical Functions Code Generator. ICMS (2014)
Olga Kupriianova, Christoph Quirin Lauter
Replacing Branches by Polynomials in Vectorizable Elementary Functions. SCAN (2014)
Olga Kupriianova, Christoph Quirin Lauter
A domain splitting algorithm for the mathematical functions code generator. ACSSC (2014)
Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller
Radix Conversion for IEEE754-2008 Mixed Radix Floating-Point Arithmetic. CoRR (2013)
Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Quirin Lauter
Comparison between Binary64 and Decimal64 Floating-Point Numbers. IEEE Symposium on Computer Arithmetic (2013)
Florent de Dinechin, Christoph Quirin Lauter, Jean-Michel Muller, Serge Torres
On Ziv's rounding test. ACM Trans. Math. Softw. 39 (4) (2013)
Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller
Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic. ACSSC (2013)
Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa. IEEE Trans. Computers 60 (2) (2011)
Sylvain Chevillard, J. Harrison, Mioara Joldes, Christoph Quirin Lauter
Efficient and accurate computation of upper bounds of approximation errors. Theor. Comput. Sci. 412 (16) (2011)
Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter
Sollya: An Environment for the Development of Numerical Codes. ICMS (2010)
Peter Kornerup, Christoph Quirin Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
Computing correctly rounded integer powers in floating-point arithmetic. ACM Trans. Math. Softw. 37 (1) (2010)
Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter
Certified and Fast Computation of Supremum Norms of Approximation Errors. IEEE Symposium on Computer Arithmetic (2009)
Christoph Quirin Lauter, Vincent Lefèvre
An Efficient Rounding Boundary Test for {rm pow}(x, y) in Double Precision. IEEE Trans. Computers 58 (2) (2009)
Florent de Dinechin, Christoph Quirin Lauter
Optimizing polynomials for floating-point implementation CoRR (2008)
Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
Certifying floating-point implementations using Gappa CoRR (2008)
Florent de Dinechin, Christoph Quirin Lauter, Jean-Michel Muller
Fast and correctly rounded logarithms in double-precision. RAIRO Theor. Informatics Appl. 41 (1) (2007)
Sylvain Chevillard, Christoph Quirin Lauter
A Certified Infinite Norm for the Implementation of Elementary Functions. QSIC (2007)
Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
Assisted verification of elementary functions using Gappa. SAC (2006)