List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The verified CakeML compiler backend Journal of Functional Programming | 2019-11-22 | Paper |
| Lem: reusable engineering of real-world semantics Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation Journal of Automated Reasoning | 2016-05-26 | Paper |
| From structures and functors to modules and units Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
| HOL with definitions: semantics, soundness, and a verified implementation Interactive Theorem Proving | 2014-09-08 | Paper |
| Proof-producing translation of higher-order logic into pure and stateful ML Journal of Functional Programming | 2014-08-14 | Paper |
| Ott, effective tool support for the working semanticist Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Proof-producing synthesis of ML from higher-order logic Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| CakeML Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Mathematizing C++ concurrency Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Steps towards Verified Implementations of HOL Light Interactive Theorem Proving | 2013-08-07 | Paper |
| Lem: a lightweight tool for heavyweight semantics Interactive Theorem Proving | 2011-08-17 | Paper |
| Ott: Effective tool support for the working semanticist Journal of Functional Programming | 2010-03-17 | Paper |
| Adapting functional programs to higher order logic Higher-Order and Symbolic Computation | 2009-07-13 | Paper |
| Regular-expression derivatives re-examined Journal of Functional Programming | 2009-03-25 | Paper |
| Functional Correctness Proofs of Encryption Algorithms Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
| A Sound Semantics for OCaml light Programming Languages and Systems | 2008-04-11 | Paper |
| Proof producing synthesis of arithmetic and cryptographic hardware Formal Aspects of Computing | 2007-09-06 | Paper |
| Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic Programming Languages and Systems | 2007-09-04 | Paper |
Research outcomes over time
This page was built for person: Scott Owens
