Section: Software and Platforms
Other software developments
In collaboration with François Pottier (Inria Gallium), Yann Régis-Gianas maintained Menhir, an LR parser generator for OCaml.
Yann Régis-Gianas started the development of the "Hacking Dojo", a web platform to automatically grade programming exercises.
In a different vein, Jaime Gaspar showed that is not always possible to get cross-references right in LaTeX by presenting a LaTeX file where a cross-reference is always wrong (no matter how many times we compile the file).