Robin Morisset

According to our database, Robin Morisset authored at least 7 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

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

Robin Morisset

PhD thesis, 2017

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

Robin Morisset, Francesco Zappa Nardelli

Proceedings of the 26th International Conference on Compiler Construction, 2017

2015

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

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2013

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

Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

From Rational Number Reconstruction to Set Reconciliation and File Synchronization.

Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse, Robin Morisset, David Naccache, Pablo Rauzy

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

2011

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, Gregory Sullivan

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

2010

Copilot: A Hard Real-Time Runtime Monitor.

Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller

Proceedings of the Runtime Verification - First International Conference, 2010