Scott Owens
Citée par
Citée par
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
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
Mathematizing C++ concurrency
M Batty, S Owens, S Sarkar, P Sewell, T Weber
ACM SIGPLAN Notices 46 (1), 55-66, 2011
CakeML: a verified implementation of ML
R Kumar, MO Myreen, M Norrish, S Owens
ACM SIGPLAN Notices 49 (1), 179-191, 2014
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
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
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
Regular-expression derivatives re-examined
S Owens, J Reppy, A Turon
Journal of Functional Programming 19 (2), 173-190, 2009
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
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
Reasoning about the implementation of concurrency abstractions on x86-TSO
S Owens
European Conference on Object-Oriented Programming, 478-503, 2010
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
Deformable volumes in path planning applications
E Anshelevich, S Owens, F Lamiraux, LE Kavraki
Robotics and Automation, 2000. Proceedings. ICRA'00. IEEE International …, 2000
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
Functional big-step semantics
S Owens, MO Myreen, R Kumar, YK Tan
European Symposium on Programming, 589-615, 2016
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
A Sound Semantics for OCaml light
S Owens
European Symposium on Programming, 1-15, 2008
Self-formalisation of higher-order logic
R Kumar, R Arthan, MO Myreen, S Owens
Journal of Automated Reasoning 56 (3), 221-259, 2016
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
HOL with definitions: Semantics, soundness, and a verified implementation
R Kumar, R Arthan, MO Myreen, S Owens
International Conference on Interactive Theorem Proving, 308-324, 2014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20