Magnus O. Myreen
According to our database^{1},
Magnus O. Myreen
authored at least 53 papers
between 2005 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on cl.cam.ac.uk
On csauthors.net:
Bibliography
2021
Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021
2020
Do you have space for dessert? a verified space cost semantics for CakeML programs.
Proc. ACM Program. Lang., 2020
J. Autom. Reason., 2020
2019
J. Funct. Program., 2019
J. Autom. Reason., 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Characteristic Formulae for Liveness Properties of NonTerminating CakeML Programs.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019
Proceedings of the Computer Aided Verification  31st International Conference, 2019
2018
CoRR, 2018
Program Verification in the Presence of I/O  Semantics, Verified Library Routines, and Verified Applications.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
VeriPhy: verified controller executables from verified cyberphysical system models.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB  (Short Paper).
Proceedings of the Interactive Theorem Proving  9th International Conference, 2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
ProofProducing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions.
Proceedings of the Automated Reasoning  9th International Joint Conference, 2018
2017
Proc. ACM Program. Lang., 2017
CoRR, 2017
Proceedings of the Trends in Functional Programming  18th International Symposium, 2017
Proceedings of the Programming Languages and Systems, 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
2016
SelfFormalisation of HigherOrder Logic  Semantics, Soundness, and a Verified Implementation.
J. Autom. Reason., 2016
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the Programming Languages and Systems, 2016
2015
The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it).
J. Autom. Reason., 2015
Proceedings of the Interactive Theorem Proving  6th International Conference, 2015
2014
J. Funct. Program., 2014
Proceedings of the 41st Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the Interactive Theorem Proving  5th International Conference, 2014
2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the Interactive Theorem Proving  4th International Conference, 2013
Proceedings of the Certified Programs and Proofs  Third International Conference, 2013
2012
Sci. Comput. Program., 2012
Proceedings of the Interactive Theorem Proving  Third International Conference, 2012
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
Proceedings of the Formal Methods in ComputerAided Design, 2012
2011
Proceedings of the Interactive Theorem Proving  Second International Conference, 2011
2010
Commun. ACM, 2010
Proceedings of the Verified Software: Theories, 2010
Proceedings of the 37th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Design and Verification of Microprocessor Systems for HighAssurance Applications., 2010
2009
PhD thesis, 2009
Electron. Notes Theor. Comput. Sci., 2009
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009
Proceedings of the 36th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009
Proceedings of the Compiler Construction, 18th International Conference, 2009
2008
MachineCode Verification for Multiple Architectures  An Application of Decompilation into Logic.
Proceedings of the Formal Methods in ComputerAided Design, 2008
2007
Proceedings of the Tests and Proofs  1st International Conference, 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
2005
Proceedings of the 12th AsiaPacific Software Engineering Conference (APSEC 2005), 2005