Christoph Quirin Lauter

43 papers A 1C 9Misc 8Journal 15Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Exploring Reduced Precision for Deep Learning Activation Functions.
SC Workshops
Epifanio Sarinana, Christoph Quirin Lauter, Shirley Moore
2025 — conf
Intonation: Barely audible sounds that normies hallucinate.
IEEECONF
Kevin Moreno, Natasha Rovelli, Christoph Quirin Lauter, Eric Freudenthal
2025 — conf
Semi-Automatic Compile-Time Math Intrinsic Optimization Using LLVM.
IEEECONF
Kristalys Ruiz-Rohena, Christoph Quirin Lauter, Shirley V. Moore
2024 J jnl
Just-in-Accuracy: Mobile Approach to Uncertainty.
J. Mobile Multimedia
Martine Ceberio, Christoph Quirin Lauter, Vladik Kreinovich
2024 — conf
Logarithmic Format for Quantization on Forward Passes with High Accuracy.
IEEECONF
Kristalys Ruiz-Rohena, Mayra Robles, Johnatan Garcia, Martine Ceberio, Christoph Quirin Lauter
2024 — conf
Machine Learning-Based Screening for Pediatric Hip Dysplasia: Towards a Validated Approach.
IEEECONF
María L. Reyna Cruz, Ricardo Tabares, Martine Ceberio, Vladik Kreinovich, Christoph Quirin Lauter, Cecilia A. Márquez Barraza
2023 C conf
A parallel compensated Horner scheme for SIMD architecture.
ARITH
Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter
2021 J jnl
Emulating Round-to-Nearest Ties-to-Zero "Augmented" Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic.
IEEE Trans. Computers
Sylvie Boldo, Christoph Quirin Lauter, Jean-Michel Muller
2021 A conf
Interval constraint-based mutation testing of numerical specifications.
ISSTA
Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter
2020 C conf
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning.
ARITH
Christoph Quirin Lauter, Anastasia Volkova
2020 J jnl
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning.
CoRR
Christoph Quirin Lauter, Anastasia Volkova
2020 J jnl
Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters.
IEEE Trans. Computers
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
2019 — conf
Precision Adaptation for Fast and Accurate Polynomial Evaluation Generation.
ASAP
Nicolas Brunie, Christoph Quirin Lauter, Guillaume Revy
2018 C conf
A Correctly Rounded Mixed-Radix Fused-Multiply-Add.
ARITH
Clothilde Jeangoudoux, Christoph Quirin Lauter
2018 Misc conf
Rigorous Polynomial Approximation.
ACSSC
Christoph Quirin Lauter
2017 Misc conf
An efficient software implementation of correctly rounded operations extending FMA: A + b + c and a × b + c × d.
ACSSC
Christoph Quirin Lauter
2017 C conf
Reliable Verification of Digital Implemented Filters Against Frequency Specifications.
ARITH
Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire
2016 Misc conf
A new open-source SIMD vector libm fully implemented with high-level scalar C.
ACSSC
Christoph Quirin Lauter
2016 J jnl
Comparison between Binary and Decimal Floating-Point Numbers.
IEEE Trans. Computers
Nicolas Brisebarre, Christoph Quirin Lauter, Marc Mezzarobba, Jean-Michel Muller
2015 C conf
Code Generators for Mathematical Functions.
ARITH
Nicolas Brunie, Florent de Dinechin, Olga Kupriianova, Christoph Quirin Lauter
2015 Misc conf
Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure.
ACSSC
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
2015 Misc conf
Easing development of precision-sensitive applications with a beyond-quad-precision library.
ACSSC
Christoph Quirin Lauter
2015 J jnl
Efficient Calculations of Faithfully Rounded
ACM Trans. Math. Softw.
Stef Graillat, Christoph Quirin Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin'ichi Oishi
2015 C conf
Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision.
ARITH
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
2015 C conf
Semi-Automatic Floating-Point Implementation of Special Functions.
ARITH
Christoph Quirin Lauter, Marc Mezzarobba
2014 Misc conf
A domain splitting algorithm for the mathematical functions code generator.
ACSSC
Olga Kupriianova, Christoph Quirin Lauter
2014 — conf
Metalibm: A Mathematical Functions Code Generator.
ICMS
Olga Kupriianova, Christoph Quirin Lauter
2014 — conf
Replacing Branches by Polynomials in Vectorizable Elementary Functions.
SCAN
Olga Kupriianova, Christoph Quirin Lauter
2013 C conf
Comparison between Binary64 and Decimal64 Floating-Point Numbers.
IEEE Symposium on Computer Arithmetic
Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Quirin Lauter
2013 J jnl
On Ziv's rounding test.
ACM Trans. Math. Softw.
Florent de Dinechin, Christoph Quirin Lauter, Jean-Michel Muller, Serge Torres
2013 J jnl
Radix Conversion for IEEE754-2008 Mixed Radix Floating-Point Arithmetic.
CoRR
Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller
2013 Misc conf
Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic.
ACSSC
Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller
2011 J jnl
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa.
IEEE Trans. Computers
Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
2011 J jnl
Efficient and accurate computation of upper bounds of approximation errors.
Theor. Comput. Sci.
Sylvain Chevillard, J. Harrison, Mioara Joldes, Christoph Quirin Lauter
2010 J jnl
Computing correctly rounded integer powers in floating-point arithmetic.
ACM Trans. Math. Softw.
Peter Kornerup, Christoph Quirin Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
2010 — conf
Sollya: An Environment for the Development of Numerical Codes.
ICMS
Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter
2009 J jnl
An Efficient Rounding Boundary Test for {rm pow}(x, y) in Double Precision.
IEEE Trans. Computers
Christoph Quirin Lauter, Vincent Lefèvre
2009 C conf
Certified and Fast Computation of Supremum Norms of Approximation Errors.
IEEE Symposium on Computer Arithmetic
Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter
2008 J jnl
Certifying floating-point implementations using Gappa
CoRR
Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
2008 J jnl
Optimizing polynomials for floating-point implementation
CoRR
Florent de Dinechin, Christoph Quirin Lauter
2007 — conf
A Certified Infinite Norm for the Implementation of Elementary Functions.
QSIC
Sylvain Chevillard, Christoph Quirin Lauter
2007 J jnl
Fast and correctly rounded logarithms in double-precision.
RAIRO Theor. Informatics Appl.
Florent de Dinechin, Christoph Quirin Lauter, Jean-Michel Muller
2006 Misc conf
Assisted verification of elementary functions using Gappa.
SAC
Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond