Citation indices
 AllSince 2009
Citations959829
h-index1514
i10-index2218
Citations to my articles
Citations to my articles
Show: 1-20Next >
Title / AuthorCited by Year
A better x86 memory model: x86-TSO
S Owens, S Sarkar, P Sewell
Theorem Proving in Higher Order Logics, 391-407
1302009
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
P Sewell, S Sarkar, S Owens, F Zappa Nardelli, MO Myreen
Communications of the ACM 53 (7), 89-97
1112010
The semantics of x86-CC multiprocessor machine code
S Sarkar, P Sewell, F Zappa Nardelli, S Owens, T Ridge, T Braibant, ...
ACM SIGPLAN Notices 44 (1), 379-391
982009
Ott: effective tool support for the working semanticist
P Sewell, F Zappa Nardelli, S Owens, G Peskine, T Ridge, S Sarkar, ...
ACM SIGPLAN Notices 42 (9), 1-12
752007
Mathematizing C++ concurrency
M Batty, S Owens, S Sarkar, P Sewell, T Weber
ACM SIGPLAN Notices 46 (1), 55-66
662011
Deformable volumes in path planning applications
E Anshelevich, S Owens, F Lamiraux, EE Kavraki
Robotics and Automation, 2000. Proceedings. ICRA'00. IEEE International ...
662000
Regular-expression derivatives re-examined.
S Owens, JH Reppy, A Turon
J. Funct. Program. 19 (2), 173-190
502009
Ott: Effective tool support for the working semanticist
P Sewell, F Zappa Nardelli, S Owens, G Peskine, T Ridge, S Sarkar, ...
Journal of Functional Programming 20 (01), 71-122
482010
Reasoning about the implementation of concurrency abstractions on x86-TSO
S Owens
ECOOP 2010–Object-Oriented Programming, 478-503
432010
Clarifying and compiling C/C++ concurrency: from C++ 11 to POWER
M Batty, K Memarian, S Owens, S Sarkar, P Sewell
ACM SIGPLAN Notices 47 (1), 509-520
312012
Structure of a proof-producing compiler for a subset of higher order logic
G Li, S Owens, K Slind
Programming Languages and Systems, 205-219
302007
From structures and functors to modules and units
S Owens, M Flatt
ACM SIGPLAN Notices 41 (9), 87-98
292006
A sound semantics for OCaml light
S Owens
Programming Languages and Systems, 1-15
282008
Automatic formal synthesis of hardware from higher order logic
M Gordon, J Iyoda, S Owens, K Slind
Electronic Notes in Theoretical Computer Science 145, 27-43
182006
Functional correctness proofs of encryption algorithms
J Duan, J Hurd, G Li, S Owens, K Slind, J Zhang
LPAR 3835, 519-533
162005
Synchronising C/C++ and POWER
S Sarkar, K Memarian, S Owens, M Batty, P Sewell, L Maranget, J Alglave, ...
ACM SIGPLAN Notices 47 (6), 311-322
152012
Proof producing synthesis of arithmetic and cryptographic hardware
K Slind, S Owens, J Iyoda, M Gordon
Formal Aspects of Computing 19 (3), 343-362
142007
Lexer and parser generators in Scheme
S Owens, M Flatt, O Shivers, B McMullan
Indiana University Department of Computer Science 600, 41-52
142004
An axiomatic memory model for POWER multiprocessors
S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ...
Computer Aided Verification, 495-512
112012
Adapting functional programs to higher order logic
S Owens, K Slind
Higher-Order and Symbolic Computation 21 (4), 377-409
112008
Show: 1-20Next >
Dates and citation counts are estimated and are determined automatically by a computer program.
©2013 Google - About Google Scholar - All About Google - Provide feedback - My Citations