Publications & pre-publications
- End-to-End Translation Validation for the Halide Language,
Basile Clément, Albert Cohen (Accepted for publication in OOPSLA 2022)
- Tail Modulo Cons
Frédéric Bour, Basile Clément, Gabriel Scherer, JFLA 2021
I am a PhD student in computer science at Inria, in the Cambium team. My advisors are Xavier Leroy and Albert Cohen.
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 am currently writing up my thesis on the translation-validation of multidimensional array languages.
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 Master's degree, the MPRI in theoretical Computer Science and the MVA in Computer Vision and Machine Learning.
My full CV is available here.
You can contact me by email at email@example.com.