Scott Owens

According to our database, Scott Owens authored at least 43 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Cakes That Bake Cakes: Dynamic Computation in CakeML.

Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens

Proc. ACM Program. Lang., 2023

2020

Modular Relaxed Dependencies in Weak Memory Concurrency.

Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty

Proceedings of the Programming Languages and Systems, 2020

2019

The verified CakeML compiler backend.

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish

J. Funct. Program., 2019

Characterising renaming within OCaml's module system: theory and implementation.

Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Rotor: a tool for renaming values in OCaml's module system.

Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens

Proceedings of the 3rd International Workshop on Refactoring, 2019

Building trustworthy software with CakeML.

Scott Owens

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 2019

2018

Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications.

Hugo Férée, Johannes Åman Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, Son Ho

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2017

Verifying efficient function calls in CakeML.

Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan

Proc. ACM Program. Lang., 2017

2016

Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation.

Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens

J. Autom. Reason., 2016

A High-Assurance, High-Performance Hardware-Based Cross-Domain System.

David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens

Proceedings of the Computer Safety, Reliability, and Security, 2016

Benchmarking weak memory models.

Carl G. Ritson, Scott Owens

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

A new verified compiler backend for CakeML.

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Functional Big-Step Semantics.

Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan

Proceedings of the Programming Languages and Systems, 2016

2015

A verified type system for CakeML.

Yong Kiam Tan, Scott Owens, Ramana Kumar

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

2014

Proof-producing translation of higher-order logic into pure and stateful ML.

Magnus O. Myreen, Scott Owens

J. Funct. Program., 2014

CakeML: a verified implementation of ML.

Ramana Kumar, Magnus O. Myreen, Michael Norrish, Scott Owens

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

HOL with Definitions: Semantics, Soundness, and a Verified Implementation.

Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Lem: reusable engineering of real-world semantics.

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Steps towards Verified Implementations of HOL Light.

Magnus O. Myreen, Scott Owens, Ramana Kumar

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Clarifying and compiling C/C++ concurrency: from C++11 to POWER.

Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Synchronising C/C++ and POWER.

Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Proof-producing synthesis of ML from higher-order logic.

Magnus O. Myreen, Scott Owens

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

An Axiomatic Memory Model for POWER Multiprocessors.

Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Nitpicking C++ concurrency.

Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Mathematizing C++ concurrency.

Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Lem: A Lightweight Tool for Heavyweight Semantics.

Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Ott: Effective tool support for the working semanticist.

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa

J. Funct. Program., 2010

x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors.

Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen

Commun. ACM, 2010

Reasoning about the Implementation of Concurrency Abstractions on x86-TSO.

Scott Owens

Proceedings of the ECOOP 2010, 2010

Compiling Higher Order Logic by Proof.

Konrad Slind, Guodong Li, Scott Owens

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2009

Regular-expression derivatives re-examined.

Scott Owens, John H. Reppy, Aaron Turon

J. Funct. Program., 2009

A Better x86 Memory Model: x86-TSO.

Scott Owens, Susmit Sarkar, Peter Sewell

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

The semantics of x86-CC multiprocessor machine code.

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

Adapting functional programs to higher order logic.

Scott Owens, Konrad Slind

High. Order Symb. Comput., 2008

A Sound Semantics for OCamllight.

Scott Owens

Proceedings of the Programming Languages and Systems, 2008

2007

Compile-Time Information in Software Components.

Scott Owens

PhD thesis, 2007

Proof producing synthesis of arithmetic and cryptographic hardware.

Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon

Formal Aspects Comput., 2007

Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.

Guodong Li, Scott Owens, Konrad Slind

Proceedings of the Programming Languages and Systems, 2007

2006

From structures and functors to modules and units.

Scott Owens, Matthew Flatt

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

Automatic Formal Synthesis of Hardware from Higher Order Logic.

Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

Functional Correctness Proofs of Encryption Algorithms.

Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang

Proceedings of the Logic for Programming, 2005

Syntactic Abstraction in Component Interfaces.

Ryan Culpepper, Scott Owens, Matthew Flatt

Proceedings of the Generative Programming and Component Engineering, 2005

2000

Deformable Volumes in Path Planning Applications.

Elliot Anshelevich, Scott Owens, Florent Lamiraux, Lydia E. Kavraki

Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000