Browsing by Author 02e7571e-0ac3-49c8-a66b-366e28773591
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 |
---|---|
Type | Conference paper |
Date Published | 2016 |
Date Created | September 18 - 24 |
Proof-Producing Synthesis of CakeML from Monadic HOL Functions
Author(s) | Abrahamsson, Oskar; Ho, Son; Kanabar, Hrutvik, et al |
---|---|
Type | Journal article |
Date Published | 2020 |
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 |
---|---|
Type | Conference paper |
Date Published | 2018 |
Date Created | July 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 |
---|---|
Type | Journal article |
Date Published | 2021 |
Date Created | - |
The verified CakeML compiler backend
Author(s) | Tan, Yong Kiam; Myreen, Magnus O.; Kumar, Ramana, et al |
---|---|
Type | Journal article |
Date Published | 4-Feb-2019 |
Date Created | - |
Verified characteristic formulae for CakeML
Author(s) | Guéneau, Armäel; Myreen, Magnus O.; Kumar, Ramana, et al |
---|---|
Type | Conference paper |
Date Published | 2017 |
Date Created | April 22-29 2017 |
Verified compilation on a verified processor
Author(s) | Lööw, Andreas; Kumar, Ramana; Tan, Yong Kiam, et al |
---|---|
Type | Conference paper |
Date Published | 2019 |
Date Created | 22 June 2019 through 26 June 2019 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator