Robin Morisset

Statistics

Publications

Citations

215

H-Index

Active since

2011

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Robin Morisset is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and compilers.

Publications per year

2011–2014

Publications

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty et al. · 2014 · 111 citations

Computing, Computer Science, Compilers +11

Compiler testing via a theory of sound optimisations in the C11/C++11 memory model

Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli · 2013 · 71 citations · Full text

Computing, Computer Engineering, Computer Science +12

Preliminary design of the SAFE platform

André DeHon, Ben Karel, Thomas F. Knight et al. · 2011 · 20 citations · Full text

Computing, Computer Science, Computer Systems +14

Compiler testing via a theory of sound optimisations in the C11/C++11 memory model

Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli · ACM SIGPLAN Notices · 2013 · 13 citations

Computing, Computer Engineering, Computer Science +12

1–4 of 4