Robin Morisset
Robin Morisset
Apple
Verified email at normalesup.org - Homepage
Title
Cited by
Cited by
Year
Copilot: A hard real-time runtime monitor
L Pike, A Goodloe, R Morisset, S Niller
International Conference on Runtime Verification, 345-359, 2010
1142010
Common compiler optimisations are invalid in the C11 memory model and what we can do about it
V Vafeiadis, T Balabonski, S Chakraborty, R Morisset, F Zappa Nardelli
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
942015
Compiler testing via a theory of sound optimisations in the C11/C++ 11 memory model
R Morisset, P Pawan, F Zappa Nardelli
ACM SIGPLAN Notices 48 (6), 187-196, 2013
542013
Preliminary design of the SAFE platform
A DeHon, B Karel, TF Knight Jr, G Malecha, B Montagu, R Morisset, ...
Proceedings of the 6th Workshop on Programming Languages and Operating …, 2011
282011
Partially redundant fence elimination for x86, ARM, and Power processors
R Morisset, F Zappa Nardelli
Proceedings of the 26th International Conference on Compiler Construction, 1-10, 2017
82017
Compiler optimisations and relaxed memory consistency models
R Morisset
PSL Research University, 2017
12017
From Rational Number Reconstruction to Set Reconciliation and File Synchronization
A Amarilli, FB Hamouda, F Bourse, R Morisset, D Naccache, P Rauzy
International Symposium on Trustworthy Global Computing, 1-18, 2012
2012
Preliminary design of the SAFE platform
B Montagu
The system can't perform the operation now. Try again later.
Articles 1–8