- Hem
- Om universitetet
- Hitta person
- Magnus Myréen
Magnus Myréen
Docent
Formella metoder (FM)-
Brack: A Verified Compiler for Scheme via
CakeML
Pascal Y. Lasnier, Jeremy Yallop, Magnus Myréen
Cpp 2026 Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs Co Located with Popl 2026 - 2026 -
Verified VCG and Verified Compiler for
Dafny
Daniel Nezamabadi, Magnus Myréen, Yong Kiam Tan
Cpp 2026 Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs Co Located with Popl 2026 - 2026 -
A One-Pass CPS Transform with Simulation
on the Nose
Pascal Y. Lasnier, Jeremy Yallop, Magnus Myréen
Lecture Notes in Computer Science - 2026 -
Candle: A Verified Implementation of HOL Light (Extended
Version)
Oskar Abrahamsson, Magnus Myréen, Ramana Kumar, Thomas Sewell
JOURNAL OF AUTOMATED REASONING - 2025 -
Practically Feasible Proof Logging for Pseudo-Boolean
Optimization
Wietze Koops, Daniel Le Berre, Magnus Myréen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, Marc Vinyals
Leibniz International Proceedings in Informatics Lipics - 2025 -
Fast, Verified Computation for HOL
ITPs
Oskar Abrahamsson, Magnus Myréen, Michael Norrish, Hrutvik Kanabar, Johannes Åman Pohjola
Journal of Automated Reasoning - 2025