| Romain Bardou et Claude Marché | Perle de preuve: les tableaux creux |
| Wadoud Bousdira, Frederic Loulergue et Louis Gesbert | Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML |
| Thomas Braibant | De coquets circuits |
| Jean-Christophe Filliatre et Kalyan Krishnamani | Functory : Une bibliothèque de calcul distribué pour Objective Caml |
| Frédéric Gava et Sovanna Tan | Implémentation et prédiction des performances de squelettes data-parallèles en utilisant un langage BSP de haut niveau |
| Pierre-Loic Garoche et Pierre Roux | Dessine moi un domaine abstrait fini -- une recette à base de Camlp4 et de solveurs SMT |
| Fabrice Le Fessant | Transformation de fonctions récursives en boucles dans ocamlpro |
| Louis Mandel et Florence Plateau | Typage des horloges périodiques en Lucy-n |
| Julien Signoles | Une bibliothèque de typage dynamique en OCaml |
| Benoit Vaugon, Philippe Wang et Emmanuel Chailloux | Les microcontrôleurs PIC programmés en Objective Caml |