Clothilde Jeangoudoux

Max Planck Institute for Software Systems (MPI-SWS).

Paul-Ehrlich Strasse, Building G 26

room 510, Kaiserslautern

I am currently in a Postdoctoral position in Computer Science at MPI-SWS in Kaiserslautern, Germany. Before that, I did my PhD with Stef Graillat and Christoph Lauter at UPMC in Paris, France and Safran Electronics & Defense.

My research area goes from reliable computer arithmetic and software testing, to numerically reliable neural networks. In my PhD thesis, I tackled the problem of automatic test generation of numerical software for aircraft certification.


Jul 14, 2021 I will pesent our paper, Interval Constraint-Based Mutation Testing of Numerical Specifications at FPTalks’21 and ISSTA 2021. A video recording of the talk is available here.
Mar 8, 2021 I’m on the PLDI’21 Artifact Evaluation Commity.

selected publications

  1. ISSTA
    Interval Constraint-Based Mutation Testing of Numerical Specifications
    Jeangoudoux, C., Darulova, E., and Lauter, C.
    In ISSTA 2021 — ACM SIGSOFT International Symposium on Software Testing and Analysis 2021
  2. TACAS
    A Two-Phase Approach for Conditional Floating-Point Verification
    Lohar, D., Jeangoudoux, C., Sobel, J., Darulova, E., and Christakis, M.
    In TACAS’21 — International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2021