Follow
Robin Morisset
Robin Morisset
Meta
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
1682010
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
1442015
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
842013
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
262011
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
102017
Compiler optimisations and relaxed memory consistency models
R Morisset
Paris Sciences et Lettres (ComUE), 2017
22017
From Rational Number Reconstruction to Set Reconciliation and File Synchronization
A Amarilli, F Ben Hamouda, F Bourse, R Morisset, D Naccache, P Rauzy
International Symposium on Trustworthy Global Computing, 1-18, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–7