Scott Owens
From MaRDI portal
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 |
| Proof-producing synthesis of ML from higher-order logic Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Ott, effective tool support for the working semanticist Proceedings of the 12th 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
