Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author 02e7571e-0ac3-49c8-a66b-366e28773591

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 1 to 7 of 7

A new verified compiler backend for CakeML

Author(s)Tan, Yong Kiam; Myreen, Magnus; Kumar, Ramana, et al
TypeConference paper
Date Published2016
Date CreatedSeptember 18 - 24
s10817-020-09559-8.pdf.jpg

Proof-Producing Synthesis of CakeML from Monadic HOL Functions

Author(s)Abrahamsson, Oskar; Ho, Son; Kanabar, Hrutvik, et al
TypeJournal article
Date Published2020
Date Created-

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

Author(s)Ho, Son; Abrahamsson, Oskar; Kumar, Ramana, et al
TypeConference paper
Date Published2018
Date CreatedJuly 14-17 2018

Reward tampering problems and solutions in reinforcement learning: a causal influence diagram perspective

Author(s)Everitt, Tom; Hutter, Marcus; Kumar, Ramana, et al
TypeJournal article
Date Published2021
Date Created-

The verified CakeML compiler backend

Author(s)Tan, Yong Kiam; Myreen, Magnus O.; Kumar, Ramana, et al
TypeJournal article
Date Published4-Feb-2019
Date Created-

Verified characteristic formulae for CakeML

Author(s)Guéneau, Armäel; Myreen, Magnus O.; Kumar, Ramana, et al
TypeConference paper
Date Published2017
Date CreatedApril 22-29 2017

Verified compilation on a verified processor

Author(s)Lööw, Andreas; Kumar, Ramana; Tan, Yong Kiam, et al
TypeConference paper
Date Published2019
Date Created22 June 2019 through 26 June 2019
  • previous
  • 1
  • next

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator