- Home
- About the University
- Find staff
- Magnus Myréen
Magnus Myréen
Docent
Formal Methods (FM)-
Faster Certified Symmetry Breaking Using Orders With Auxiliary
Variables
Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus Myréen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan
Proceedings of the Aaai Conference on Artificial Intelligence - 2026 -
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 -
Cakes That Bake Cakes: Dynamic Computation in
CakeML
Thomas Sewell, Magnus Myréen, Yong Kiam Tan, R. Kumar, Alexander Mihajlovic, Oskar Abrahamsson, S. Owens
Proceedings of the ACM on Programming Languages - 2023 -
PureCake: A Verified Compiler for a Lazy Functional
Language
Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus Myréen, M. Norrish, Johannes Åman Pohjola, Riccardo Zanetti
Proceedings of the ACM on Programming Languages - 2023