Scott Owens
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
14
Active years
2000–2020
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ESOP | Modular Relaxed Dependencies in Weak Memory Concurrency. | Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty |
| 2019 | ECOOP | Building trustworthy software with CakeML. | Scott Owens |
| 2019 | ICSE | Rotor: a tool for renaming values in OCaml's module system. | Reuben N. S. Rowe, Hugo Fre, Simon J. Thompson, Scott Owens |
| 2019 | PLDI | Characterising renaming within OCaml's module system: theory and implementation. | Reuben N. S. Rowe, Hugo Fre, Simon J. Thompson, Scott Owens |
| 2016 | ESOP | Functional Big-Step Semantics. | Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan |
| 2016 | ICFP | A new verified compiler backend for CakeML. | Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish |
| 2016 | PPoPP | Benchmarking weak memory models. | Carl G. Ritson, Scott Owens |
| 2016 | SAFECOMP | A High-Assurance, High-Performance Hardware-Based Cross-Domain System. | David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens |
| 2014 | ICFP | Lem: reusable engineering of real-world semantics. | Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell |
| 2014 | ITP | HOL with Definitions: Semantics, Soundness, and a Verified Implementation. | Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens |
| 2014 | POPL | CakeML: a verified implementation of ML. | Ramana Kumar, Magnus O. Myreen, Michael Norrish, Scott Owens |
| 2013 | ITP | Steps towards Verified Implementations of HOL Light. | Magnus O. Myreen, Scott Owens, Ramana Kumar |
| 2012 | CAV | 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 |
| 2012 | ICFP | Proof-producing synthesis of ML from higher-order logic. | Magnus O. Myreen, Scott Owens |
| 2012 | PLDI | Synchronising C/C++ and POWER. | Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams |
| 2012 | POPL | Clarifying and compiling C/C++ concurrency: from C++11 to POWER. | Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell |
| 2011 | ITP | Lem: A Lightweight Tool for Heavyweight Semantics. | Scott Owens, Peter Bhm, Francesco Zappa Nardelli, Peter Sewell |
| 2011 | POPL | Mathematizing C++ concurrency. | Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber |
| 2011 | PPDP | Nitpicking C++ concurrency. | Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar |
| 2010 | ECOOP | Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. | Scott Owens |
| 2009 | POPL | 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 |
| 2008 | ESOP | A Sound Semantics for OCamllight. | Scott Owens |
| 2007 | ESOP | Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. | Guodong Li, Scott Owens, Konrad Slind |
| 2007 | ICFP | Ott: effective tool support for the working semanticist. | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
| 2006 | ICFP | From structures and functors to modules and units. | Scott Owens, Matthew Flatt |
| 2005 | GPCE | Syntactic Abstraction in Component Interfaces. | Ryan Culpepper, Scott Owens, Matthew Flatt |
| 2005 | LPAR | Functional Correctness Proofs of Encryption Algorithms. | Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang |
| 2000 | ICRA | Deformable Volumes in Path Planning Applications. | Elliot Anshelevich, Scott Owens, Florent Lamiraux, Lydia E. Kavraki |