Magnus Myreen

Docent at [Formella metoder]

Link to personal page.

Source: chalmers.se

Publications

2018

Automatically introducing tail recursion in CakeML

Oskar Abrahamsson, Magnus Myreen
Lecture Notes in Computer Science. Vol. 10788, p. 118-134
Paper in proceedings
2017

Verified compilation of CakeML to multiple machine-code targets

Anthony C. J. Fox, Magnus Myreen, Yong Kiam Tan et al
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, {CPP} 2017, p. 125-137
Paper in proceedings
2017

A verified generational garbage collector for CakeML

Adam Sandberg Eriksson, Magnus Myreen, Johannes Åman Pohjala
Lecture Notes in Computer Science. Vol. 10499 LNCS, p. 444-461
Paper in proceedings
2017

Verified characteristic formulae for CakeML

A. Guéneau, Magnus Myreen, R. Kumar et al
Lecture Notes in Computer Science. Vol. 10201, p. 584-610
Paper in proceedings
2016

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
Journal article
2016

A new verified compiler backend for CakeML

Yong Kiam Tan, Magnus Myreen, R. Kumar et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 51 (9), p. 60-73
Paper in proceedings
2016

Functional big-step semantics

S. Owens, Magnus Myreen, R. Kumar et al
Lecture Notes in Computer Science. Vol. 9632, p. 589-615
Paper in proceedings
2015

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

Thomas Tuerk, Magnus Myreen, R. Kumar
Lecture Notes in Computer Science. Vol. 9236, p. 453-468
Paper in proceedings
2015

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
Journal article

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

Projects

2017–2021

Pålitlig mjukvara via programmering och kompilering i logik

Magnus Myreen [Formella metoder]
Swedish Foundation for Strategic Research (SSF)

2014–2017

Systems Verification - The Last Mile

Magnus Myreen 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.