Robin Morisset
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2010–2017
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CC | Partially redundant fence elimination for x86, ARM, and power processors. | Robin Morisset, Francesco Zappa Nardelli |
| 2015 | POPL | Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. | Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli |
| 2013 | PLDI | Compiler testing via a theory of sound optimisations in the C11/C++11 memory model. | Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli |
| 2011 | SOSP | Preliminary design of the SAFE platform. | Andr DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benot Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan |
| 2010 | RV | Copilot: A Hard Real-Time Runtime Monitor. | Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller |