Robin Morisset
Software Engineer at Meta
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolRobin Morisset is a software engineer with 11 years of experience combining deep programming languages research and practical systems work, currently improving the Erlang ecosystem on Meta's Compiler, Types, and Tooling team. He holds a PhD from École normale supérieure where he proved correctness of compiler optimizations under relaxed memory models and implemented LLVM passes, work that exposed subtle flaws in the C++11 memory model. At Apple he shipped changes to JavaScriptCore and represented Apple in the WebGPU shading language (WGSL) standardization, later contributing formally to the WGSL spec and uniformity analysis in the gpuweb repository. His open-source contributions include performance and correctness improvements to the core Erlang/OTP libraries and formal-spec-level edits to WGSL, reflecting a blend of runtime engineering and formal methods. Based in Paris, he focuses on compilers, language runtimes and formal verification, with a practical knack for turning theoretical proofs into production-quality compiler and runtime improvements.
11 years of coding experience
5 years of employment as a software developer
M.S., Computer Science, mention TB (= Summa Cum Laude), M.S., Computer Science, mention TB (= Summa Cum Laude) at Ecole normale supérieureMaths, Physics, Computer Science, Maths, Physics, Computer Science at Janson de SaillyB.S., Computer Science, B.S., Computer Science at École normale supérieure
French, English, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (12)
compiler-design10
lang10
erlang10
flow-control10
wgsl10
performance-optimization10
specification10
control-flow10
w3c9
standard-library9
concurrency9
gpu9
Programming languages (9)
Github contributions (5)
gpuweb/gpuweb
Nov 2021 - Feb 2022
Where the GPU for the Web work happens!
Role in this project:
Back-end Developer
Back-end DeveloperContributions:101 reviews, 28 commits, 16 PRs in 2 months
Contributions summary:Robin primarily contributed to the development and specification of the WGSL language, particularly focusing on the behavior and uniformity analysis within the compiler. They added a new section to the spec regarding the algorithm for establishing how control-flow can exit statements. Further contributions included updates to operator precedence rules, the correction of syntax, and improvements to the uniformity analysis, which included the formal definition of the analysis rules.
gpu-programminggpuwebgl2webgpugpgpu-computing
erlang/otp
Jul 2022 - Dec 2022
Erlang/OTP
Role in this project:Back-end Developer
Back-end DeveloperContributions:21 reviews, 5 commits, 14 PRs in 4 months
Contributions summary:Robin primarily contributed to the Erlang/OTP repository by enhancing and optimizing core library functions. Their work involved implementing new functions like `lookup_element/4` with default values and improving the performance of existing functions such as `ets:lookup_element`. The user also refactored code to avoid redundant operations and fixed bugs related to function calls and table lookups within the standard library, demonstrating a focus on improving the efficiency and stability of the Erlang ecosystem. These changes spanned multiple source files, including the core Erlang runtime, standard library modules and test suites.
gleamerlangbeamerlang-otpelixir
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.