Statistics
Publications
29
Citations
1.9K
H-Index
20
Active since
2008
Magnus O. Myreen is an author at University of Cambridge specializing in computer science, computing, and deductive verification.
Publications per year
2008–2023
29
29
Peter Sewell, Susmit Sarkar, Scott Owens et al. · Communications of the ACM · 2010 · 457 citations
Ramana Kumar, Magnus O. Myreen, Michael Norrish et al. · 2014 · 320 citations
The semantics of x86-CC multiprocessor machine code
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli et al. · 2009 · 156 citations
Translation validation for a verified OS kernel
Thomas Sewell, Magnus O. Myreen, Gerwin Klein · 2013 · 134 citations
The semantics of power and ARM multiprocessor machine code
Jade Alglave, Anthony Fox, Samin Ishtiaq et al. · 2009 · 106 citations
1–5 of 29