Robin Morisset

201120122013201420152016201720182019202020212022202320248 11 13 20 45 41 34 47 40 44 41 48 39 38

Francesco Zappa NardelliFacebookVerified email at fb.com
Lee PikeAWS Automated ReasoningVerified email at amazon.com
Alwyn GoodloeResearch Computer Engineer, NASAVerified email at nasa.gov
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Soham Sundar ChakrabortyTU DelftVerified email at tudelft.nl
Benoit MontaguInriaVerified email at inria.fr
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Gregory MalechaBedRock Systems, IncVerified email at bedrocksystems.com
Andre DeHonUniversity of PennsylvaniaVerified email at acm.org
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Greg SullivanDover MicrosystemsVerified email at sulliwood.org
Olin ShiversNortheastern UniversityVerified email at ccs.neu.edu
Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Florian BourseProfesseur agrégéVerified email at ens.fr
David NaccacheENS (Equipe Securité) & visiting RHUL (ISG)Verified email at ens.fr
Antoine AmarilliI don't endorse Scholar, and just use it for recommendations and alerts. Please ignore this profile.Verified email at a3nm.net

Robin Morisset

Meta

Verified email at normalesup.org - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Copilot: A hard real-time runtime monitor L Pike, A Goodloe, R Morisset, S Niller International Conference on Runtime Verification, 345-359, 2010	177	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	158	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	98	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	12	2017
Compiler optimisations and relaxed memory consistency models R Morisset Université Paris sciences et lettres, 2017	3	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	2	2012

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year