Scott Owens

Cited by

	All	Since 2018
Citations	4166	1974
h-index	28	20
i10-index	39	29

420

210

105

315

20062007200820092010201120122013201420152016201720182019202020212022202314 33 49 86 130 142 193 226 224 296 331 408 402 399 314 383 343 133

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
Susmit SarkarReader, University of St AndrewsVerified email at st-andrews.ac.uk
Ramana KumarDeepMindVerified email at cl.cam.ac.uk
Francesco Zappa NardelliFacebookVerified email at fb.com
Tom RidgeIndependentVerified email at tom-ridge.com
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
Yong Kiam TanScientist I, Institute for Infocomm Research, SingaporeVerified email at cs.cmu.edu
Luc MarangetInriaVerified email at inria.fr
Kathryn E. GrayUniversity of CambridgeVerified email at cl.cam.ac.uk
Guodong LiUniversity of Utah, Fujitsu Labs of AmericaVerified email at cs.utah.edu
Juliano Manabu IyodaUFPEVerified email at cin.ufpe.br
Matthew FlattProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Aaron TuronMPI-SWSVerified email at mpi-sws.org
Sela Mador-HaimComputer Information Science, University of PennsylvaniaVerified email at xcitedb.com
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
John ReppyProfessor of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Elliot AnshelevichProfessor of Computer Science, Rensselaer Polytechnic InstituteVerified email at cs.rpi.edu

Scott Owens

University of Kent

Verified email at kent.ac.uk - Homepage

Formal verification interactive theorem proving concurrency programming languages


Title Sort by citations Sort by year Sort by 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	521	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	453	2009
CakeML: a verified implementation of ML R Kumar, MO Myreen, M Norrish, S Owens ACM SIGPLAN Notices 49 (1), 179-191, 2014	441	2014
Mathematizing C++ concurrency M Batty, S Owens, S Sarkar, P Sewell, T Weber ACM SIGPLAN Notices 46 (1), 55-66, 2011	441	2011
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	196	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	193	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	147	2012
Regular-expression derivatives re-examined S Owens, J Reppy, A Turon Journal of Functional Programming 19 (2), 173-190, 2009	147	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	129	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	124	2007
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	116	2012
Reasoning about the implementation of concurrency abstractions on x86-TSO S Owens European Conference on Object-Oriented Programming, 478-503, 2010	115	2010
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	108	2014
Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan European Symposium on Programming, 589-615, 2016	107	2016
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	93	2016
Deformable volumes in path planning applications E Anshelevich, S Owens, F Lamiraux, LE Kavraki Robotics and Automation, 2000. Proceedings. ICRA'00. IEEE International …, 2000	90	2000
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	69	2014
A Sound Semantics for OCaml_light S Owens European Symposium on Programming, 1-15, 2008	68	2008
The verified CakeML compiler backend YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Journal of Functional Programming 29, 2019	62	2019
Self-formalisation of higher-order logic R Kumar, R Arthan, MO Myreen, S Owens Journal of Automated Reasoning 56 (3), 221-259, 2016	60	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors