Robin Morisset

发表

Partially redundant fence elimination for x86, ARM, and power processors

Francesco Zappa Nardelli, Robin Morisset, 2017, CC.

Copilot: A Hard Real-Time Runtime Monitor

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

New Results - Reasoning about C11 Program Transformations

Francesco Zappa Nardelli, Robin Morisset, 2015 .

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

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

From Rational Number Reconstruction to Set Reconciliation and File Synchronization

David Naccache, Fabrice Benhamouda, Antoine Amarilli, 2012, TGC.

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.

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

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.

Preliminary design of the SAFE platform

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