Copilot: a hard real-time runtime monitor L Pike, A Goodloe, R Morisset, S Niller International Conference on Runtime Verification, 345-359, 2010 | 171 | 2010 |
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 | 146 | 2015 |
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 | 88 | 2013 |
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 | 26 | 2011 |
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 | 10 | 2017 |
Compiler optimisations and relaxed memory consistency models R Morisset Paris Sciences et Lettres (ComUE), 2017 | 2 | 2017 |
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 | 1 | 2012 |