| 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 |
