Folgen
Robin Morisset
Robin Morisset
Meta
Bestätigte E-Mail-Adresse bei normalesup.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Copilot: a hard real-time runtime monitor
L Pike, A Goodloe, R Morisset, S Niller
International Conference on Runtime Verification, 345-359, 2010
1692010
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7