Scott Owens

Cited by

	All	Since 2019
Citations	4683	2073
h-index	28	20
i10-index	40	27

420

210

105

315

200620072008200920102011201220132014201520162017201820192020202120222023202414 33 47 89 130 142 188 226 232 298 330 399 402 413 317 388 359 314 280

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 SarkarProfessor of Computer Science, 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
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Yong Kiam TanInstitute 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 America, Synopsys, GoogleVerified 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
John ReppyProfessor of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
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
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	582	2010
CakeML: a verified implementation of ML R Kumar, MO Myreen, M Norrish, S Owens ACM SIGPLAN Notices 49 (1), 179-191, 2014	547	2014
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	511	2009
Mathematizing C++ concurrency M Batty, S Owens, S Sarkar, P Sewell, T Weber ACM SIGPLAN Notices 46 (1), 55-66, 2011	491	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	212	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	209	2010
Regular-expression derivatives re-examined S Owens, J Reppy, A Turon Journal of Functional Programming 19 (2), 173-190, 2009	165	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	159	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	143	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	136	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	126	2012
Reasoning about the implementation of concurrency abstractions on x86-TSO S Owens European Conference on Object-Oriented Programming, 478-503, 2010	125	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	122	2014
Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan European Symposium on Programming, 589-615, 2016	121	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	99	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	95	2000
The verified CakeML compiler backend YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Journal of Functional Programming 29, 2019	91	2019
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	78	2014
Self-formalisation of higher-order logic R Kumar, R Arthan, MO Myreen, S Owens Journal of Automated Reasoning 56 (3), 221-259, 2016	68	2016
A Sound Semantics for OCaml_light S Owens European Symposium on Programming, 1-15, 2008	68	2008

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