EasyChair Smart SlideUser guide
Author: Magnus O. Myreen

This page shows all presentations of this author published in EasyChair Smart Slide.

Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification

Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification

Hrutvik Kanabar, Anthony Fox and Magnus Myreen

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper)

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper)

Ramana Kumar, Eric Mullen, Zachary Tatlock and Magnus O. Myreen

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions

Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan and Michael Norrish

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair