dblp.uni-trier.dewww.uni-trier.de

Scott Owens

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
11EESusmit 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
10EEScott Owens, John H. Reppy, Aaron Turon: Regular-expression derivatives re-examined. J. Funct. Program. 19(2): 173-190 (2009)
2008
9EEScott Owens: A Sound Semantics for OCamllight. ESOP 2008: 1-15
2007
8EEGuodong Li, Scott Owens, Konrad Slind: Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. ESOP 2007: 205-219
7EEPeter 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
6EEKonrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon: Proof producing synthesis of arithmetic and cryptographic hardware. Formal Asp. Comput. 19(3): 343-362 (2007)
2006
5EEScott Owens, Matthew Flatt: From structures and functors to modules and units. ICFP 2006: 87-98
4EEMike 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
3EERyan Culpepper, Scott Owens, Matthew Flatt: Syntactic Abstraction in Component Interfaces. GPCE 2005: 373-388
2EEJianjun 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

Coauthor Index

1Jade Alglave [11]
2Elliot Anshelevich [1]
3Thomas Braibant [11]
4Ryan Culpepper [3]
5Jianjun Duan [2]
6Matthew Flatt [3] [5]
7Mike Gordon [4] [6]
8Joe Hurd [2]
9Juliano Iyoda [4] [6]
10Lydia E. Kavraki [1]
11Florent Lamiraux [1]
12Guodong Li [2] [8]
13Magnus O. Myreen [11]
14Francesco Zappa Nardelli [7] [11]
15Gilles Peskine [7]
16John H. Reppy [10]
17Tom Ridge (Thomas Ridge) [7] [11]
18Susmit Sarkar [7] [11]
19Peter Sewell [7] [11]
20Konrad Slind [2] [4] [6] [8]
21Rok Strnisa [7]
22Aaron Turon [10]
23Junxing Zhang [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)