Clothilde Jeangoudoux

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Mutation Testing

Array Processor

Fast Fourier Transform

Top Venues

ACM Trans. Embed. Comput. Syst.

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter
A parallel compensated Horner scheme for SIMD architecture. ARITH (2023)
Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, Eva Darulova
Sound Mixed Fixed-Point Quantization of Neural Networks. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis
A Two-Phase Approach for Conditional Floating-Point Verification. TACAS (2) (2021)
Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter
Interval constraint-based mutation testing of numerical specifications. ISSTA (2021)
Clothilde Jeangoudoux, Christoph Quirin Lauter
A Correctly Rounded Mixed-Radix Fused-Multiply-Add. ARITH (2018)