Basile Clément

I am a recent PhD graduate in computer science from Inria, in the Cambium team. My advisors were Xavier Leroy and Albert Cohen.

I am currently employed by OCamlPro where I work on the Alt-Ergo SMT solver.

I am interested in program analysis, compiler optimizations, and programming language semantics. I believe programs should be correct, readable and efficient, and believe these goals can be achieved simultaneously.

I have written my dissertation on the translation-validation of tensor compilers, and been awarded my thesis on Septembre 9th, 2022.

In a previous life, I worked on computer vision at Apple; before that, I was a student at the École Normale Supérieure de Paris. I hold two Masters' degree, the MPRI in theoretical Computer Science and the MVA in Computer Vision and Machine Learning.

My resume is available here.

Publications

• End-to-End Translation Validation for the Halide Language
  Basile Clément, Albert Cohen (OOPSLA 2022)
• Tail Modulo Cons
  Frédéric Bour, Basile Clément, Gabriel Scherer, JFLA 2021

Contact

You can contact me by email at basile@clement.pm.