Robin Morisset

Robin Morisset

Laboratoire d'Informatique de l'École polytechnique - Palaiseau / France
Others
AD Scientific Index ID: 4440689
Computer Science Laboratory of the École Polytechnique
person_outline Robin Morisset's MOST POPULAR ARTICLES
1-) Copilot: A hard real-time runtime monitorL Pike, A Goodloe, R Morisset, S NillerInternational Conference on Runtime Verification, 345-359, 20101712010
2-) Common compiler optimisations are invalid in the C11 memory model and what we can do about itV Vafeiadis, T Balabonski, S Chakraborty, R Morisset, F Zappa NardelliProceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 20151262015
3-) Compiler testing via a theory of sound optimisations in the C11/C++ 11 memory modelR Morisset, P Pawan, F Zappa NardelliACM SIGPLAN Notices 48 (6), 187-196, 2013702013
4-) Preliminary design of the SAFE platformA DeHon, B Karel, TF Knight Jr, G Malecha, B Montagu, R Morisset, ...Proceedings of the 6th Workshop on Programming Languages and Operating …, 2011262011
5-) Partially redundant fence elimination for x86, ARM, and Power processorsR Morisset, F Zappa NardelliProceedings of the 26th International Conference on Compiler Construction, 1-10, 2017122017