Follow
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
5852010
CakeML: a verified implementation of ML
R Kumar, MO Myreen, M Norrish, S Owens
ACM SIGPLAN Notices 49 (1), 179-191, 2014
5482014
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
5122009
Mathematizing C++ concurrency
M Batty, S Owens, S Sarkar, P Sewell, T Weber
ACM SIGPLAN Notices 46 (1), 55-66, 2011
4932011
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
2122009
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
2092010
Regular-expression derivatives re-examined
S Owens, J Reppy, A Turon
Journal of Functional Programming 19 (2), 173-190, 2009
1652009
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
1602012
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
1432012
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
1362007
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
1272012
Reasoning about the implementation of concurrency abstractions on x86-TSO
S Owens
European Conference on Object-Oriented Programming, 478-503, 2010
1252010
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
1222014
Functional big-step semantics
S Owens, MO Myreen, R Kumar, YK Tan
European Symposium on Programming, 589-615, 2016
1212016
A new verified compiler backend for CakeML
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
992016
Deformable volumes in path planning applications
E Anshelevich, S Owens, F Lamiraux, LE Kavraki
Robotics and Automation, 2000. Proceedings. ICRA'00. IEEE International …, 2000
952000
The verified CakeML compiler backend
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Journal of Functional Programming 29, 2019
912019
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
782014
Self-formalisation of higher-order logic
R Kumar, R Arthan, MO Myreen, S Owens
Journal of Automated Reasoning 56 (3), 221-259, 2016
682016
A Sound Semantics for OCaml light
S Owens
European Symposium on Programming, 1-15, 2008
682008
The system can't perform the operation now. Try again later.
Articles 1–20