Magnus O. Myreen
12 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification
Hrutvik Kanabar and others (2022) · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · Schloss Dagstuhl – Leibniz Center for Informatics
A Proof-Producing Translator for Verilog Development in HOL
Andreas Loow and others (2019) · 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) · IEEE
Verified compilation on a verified processor
Andreas Lööw and others (2019) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
The verified CakeML compiler backend
Yong Kiam Tan and others (2019) · Cambridge University Press (CUP)
Verified compilation of CakeML to multiple machine-code targets
Anthony C. J. Fox and others (2016)
CakeML: A Verified Implementation of ML
Ramana Kumar and others (2014) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Translation validation for a verified OS kernel
Thomas Arthur Leck Sewell and others (2013) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
Anthony C. J. Fox and others (2010) · Springer Berlin Heidelberg
Verified just-in-time compiler on x86
Magnus O. Myreen (2010) · ACM
x86-TSO: A rigorous and usable programmer's model for x86 multiprocessors
Peter Sewell and others (2010) · Communications of the ACM · Association for Computing Machinery (ACM)
The semantics of power and ARM multiprocessor machine code
Jade Alglave and others (2009)
The semantics of x86-CC multiprocessor machine code
Susmit Sarkar and others (2009) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)