logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

Peter Sewell

university of cambridge

47H-index
179Paper Count
7.3KCitation Count
Published Papers 3
Publication Date
logo
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err1
PREAI
errPerami, Thibaut; Bauereiss, Thomas; Campbell, Brian; Liu, Zongyuan; Lauermann, Nils; Armstrong, Alasdair; Sewell, Peter
errShare
errSave
Inside Risks Through Computer Architecture, Darkly
errCOMMUNICATIONS OF THE ACM
IF12.2
err2019-05-21
err5
errOAAI
errMarkettos, A. T.; Watson, R. N. M.; Moore, S. W.; Sewell, P.; Neumann, P. G.
errShare
errSave
x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-07-01
err280
PREAI
errSewell, Peter; Sarkar, Susmit; Owens, Scott; Nardelli, Francesco Zappa; Myreen, Magnus O.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
P
Peter G. Neumann
H-index: 37 · Papers: 608
S
Simon W. Moore
H-index: 33 · Papers: 147
B
B. K. Campbell
H-index: 30 · Papers: 115
R
Robert N. M. Watson
H-index: 30 · Papers: 122
S
Scott Owens
H-index: 28 · Papers: 74
View more