Denis Merigoux Français / English

À propos

Je suis doctorant à l'Inria au sein de l'équipe Prosecco, sous la supervision de Karthikeyan Bhargavan et Jonathan Protzenko. Mon sujet de thèse porte sur la vérification déductive de programmes écrits dans le langage Rust.

Blog

Je tiens de manière plus ou moins régulière un blog pédagogique autour des langages de programmation et de leur implémentation, à destination de tous ceux qui programment sans savoir comment les choses marchent sous le capot.

Publications

Projets

Le compilateur Rust

Lors d'un deuxième stage à Mozilla en 2018, j'ai contribué à l'architecture du compilateur Rust. En lien avec mon précédent stage sur Cranelift, j'ai refactorisé le bout de la chaîne de compilation afin de pouvoir cibler plusieurs backends de génération de code machine, enlevant ainsi la dépendance dure du compilateur Rust à LLVM.

Cranelift

J'ai contribué pendant l'été 2017 à Cranelift, générateur de code machine écrit en Rust basé sur une représentation intermédiaire proche de WebAssembly. Plus particulièrement, j'ai écrit la traduction de WebAssembly vers Cranelift IR.

Spinfer

Coccinelle est un outil de refactoring sémantique de code C utilisé par la communauté du noyau Linux. Au printemps 2016, j'ai conçu un nouvel outil, Spinfer, analysant des commits de code et inférant des règles SmPL de transformation. Le fonctionnement de Spinfer est détaillé dans mon rapport de stage.

Fiches

Recueil de fiches de cours de Terminale S et de MPSI (ancien programme), pour les mathématiques et la physique.