Scott Owens

	2012
20		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
19		Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell: Lem: A Lightweight Tool for Heavyweight Semantics. ITP 2011: 363-369
18		Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber: Mathematizing C++ concurrency. POPL 2011: 55-66
17		Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar: Nitpicking c++ concurrency. PPDP 2011: 113-124
	2010
16		Scott Owens: Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. ECOOP 2010: 478-503
15		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)
14		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)
	2009
13		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
12		Scott Owens, Susmit Sarkar, Peter Sewell: A Better x86 Memory Model: x86-TSO. TPHOLs 2009: 391-407
11		Scott Owens, John H. Reppy, Aaron Turon: Regular-expression derivatives re-examined. J. Funct. Program. 19(2): 173-190 (2009)
	2008
10		Scott Owens: A Sound Semantics for OCamllight. ESOP 2008: 1-15
9		Scott Owens, Konrad Slind: Adapting functional programs to higher order logic. Higher-Order and Symbolic Computation 21(4): 377-409 (2008)
	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

Coauthor Index

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page