Robin Morisset

Statistics

Publications

Citations

211

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 formal methods, engineering, and system software.

Top concepts

EngineeringFormal MethodsSystem SoftwareFormal VerificationCompilersComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingComputer Engineering

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 · 109 citations

Mathematical Programming, C11 Memory Model, Engineering +24

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

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

Engineering, Compiler Technology, Computer Architecture +20

Preliminary design of the SAFE platform

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

Engineering, Secure Host Architecture, Information Security +22

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 · 12 citations

Engineering, Compiler Technology, Computer Architecture +20

1–4 of 4