A Correctly Rounded Mixed-Radix Fused-Multiply-Add. - Clothilde Jeangoudoux; Christoph Quirin Lauter (ARITH, 2018)

Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique. (Automatic test generation for numerical software in the context of aircraft certification). - Clothilde Jeangoudoux (2019)

Interval constraint-based mutation testing of numerical specifications. - Clothilde Jeangoudoux; Eva Darulova; Christoph Quirin Lauter (ISSTA, 2021)

A Two-Phase Approach for Conditional Floating-Point Verification. - Debasmita Lohar; Clothilde Jeangoudoux; Joshua Sobel; Eva Darulova; Maria Christakis (TACAS (2), 2021)

A parallel compensated Horner scheme for SIMD architecture. - Stef Graillat; Youness Ibrahimy; Clothilde Jeangoudoux; Christoph Quirin Lauter (ARITH, 2023)

Sound Mixed Fixed-Point Quantization of Neural Networks. - Debasmita Lohar; Clothilde Jeangoudoux; Anastasia Volkova; Eva Darulova (ACM Trans. Embed. Comput. Syst., 2023)