Scott Owens

Available identifiers

Publication	Date of Publication	Type
The verified CakeML compiler backend	2019-11-22	Paper
Lem: reusable engineering of real-world semantics	2016-09-29	Paper
Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation	2016-05-26	Paper
From structures and functors to modules and units	2015-08-03	Paper
HOL with Definitions: Semantics, Soundness, and a Verified Implementation	2014-09-08	Paper
Proof-producing translation of higher-order logic into pure and stateful ML	2014-08-14	Paper
Ott	2014-07-21	Paper
Proof-producing synthesis of ML from higher-order logic	2014-07-21	Paper
CakeML	2014-04-10	Paper
Mathematizing C++ concurrency	2014-04-10	Paper
Steps towards Verified Implementations of HOL Light	2013-08-07	Paper
Lem: A Lightweight Tool for Heavyweight Semantics	2011-08-17	Paper
Ott: Effective tool support for the working semanticist	2010-03-17	Paper
Adapting functional programs to higher order logic	2009-07-13	Paper
Regular-expression derivatives re-examined	2009-03-25	Paper
Functional Correctness Proofs of Encryption Algorithms	2008-05-27	Paper
A Sound Semantics for OCaml light	2008-04-11	Paper
Proof producing synthesis of arithmetic and cryptographic hardware	2007-09-06	Paper
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic	2007-09-04	Paper

This page was built for person: Scott Owens