Concepedia

Magnus O. Myreen

MO

Statistics

Publications

29

Citations

1.9K

H-Index

19

Active since

2008

Affiliations

University of Cambridge(Current)

Chalmers University of Technology

Carnegie Mellon University

University of Kent

Magnus O. Myreen is an author at University of Cambridge specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationVerificationSoftware AnalysisComputer EngineeringSoftware VerificationSystem Software

Publications per year

2008–2023

29

Publications

29

x86-TSO

Peter Sewell, Susmit Sarkar, Scott Owens et al. · Communications of the ACM · 2010 · 445 citations

Engineering, Program Analysis, Concurrent Programming +15

Ramana Kumar, Magnus O. Myreen, Michael Norrish et al. · 2014 · 313 citations

Program Checking, Engineering, Compiler Technology +18

The semantics of x86-CC multiprocessor machine code

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli et al. · 2009 · 154 citations · Full text

Real Multiprocessors, Engineering, Computer Architecture +18

Translation validation for a verified OS kernel

Thomas Sewell, Magnus O. Myreen, Gerwin Klein · 2013 · 133 citations

Engineering, Hardware Verification Language, Verification +21

The semantics of power and ARM multiprocessor machine code

Jade Alglave, Anthony Fox, Samin Ishtiaq et al. · 2009 · 104 citations

Engineering, Hardware Verification Language, Verification +17

1–5 of 29