Robin Morisset

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Computational Power

Top Venues

PSL Research University, Paris, France (PHD)

Education History

PSL Research University, Paris, France

PHD

Publications

Robin Morisset, Francesco Zappa Nardelli
Partially redundant fence elimination for x86, ARM, and power processors. CC (2017)
Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. POPL (2015)
Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli
Compiler testing via a theory of sound optimisations in the C11/C++11 memory model. PLDI (2013)
Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse, Robin Morisset, David Naccache, Pablo Rauzy
From Rational Number Reconstruction to Set Reconciliation and File Synchronization. TGC (2012)
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, Gregory Sullivan
Preliminary design of the SAFE platform. PLOS@SOSP (2011)
Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller
Copilot: A Hard Real-Time Runtime Monitor. RV (2010)