Laurent Thévenoux
Compiler Engineer at AdaCore
Grenoble, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolLaurent Thévenoux is a compiler engineer with eight years of experience building LLVM backends and working on language tooling, currently contributing to libadalang/langkit at AdaCore in Grenoble. He combines industrial compiler development at Kalray with academic research on IEEE 754 floating-point correctness and performance trade-offs from his doctoral and postdoc work. Laurent has a proven track record of source-to-source code synthesis to balance precision and speed, and practical experience porting research into a startup (Numalis). He also contributes to the OCaml/opam package ecosystem, demonstrating strong packaging and build-system expertise around numerical libraries like mlmpfr. Comfortable in OCaml and C, he brings a rare blend of low-level architecture insight (ARM) and formal numerical algorithm design that informs robust compiler backends.
8 years of coding experience
4 years of employment as a software developer
Licence, Informatique, Licence, Informatique at Université de Perpignan Via DomitiaBTS, Informatique et réseaux pour l'insdustrie et les services techniques, BTS, Informatique et réseaux pour l'insdustrie et les services techniques at Lycée Pablo Picasso (formerly konwn as Clos Banet)
English
Stackoverflow
3reputation
5kreached
0answers
1question
Github Skills (7)
mpfr10
packaging10
ocaml10
dune9
version-control9
macports6
macos6
Programming languages (7)
Github contributions (5)
ocaml/opam-repository
Nov 2017 - Dec 2022
Main public package repository for opam, the source package manager of OCaml.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 27 commits, 13 PRs in 5 years 1 month
Contributions summary:Laurent primarily contributes to the `opam-repository`, a package repository for OCaml, by adding and updating packages. Their work includes adding new releases of the `mlmpfr` package, which provides bindings for the GNU MPFR library. The contributions also involve fixing bugs, updating dependencies, adapting packages for new MPFR versions, and switching the package to the dune build system. Furthermore, the user demonstrates a strong understanding of packaging and versioning, as evidenced by their changes to accommodate various MPFR releases.
package-managerpackage-repositoryocamlopam
thvnx/langkit
Sep 2021 - Jul 2022
Language creation framework.
Contributions:135 pushes, 32 branches in 10 months
creation
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.