Concepedia

Scott Owens

SO

Statistics

Publications

33

Citations

2.7K

H-Index

23

Active since

2000

Affiliations

University of Cambridge(Current)

University of Kent

Institut national de recherche en sciences et technologies du numérique

Chalmers University of Technology

Scott Owens is an author at University of Cambridge specializing in computer science, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware AnalysisAutomated ReasoningVerificationCompilersComputer Engineering

Publications per year

2000–2023

33

Publications

33

x86-TSO

Peter Sewell, Susmit Sarkar, Scott Owens et al. · Communications of the ACM · 2010 · 445 citations

Engineering, Program Analysis, Concurrent Programming +15

Ramana Kumar, Magnus O. Myreen, Michael Norrish et al. · 2014 · 313 citations

Program Checking, Engineering, Compiler Technology +18

Mathematizing C++ concurrency

Mark Batty, Scott Owens, Susmit Sarkar et al. · 2011 · 261 citations

Engineering, Computer Architecture, Concurrent System +17

Mathematizing C++ concurrency

Mark Batty, Scott Owens, Susmit Sarkar et al. · ACM SIGPLAN Notices · 2011 · 249 citations

C++ Programs, Engineering, Computer Architecture +16

Ott: Effective tool support for the working semanticist

Peter Sewell, Francesco Zappa Nardelli, Scott Owens et al. · Journal of Functional Programming · 2010 · 162 citations · Full text

Rigorous Semantic Definitions, Engineering, Working Semanticist +29

Rows per page

1–5 of 33