| x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors P Sewell, S Sarkar, S Owens, FZ Nardelli, MO Myreen Communications of the ACM 53 (7), 89-97, 2010 | 424 | 2010 |
| CakeML: A Verified Implementation of ML R Kumar, MO Myreen, SA Owens, M Norrish ACM Symposium on Principles of Programming Languages (POPL) 2014, 0 | 298* | |
| The semantics of x86-CC multiprocessor machine code S Sarkar, P Sewell, FZ Nardelli, S Owens, T Ridge, T Braibant, ... ACM SIGPLAN Notices 44 (1), 379-391, 2009 | 173 | 2009 |
| A trustworthy monadic formalization of the ARMv7 instruction set architecture A Fox, MO Myreen International Conference on Interactive Theorem Proving, 243-258, 2010 | 161 | 2010 |
| Translation validation for a verified OS kernel TAL Sewell, MO Myreen, G Klein Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 133 | 2013 |
| The semantics of Power and ARM multiprocessor machine code J Alglave, A Fox, S Ishtiaq, MO Myreen, S Sarkar, P Sewell, FZ Nardelli Proceedings of the 4th workshop on Declarative aspects of multicore …, 2009 | 125 | 2009 |
| A new verified compiler backend for CakeML YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 77 | 2016 |
| Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan European Symposium on Programming, 589-615, 2016 | 76 | 2016 |
| Verified just-in-time compiler on x86 MO Myreen Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 72 | 2010 |
| Hoare logic for realistically modelled machine code MO Myreen, MJC Gordon International Conference on Tools and Algorithms for the Construction and …, 2007 | 70 | 2007 |
| Machine-code verification for multiple architectures-an application of decompilation into logic MO Myreen, MJC Gordon, K Slind 2008 Formal Methods in Computer-Aided Design, 1-8, 2008 | 64 | 2008 |
| Formal verification of machine-code programs MO Myreen British Computer Society, 2011 | 57 | 2011 |
| VeriPhy: verified controller executables from verified cyber-physical system models B Bohrer, YK Tan, S Mitsch, MO Myreen, A Platzer Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 52 | 2018 |
| Self-formalisation of higher-order logic R Kumar, R Arthan, MO Myreen, S Owens Journal of Automated Reasoning 56 (3), 221-259, 2016 | 51 | 2016 |
| Self-formalisation of higher-order logic R Kumar, R Arthan, MO Myreen, S Owens Journal of Automated Reasoning 56 (3), 221-259, 2016 | 51 | 2016 |
| Proof-producing translation of higher-order logic into pure and stateful ML MO Myreen, S Owens Journal of Functional Programming 24 (2-3), 284-315, 2014 | 47 | 2014 |
| Decompilation into logic—improved MO Myreen, MJC Gordon, K Slind 2012 Formal Methods in Computer-Aided Design (FMCAD), 78-81, 2012 | 41 | 2012 |
| HOL with Definitions: Semantics, Soundness, and a Verified Implementation R Kumar, R Arthan, MO Myreen, S Owens Interactive Theorem Proving: Fifth International Conference, ITP 2014, 2014 | 36 | 2014 |
| A verified runtime for a verified theorem prover MO Myreen, J Davis International Conference on Interactive Theorem Proving, 265-280, 2011 | 36 | 2011 |
| Hoare logic for ARM machine code MO Myreen, ACJ Fox, MJC Gordon International Conference on Fundamentals of Software Engineering, 272-286, 2007 | 35 | 2007 |
Scott OwensUniversity of KentGeverifieerd e-mailadres voor kent.ac.uk
