2009 |
11 | EE | 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 |
10 | EE | Scott Owens,
John H. Reppy,
Aaron Turon:
Regular-expression derivatives re-examined.
J. Funct. Program. 19(2): 173-190 (2009) |
2008 |
9 | EE | Scott Owens:
A Sound Semantics for OCamllight.
ESOP 2008: 1-15 |
2007 |
8 | EE | Guodong Li,
Scott Owens,
Konrad Slind:
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.
ESOP 2007: 205-219 |
7 | EE | 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 | EE | 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 | EE | Scott Owens,
Matthew Flatt:
From structures and functors to modules and units.
ICFP 2006: 87-98 |
4 | EE | 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 | EE | Ryan Culpepper,
Scott Owens,
Matthew Flatt:
Syntactic Abstraction in Component Interfaces.
GPCE 2005: 373-388 |
2 | EE | 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 |