Scott Owens - Google Scholar

Cited by

	All	Since 2015
Citations	3139	2011
h-index	24	20
i10-index	35	26

420

210

105

315

20062007200820092010201120122013201420152016201720182019202015 33 48 90 123 142 191 227 219 300 314 406 395 400 196

Co-authors

Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Susmit SarkarReader, University of St AndrewsVerified email at st-andrews.ac.uk
Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
Ramana KumarDeepMindVerified email at cl.cam.ac.uk
Francesco Zappa NardelliFacebookVerified email at fb.com
Tom RidgeDepartment of Informatics, University of LeicesterVerified email at le.ac.uk
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Michael NorrishPrincipal Research Scientist, Data61Verified email at data61.csiro.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
Juliano Manabu IyodaUFPEVerified email at cin.ufpe.br
Kathryn E. GrayUniversity of CambridgeVerified email at cl.cam.ac.uk
Matthew FlattProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Aaron TuronMPI-SWSVerified email at mpi-sws.org
John ReppyProfessor of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Sela Mador-HaimComputer Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Milo M. K. MartinAssociate Professor, University of PennsylvaniaVerified email at cis.upenn.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
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	390	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	359	2009
Mathematizing C++ concurrency M Batty, S Owens, S Sarkar, P Sewell, T Weber ACM SIGPLAN Notices 46 (1), 55-66, 2011	328	2011
CakeML: a verified implementation of ML R Kumar, MO Myreen, M Norrish, S Owens ACM SIGPLAN Notices 49 (1), 179-191, 2014	268	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	168	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	159	2010
Regular-expression derivatives re-examined S Owens, J Reppy, A Turon Journal of Functional Programming 19 (2), 173-190, 2009	117	2009
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	111	2012
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	108	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	105	2007
Reasoning about the implementation of concurrency abstractions on x86-TSO S Owens European Conference on Object-Oriented Programming, 478-503, 2010	104	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	96	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	80	2000
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	69	2014
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	67	2016
Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan European Symposium on Programming, 589-615, 2016	65	2016
A Sound Semantics for OCaml_light S Owens European Symposium on Programming, 1-15, 2008	58	2008
Self-formalisation of higher-order logic R Kumar, R Arthan, MO Myreen, S Owens Journal of Automated Reasoning 56 (3), 221-259, 2016	48	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	43	2014
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

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors