Scott Owens

Cited by

	All	Since 2019
Citations	4536	1944
h-index	28	20
i10-index	40	27

420

210

105

315

200620072008200920102011201220132014201520162017201820192020202120222023202414 33 49 89 127 142 188 230 228 296 329 399 400 412 319 387 356 315 154

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
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
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
Modular Relaxed Dependencies in Weak Memory Concurrency M Paviotti, S Cooksey, A Paradis, D Wright, S Owens, M Batty European Symposium on Programming, 599-625, 2020	41	2020
Building trustworthy software with CakeML S Owens Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs …, 2019		2019
Characterising renaming within OCaml’s module system: theory and implementation RNS Rowe, H Férée, SJ Thompson, S Owens Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	10	2019
Rotor: a tool for renaming values in OCaml's module system RNS Rowe, H Férée, SJ Thompson, S Owens 2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR), 27-30, 2019	3	2019
Access YK TAN, MO MYREEN, R KUMAR, A FOX, S OWENS, M NORRISH Journal of Functional Programming 29, 2019	1*	2019
The verified CakeML compiler backend YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Journal of Functional Programming 29, 2019	86	2019
Program Verification in the Presence of I/O H Férée, JÅ Pohjola, R Kumar, S Owens, MO Myreen, S Ho Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018	13	2018
Verifying efficient function calls in CakeML S Owens, M Norrish, R Kumar, MO Myreen, YK Tan Proceedings of the ACM on Programming Languages 1 (ICFP), 1-27, 2017	17	2017
A High-Assurance, High-Performance Hardware-Based Cross-Domain System D Hardin, K Slind, M Bortz, J Potts, S Owens International Conference on Computer Safety, Reliability, and Security, 102-113, 2016	5	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	97	2016
Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan European Symposium on Programming, 589-615, 2016	119	2016
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
Benchmarking weak memory models CG Ritson, S Owens Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016	14	2016
A verified type system for CakeML YK Tan, S Owens, R Kumar Proceedings of the 27th Symposium on the Implementation and Application of …, 2015	15	2015
JSTyper: Type inference fo JavaScript C Little, KE Gray, S Owens		2015
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	120	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	38	2014
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	77	2014
CakeML: a verified implementation of ML R Kumar, MO Myreen, M Norrish, S Owens ACM SIGPLAN Notices 49 (1), 179-191, 2014	519	2014
Steps towards verified implementations of HOL Light MO Myreen, S Owens, R Kumar Interactive Theorem Proving: Fourth International Conference, ITP 2013, 490-495, 2013	22	2013

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