Luc Maranget
Researcher at Inria
Paris, Ile-de-France
Summary
🤩
RockstarLuc Maranget is a seasoned researcher and software engineer based in Paris with over 30 years of experience focused on programming languages and compilers. At Inria he works on core language implementation, contributing significant improvements to OCaml’s pattern-matching compiler—optimizing or-patterns, switch generation, and memory-safe variable binding handling. His work on the widely used ocaml/ocaml repository reflects deep expertise in back-end compiler design and practical runtime concerns. Known for blending formal reasoning with pragmatic engineering, he delivers robust compiler techniques that improve both correctness and performance. Colleagues value his ability to translate theoretical ideas into maintainable compiler code that serves a large open-source user base.
31 years of coding experience
Github Skills (6)
compiler-design10
pattern-matching10
ocaml10
compile9
compilation9
bytecode9
Programming languages (5)
Github contributions (5)
ocaml/ocaml
Oct 1999 - Feb 2022
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:30 reviews, 486 commits, 19 PRs in 22 years 8 months
Contributions summary:Luc contributed to the core OCaml system, primarily by modifying and improving the pattern-matching compiler. The commits focused on enhancing the handling of or-patterns, adding new compilation techniques and optimizing switch statements. The contributions also involved addressing issues related to variable bindings and memory management during pattern matching compilation.
functional-languagecompilersruntime-systemapllwt
maranget/hevea
Apr 1998 - Oct 2022
Hevea is a fast latex to html translator
Contributions:9 releases, 3 reviews, 1194 commits in 24 years 10 months
translatortranslationlatex
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.