Clothilde Jeangoudoux

According to our database, Clothilde Jeangoudoux authored at least 6 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Sound Mixed Fixed-Point Quantization of Neural Networks.

Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, Eva Darulova

ACM Trans. Embed. Comput. Syst., October, 2023

A parallel compensated Horner scheme for SIMD architecture.

Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter

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

2021

A Two-Phase Approach for Conditional Floating-Point Verification.

Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Interval constraint-based mutation testing of numerical specifications.

Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter

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

2019

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

PhD thesis, 2019

2018

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

Clothilde Jeangoudoux, Christoph Quirin Lauter

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