Scott Owens

Cited by

	All	Since 2017
Citations	3838	2056
h-index	26	20
i10-index	38	27

420

210

105

315

2006200720082009201020112012201320142015201620172018201920202021202215 34 47 89 129 140 196 229 218 302 322 407 396 395 319 378 161

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Susmit SarkarReader, University of St AndrewsVerified email at st-andrews.ac.uk
Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Ramana KumarDeepMindVerified email at cl.cam.ac.uk
Francesco Zappa NardelliFacebookVerified email at fb.com
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
Yong Kiam TanGraduate Research Assistant, CMUVerified email at cs.cmu.edu
Luc MarangetInriaVerified email at inria.fr
Guodong LiUniversity of Utah, Fujitsu Labs of AmericaVerified email at cs.utah.edu
Kathryn E. GrayUniversity of CambridgeVerified email at cl.cam.ac.uk
Juliano Manabu IyodaUFPEVerified email at cin.ufpe.br
Matthew FlattProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Sela Mador-HaimComputer Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Aaron TuronMPI-SWSVerified email at mpi-sws.org
John ReppyProfessor of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Dominic MulliganPrincipal Research Engineer, Arm ResearchVerified email at arm.com
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	485	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	425	2009
Mathematizing C++ concurrency M Batty, S Owens, S Sarkar, P Sewell, T Weber ACM SIGPLAN Notices 46 (1), 55-66, 2011	400	2011
CakeML: a verified implementation of ML R Kumar, MO Myreen, M Norrish, S Owens ACM SIGPLAN Notices 49 (1), 179-191, 2014	378	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	192	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	179	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	140	2012
Regular-expression derivatives re-examined S Owens, J Reppy, A Turon Journal of Functional Programming 19 (2), 173-190, 2009	135	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	124	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	116	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	112	2012
Reasoning about the implementation of concurrency abstractions on x86-TSO S Owens European Conference on Object-Oriented Programming, 478-503, 2010	111	2010
Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan European Symposium on Programming, 589-615, 2016	91	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	89	2014
Deformable volumes in path planning applications E Anshelevich, S Owens, F Lamiraux, LE Kavraki Robotics and Automation, 2000. Proceedings. ICRA'00. IEEE International …, 2000	88	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	86	2016
A Sound Semantics for OCaml_light S Owens European Symposium on Programming, 1-15, 2008	67	2008
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	61	2014
Self-formalisation of higher-order logic R Kumar, R Arthan, MO Myreen, S Owens Journal of Automated Reasoning 56 (3), 221-259, 2016	58	2016
The verified CakeML compiler backend YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Journal of Functional Programming 29, 2019	44	2019

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 this author

Cited by

Co-authors