- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c17 |      | Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams: An Axiomatic Memory Model for POWER Multiprocessors. CAV 2012: 495-512 |
| c16 | | Magnus O. Myreen, Scott Owens: Proof-producing synthesis of ML from higher-order logic. ICFP 2012: 115-126 |
| c15 | | Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams: Synchronising C/C++ and POWER. PLDI 2012: 311-322 |
| c14 | | Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell: Clarifying and compiling C/C++ concurrency: from C++11 to POWER. POPL 2012: 509-520 |
| 2011 | ||
| c13 | | Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell: Lem: A Lightweight Tool for Heavyweight Semantics. ITP 2011: 363-369 |
| c12 | | Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber: Mathematizing C++ concurrency. POPL 2011: 55-66 |
| c11 | | Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar: Nitpicking C++ concurrency. PPDP 2011: 113-124 |
| 2010 | ||
| j6 | | Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen: x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. Commun. ACM 53(7): 89-97 (2010) |
| j5 | | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa: Ott: Effective tool support for the working semanticist. J. Funct. Program. 20(1): 71-122 (2010) |
| c10 | | Scott Owens: Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. ECOOP 2010: 478-503 |
| 2009 | ||
| j4 | | Scott Owens, John H. Reppy, Aaron Turon: Regular-expression derivatives re-examined. J. Funct. Program. 19(2): 173-190 (2009) |
| c9 | | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave: The semantics of x86-CC multiprocessor machine code. POPL 2009: 379-391 |
| c8 | | |
| 2008 | ||
| j3 | | Scott Owens, Konrad Slind: Adapting functional programs to higher order logic. Higher-Order and Symbolic Computation 21(4): 377-409 (2008) |
| c7 | | |
| 2007 | ||
| j2 | | Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon: Proof producing synthesis of arithmetic and cryptographic hardware. Formal Asp. Comput. 19(3): 343-362 (2007) |
| c6 | | Guodong Li, Scott Owens, Konrad Slind: Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. ESOP 2007: 205-219 |
| c5 | | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa: Ott: effective tool support for the working semanticist. ICFP 2007: 1-12 |
| 2006 | ||
| j1 | | Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind: Automatic Formal Synthesis of Hardware from Higher Order Logic. Electr. Notes Theor. Comput. Sci. 145: 27-43 (2006) |
| c4 | | |
| 2005 | ||
| c3 | | Ryan Culpepper, Scott Owens, Matthew Flatt: Syntactic Abstraction in Component Interfaces. GPCE 2005: 373-388 |
| c2 | | Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang: Functional Correctness Proofs of Encryption Algorithms. LPAR 2005: 519-533 |
| 2000 | ||
| c1 | | Elliot Anshelevich, Scott Owens, Florent Lamiraux, Lydia E. Kavraki: Deformable Volumes in Path Planning Applications. ICRA 2000: 2290-2295 |
Colors in the list of coauthors
Last update Fri May 24 01:59:14 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page