Browsing by Author 502a36e2-41bb-4db4-b302-a791d6ed8b09
Showing results 1 to 15 of 15
Classification of Finite Fields with Applications
Author(s) | Chan, Hing Lun; Norrish, Michael |
---|---|
Type | Journal article |
Date Published | 2019 |
Date Created | - |
Engineering with logic: Rigorous test-oracle specification and validation for TCP/IP and the Sockets API
Author(s) | Bishop, Steve; Fairbairn, Matthew; Mehnert, Hannes, et al |
---|---|
Type | Journal article |
Date Published | 2018 |
Date Created | - |
Formally Verified Algorithms for Upper-Bounding State Space Diameters
Author(s) | Abdulaziz, Mohammad; Norrish, Michael; Gretton, Charles |
---|---|
Type | Journal article |
Date Published | 2018 |
Date Created | - |
Hop, Skip, & Jump: Practical On-Stack Replacement for a Cross-Platform Language-Neutral VM
Author(s) | Wang, Kunshan; Blackburn, Stephen; Hosking, Tony, et al |
---|---|
Type | Conference paper |
Date Published | 2018 |
Date Created | 25 March 2018 through 25 March 2018 |
Mechanisation of the AKS Algorithm
Author(s) | Chan, Hing Lun; Norrish, Michael |
---|---|
Type | Journal article |
Date Published | 2020 |
Date Created | - |
Mechanised Modal Model Theory
Author(s) | Xu, Yiming; Norrish, Michael |
---|---|
Type | Conference paper |
Date Published | 2020 |
Date Created | July 1-4 2020 |
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 |
On the formalisation of Kolmogorov complexity
Author(s) | Carpenter Catt, Elliot; Norrish, Michael |
---|---|
Type | Conference paper |
Date Published | 2021 |
Date Created | January 17 - 19, 2021 |
Proof Pearl: Bounding Least Common Multiples with Triangles
Author(s) | Chan, Hing Lun Joseph; Norrish, Michael |
---|---|
Type | Journal article |
Date Published | 2017 |
Date Created | - |
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 |
A state-space acyclicity property for exponentially tighter plan length bounds
Author(s) | Mansour (Abdulaziz), Mohammad; Gretton, Charles; Norrish, Michael |
---|---|
Type | Conference paper |
Date Published | 5-Jul-2017 |
Date Created | June 18–23, 2017 |
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 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 |
Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata
Author(s) | Jantsch, Simon; Norrish, Michael |
---|---|
Type | Conference paper |
Date Published | 2018 |
Date Created | July 9-12 2018 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator