Christoph Quirin Lauter

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2021

Emulating Round-to-Nearest Ties-to-Zero "Augmented" Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic.

[BibT_eX]

[DOI]

Sylvie Boldo

IEEE Trans. Computers, 2021

Interval constraint-based mutation testing of numerical specifications.

[BibT_eX]

[DOI]

Clothilde Jeangoudoux

Eva Darulova

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2020

A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Symposium on Computer Arithmetic, 2020

2019

Precision Adaptation for Fast and Accurate Polynomial Evaluation Generation.

[BibT_eX]

[DOI]

Nicolas Brunie

Guillaume Revy

Proceedings of the 30th IEEE International Conference on Application-specific Systems, 2019

2018

A Correctly Rounded Mixed-Radix Fused-Multiply-Add.

[BibT_eX]

[DOI]

Clothilde Jeangoudoux

Proceedings of the 25th IEEE Symposium on Computer Arithmetic, 2018

Rigorous Polynomial Approximation.

[BibT_eX]

[DOI]

Proceedings of the 52nd Asilomar Conference on Signals, Systems, and Computers, 2018

2017

Reliable Verification of Digital Implemented Filters Against Frequency Specifications.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

An efficient software implementation of correctly rounded operations extending FMA: A + b + c and a × b + c × d.

[BibT_eX]

[DOI]

Proceedings of the 51st Asilomar Conference on Signals, Systems, and Computers, 2017

2016

Comparison between Binary and Decimal Floating-Point Numbers.

[BibT_eX]

[DOI]

Nicolas Brisebarre

Marc Mezzarobba

IEEE Trans. Computers, 2016

A new open-source SIMD vector libm fully implemented with high-level scalar C.

[BibT_eX]

[DOI]

Proceedings of the 50th Asilomar Conference on Signals, Systems and Computers, 2016

2015

Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors.

[BibT_eX]

[DOI]

Stef Graillat

Ping Tak Peter Tang

Naoya Yamanaka

Shin'ichi Oishi

ACM Trans. Math. Softw., 2015

Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Symposium on Computer Arithmetic, 2015

Semi-Automatic Floating-Point Implementation of Special Functions.

[BibT_eX]

[DOI]

Marc Mezzarobba

Proceedings of the 22nd IEEE Symposium on Computer Arithmetic, 2015

Code Generators for Mathematical Functions.

[BibT_eX]

[DOI]

Nicolas Brunie

Proceedings of the 22nd IEEE Symposium on Computer Arithmetic, 2015

Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure.

[BibT_eX]

[DOI]

Proceedings of the 49th Asilomar Conference on Signals, Systems and Computers, 2015

Easing development of precision-sensitive applications with a beyond-quad-precision library.

[BibT_eX]

[DOI]

Proceedings of the 49th Asilomar Conference on Signals, Systems and Computers, 2015

2014

Replacing Branches by Polynomials in Vectorizable Elementary Functions.

[BibT_eX]

[DOI]

Proceedings of the Scientific Computing, Computer Arithmetic, and Validated Numerics, 2014

Metalibm: A Mathematical Functions Code Generator.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2014, 2014

A domain splitting algorithm for the mathematical functions code generator.

[BibT_eX]

[DOI]

Proceedings of the 48th Asilomar Conference on Signals, Systems and Computers, 2014

2013

On Ziv's rounding test.

[BibT_eX]

[DOI]

Serge Torres

ACM Trans. Math. Softw., 2013

Comparison between Binary64 and Decimal64 Floating-Point Numbers.

[BibT_eX]

[DOI]

Nicolas Brisebarre

Marc Mezzarobba

Proceedings of the 21st IEEE Symposium on Computer Arithmetic, 2013

Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 2013 Asilomar Conference on Signals, 2013

2011

Efficient and accurate computation of upper bounds of approximation errors.

[BibT_eX]

[DOI]

J. Harrison

Mioara Joldes

Theor. Comput. Sci., 2011

Certifying the Floating-Point Implementation of an Elementary Function Using Gappa.

[BibT_eX]

[DOI]

Guillaume Melquiond

IEEE Trans. Computers, 2011

2010

Computing correctly rounded integer powers in floating-point arithmetic.

[BibT_eX]

[DOI]

Peter Kornerup

Vincent Lefèvre

Nicolas Louvet

ACM Trans. Math. Softw., 2010

Sollya: An Environment for the Development of Numerical Codes.

[BibT_eX]

[DOI]

Mioara Joldes

Proceedings of the Mathematical Software, 2010

2009

An Efficient Rounding Boundary Test for {rm pow}(x, y) in Double Precision.

[BibT_eX]

[DOI]

Vincent Lefèvre

IEEE Trans. Computers, 2009

Certified and Fast Computation of Supremum Norms of Approximation Errors.

[BibT_eX]

[DOI]

Mioara Joldes

Proceedings of the 19th IEEE Symposium on Computer Arithmetic, 2009

2008

Optimizing polynomials for floating-point implementation

[BibT_eX]

[DOI]

CoRR, 2008

Certifying floating-point implementations using Gappa

[BibT_eX]

[DOI]

Guillaume Melquiond

CoRR, 2008

2007

Fast and correctly rounded logarithms in double-precision.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2007

A Certified Infinite Norm for the Implementation of Elementary Functions.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006

Assisted verification of elementary functions using Gappa.

[BibT_eX]

[DOI]