Magnus Myreen


Link to personal page.




Systems Verification - The Last Mile

Magnus Myreen Department of Computer Science and Engineering, Software Technology (Chalmers)
Swedish Research Council (VR)

There might be more projects where Magnus Myreen participates, but you have to be logged in as a Chalmers employee to see them.



Functional big-step semantics

S. Owens, Magnus Myreen, R. Kumar et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Chapter in monograph, book

Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation

R. Kumar, R. Arthan, Magnus Myreen et al
Journal of Automated Reasoning. Vol. 56 (3), p. 221-259
Scientific journal article - peer reviewed

Pattern matches in HOL: A new representation and improved code generation

Thomas Tuerk, Magnus Myreen, Ramana Kumar et al
Lecture Notes in Computer Science - Proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, Nanjing, China, 24-27 August 2015. Vol. 9236, p. 453-468
Conference paper - peer reviewed

The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)

J. Davis, Magnus Myreen,
Journal of automated reasoning. Vol. 55 (2), p. 117-183
Scientific journal article - peer reviewed