Clothilde Jeangoudoux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2023
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2021 | TACAS | A Two-Phase Approach for Conditional Floating-Point Verification. | Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis |
| 2018 | ARITH | A Correctly Rounded Mixed-Radix Fused-Multiply-Add. | Clothilde Jeangoudoux, Christoph Quirin Lauter |