Copilot: A Hard Real-Time Runtime Monitor. - Lee Pike; Alwyn Goodloe; Robin Morisset; Sebastian Niller (RV, 2010)

Preliminary design of the SAFE platform. - André DeHon; Ben Karel; Thomas F. Knight Jr.; Gregory Malecha; Benoît Montagu; Robin Morisset; Greg Morrisett; Benjamin C. Pierce; Randy Pollack; Sumit Ray; Olin Shivers; Jonathan M. Smith; et al. (PLOS@SOSP, 2011)

From Rational Number Reconstruction to Set Reconciliation and File Synchronization. - Antoine Amarilli; Fabrice Ben Hamouda; Florian Bourse; Robin Morisset; David Naccache; Pablo Rauzy (TGC, 2012)

Compiler testing via a theory of sound optimisations in the C11/C++11 memory model. - Robin Morisset; Pankaj Pawan; Francesco Zappa Nardelli (PLDI, 2013)

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. - Viktor Vafeiadis; Thibaut Balabonski; Soham Chakraborty 001; Robin Morisset; Francesco Zappa Nardelli (POPL, 2015)

Partially redundant fence elimination for x86, ARM, and power processors. - Robin Morisset; Francesco Zappa Nardelli (CC, 2017)

Compiler optimisations and relaxed memory consistency models. (Optimisations des compilateurs et modèles mémoire relâchés). - Robin Morisset (2017)