 | 2009 |
|---|
| 12 |       | 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 |
| 11 | | Scott Owens,
Susmit Sarkar,
Peter Sewell:
A Better x86 Memory Model: x86-TSO.
TPHOLs 2009: 391-407 |
| 10 | | Scott Owens,
John H. Reppy,
Aaron Turon:
Regular-expression derivatives re-examined.
J. Funct. Program. 19(2): 173-190 (2009) |
| 2008 |
|---|
| 9 | | Scott Owens:
A Sound Semantics for OCamllight.
ESOP 2008: 1-15 |
| 2007 |
|---|
| 8 | | Guodong Li,
Scott Owens,
Konrad Slind:
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.
ESOP 2007: 205-219 |
| 7 | | 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 |
| 6 | | Konrad Slind,
Scott Owens,
Juliano Iyoda,
Mike Gordon:
Proof producing synthesis of arithmetic and cryptographic hardware.
Formal Asp. Comput. 19(3): 343-362 (2007) |
| 2006 |
|---|
| 5 | | Scott Owens,
Matthew Flatt:
From structures and functors to modules and units.
ICFP 2006: 87-98 |
| 4 | | 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) |
| 2005 |
|---|
| 3 | | Ryan Culpepper,
Scott Owens,
Matthew Flatt:
Syntactic Abstraction in Component Interfaces.
GPCE 2005: 373-388 |
| 2 | | Jianjun Duan,
Joe Hurd,
Guodong Li,
Scott Owens,
Konrad Slind,
Junxing Zhang:
Functional Correctness Proofs of Encryption Algorithms.
LPAR 2005: 519-533 |
| 2000 |
|---|
| 1 |  | Elliot Anshelevich,
Scott Owens,
Florent Lamiraux,
Lydia E. Kavraki:
Deformable Volumes in Path Planning Applications.
ICRA 2000: 2290-2295 |
