| 2025 | ACSSC | Intonation: Barely audible sounds that normies hallucinate. | Kevin Moreno, Natasha Rovelli, Christoph Quirin Lauter, Eric Freudenthal |
| 2025 | ACSSC | Semi-Automatic Compile-Time Math Intrinsic Optimization Using LLVM. | Kristalys Ruiz-Rohena, Christoph Quirin Lauter, Shirley V. Moore |
| 2025 | SC | Exploring Reduced Precision for Deep Learning Activation Functions. | Epifanio Sarinana, Christoph Quirin Lauter, Shirley Moore |
| 2024 | ACSSC | Machine Learning-Based Screening for Pediatric Hip Dysplasia: Towards a Validated Approach. | Mara L. Reyna Cruz, Ricardo Tabares, Martine Ceberio, Vladik Kreinovich, Christoph Quirin Lauter, Cecilia A. Mrquez Barraza |
| 2024 | ACSSC | Logarithmic Format for Quantization on Forward Passes with High Accuracy. | Kristalys Ruiz-Rohena, Mayra Robles, Johnatan Garcia, Martine Ceberio, Christoph Quirin Lauter |
| 2023 | ARITH | A parallel compensated Horner scheme for SIMD architecture. | Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter |
| 2021 | ISSTA | Interval constraint-based mutation testing of numerical specifications. | Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter |
| 2020 | ARITH | A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning. | Christoph Quirin Lauter, Anastasia Volkova |
| 2018 | ACSSC | Rigorous Polynomial Approximation. | Christoph Quirin Lauter |
| 2018 | ARITH | A Correctly Rounded Mixed-Radix Fused-Multiply-Add. | Clothilde Jeangoudoux, Christoph Quirin Lauter |
| 2017 | ACSSC | An efficient software implementation of correctly rounded operations extending FMA: A + b + c and a b + c d. | Christoph Quirin Lauter |
| 2017 | ARITH | Reliable Verification of Digital Implemented Filters Against Frequency Specifications. | Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire |
| 2016 | ACSSC | A new open-source SIMD vector libm fully implemented with high-level scalar C. | Christoph Quirin Lauter |
| 2015 | ACSSC | Easing development of precision-sensitive applications with a beyond-quad-precision library. | Christoph Quirin Lauter |
| 2015 | ACSSC | Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure. | Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter |
| 2015 | ARITH | Code Generators for Mathematical Functions. | Nicolas Brunie, Florent de Dinechin, Olga Kupriianova, Christoph Quirin Lauter |
| 2015 | ARITH | Semi-Automatic Floating-Point Implementation of Special Functions. | Christoph Quirin Lauter, Marc Mezzarobba |
| 2015 | ARITH | Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision. | Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter |
| 2014 | ACSSC | A domain splitting algorithm for the mathematical functions code generator. | Olga Kupriianova, Christoph Quirin Lauter |
| 2013 | ACSSC | Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic. | Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller |
| 2013 | ARITH | Comparison between Binary64 and Decimal64 Floating-Point Numbers. | Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Quirin Lauter |
| 2009 | ARITH | Certified and Fast Computation of Supremum Norms of Approximation Errors. | Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter |
| 2006 | SAC | Assisted verification of elementary functions using Gappa. | Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond |