Concepedia

Peter Sewell

PS

79

Publications

5.4K

Citations

42

H-Index

1997

Active since

Affiliations

University of Cambridge(Current)

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

University of St Andrews

Microsoft Research (United Kingdom)

Purdue University West Lafayette

Peter Sewell is an author at University of Cambridge specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSystem SoftwareSoftware AnalysisComputer EngineeringComputer ArchitectureParallel Computing

Publications per year

1997–2023

79

Publications

79

x86-TSO

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

Engineering, Program Analysis, Concurrent Programming +15

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

Cassandra: flexible trust management, applied to electronic health records

M.Y. Becker, Peter Sewell · IEEE Computer Security Foundations Symposium · 2004 · 206 citations

Engineering, Data Trust, Information Security +22

Cassandra: distributed access control policies with tunable expressiveness

M.Y. Becker, Peter Sewell · 2004 · 191 citations

Engineering, Role Hierarchy, Logical Access Control +15

Rows per page

1–5 of 79