Scott Owens
11 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
The verified CakeML compiler backend
Yong Kiam Tan and others (2019) · Cambridge University Press (CUP)
CakeML: A Verified Implementation of ML
Ramana Kumar and others (2014) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Lem: reusable engineering of real-world semantics
Dominic P. Mulligan and others (2014) · ACM SIGPLAN International Conference on Functional Programming (ICFP)
Clarifying and compiling C/C++ concurrency: from C++11 to POWER
Mark Batty and others (2012) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Synchronising C/C++ and POWER
Susmit Sarkar and others (2012) · ACM
Lem: A Lightweight Tool for Heavyweight Semantics
Scott Owens and others (2011) · Springer Berlin Heidelberg
x86-TSO: A rigorous and usable programmer's model for x86 multiprocessors
Peter Sewell and others (2010) · Communications of the ACM · Association for Computing Machinery (ACM)
A Better x86 Memory Model: x86-TSO
Scott Owens and others (2009) · Springer Berlin Heidelberg
A better x86 memory model: x86-TSO
(extended version)
Scott Owens and others (2009) · Computer Laboratory, University of Cambridge
The semantics of x86-CC multiprocessor machine code
Susmit Sarkar and others (2009) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Proof producing synthesis of arithmetic and cryptographic hardware
Konrad L. Slind and others (2007) · Formal Aspects of Computing · Springer Science+Business Media