Denis Merigoux

Blog

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.

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.

Cretonne

J'ai contribué pendant l'été 2017 à Cretonne, 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 Cretonne IR.

Fiches

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