Scott Owens
Title
Cited by
Cited by
Year
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, 2010
3852010
A better x86 memory model: x86-TSO
S Owens, S Sarkar, P Sewell
International Conference on Theorem Proving in Higher Order Logics, 391-407, 2009
3562009
Mathematizing C++ concurrency
M Batty, S Owens, S Sarkar, P Sewell, T Weber
ACM SIGPLAN Notices 46 (1), 55-66, 2011
3222011
CakeML: a verified implementation of ML
R Kumar, MO Myreen, M Norrish, S Owens
ACM SIGPLAN Notices 49 (1), 179-191, 2014
2602014
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, 2009
1662009
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, 2010
1562010
Regular-expression derivatives re-examined
S Owens, J Reppy, A Turon
Journal of Functional Programming 19 (2), 173-190, 2009
1152009
An axiomatic memory model for POWER multiprocessors
S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ...
International Conference on Computer Aided Verification, 495-512, 2012
1082012
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, 2012
1072012
Reasoning about the implementation of concurrency abstractions on x86-TSO
S Owens
European Conference on Object-Oriented Programming, 478-503, 2010
1032010
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, 2007
1032007
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, 2012
952012
Deformable volumes in path planning applications
E Anshelevich, S Owens, F Lamiraux, LE Kavraki
Robotics and Automation, 2000. Proceedings. ICRA'00. IEEE International …, 2000
802000
A new verified compiler backend for CakeML
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
ACM SIGPLAN Notices 51 (9), 60-73, 2016
672016
Lem: reusable engineering of real-world semantics
DP Mulligan, S Owens, KE Gray, T Ridge, P Sewell
ACM SIGPLAN Notices 49 (9), 175-188, 2014
662014
Functional big-step semantics
S Owens, MO Myreen, R Kumar, YK Tan
European Symposium on Programming, 589-615, 2016
622016
A Sound Semantics for OCaml light
S Owens
European Symposium on Programming, 1-15, 2008
572008
Self-formalisation of higher-order logic
R Kumar, R Arthan, MO Myreen, S Owens
Journal of Automated Reasoning 56 (3), 221-259, 2016
462016
Proof-producing translation of higher-order logic into pure and stateful ML
MO Myreen, S Owens
Journal of Functional Programming 24 (2-3), 284-315, 2014
422014
Structure of a proof-producing compiler for a subset of higher order logic
G Li, S Owens, K Slind
European Symposium on Programming, 205-219, 2007
35*2007
The system can't perform the operation now. Try again later.
Articles 1–20