Robin Morisset

Preliminary design of the SAFE platform

Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2011, PLOS '11.

Compiler optimisations and relaxed memory consistency models

Robin Morisset, 2017 .

Compiler testing via a theory of sound optimisations in the C11/C++11 memory model

Francesco Zappa Nardelli, Robin Morisset, Pankaj Pawan, 2013, PLDI.

Copilot: A Hard Real-Time Runtime Monitor

Alwyn E. Goodloe, Lee Pike, Alwyn Goodloe, 2010, RV.

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

Viktor Vafeiadis, Francesco Zappa Nardelli, Soham Sundar Chakraborty, 2015, POPL.