Concepedia

Scott Owens

SO

Statistics

Publications

33

Citations

2.8K

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, computing, and programming languages.

Publications per year

2000–2023

33

Publications

33

x86-TSO

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

Engineering, Computer Engineering, Computer Science +17

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

Computing, Computer Engineering, Computer Science +17

Mathematizing C++ concurrency

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

Computing, Computer Science, High-performance Computing +14

Mathematizing C++ concurrency

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

Computing, Computer Science, High-performance Computing +14

Ott: Effective tool support for the working semanticist

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

Computing, Computer Science, Mathematics +17

1–5 of 33