The semantics of x86-CC multiprocessor machine code
2009 · 154 citations
https://doi.org/10.1145/1480881.1480929
P
Peter Sewell
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
179
Papers
7.3K
Citations
47
h-index
99
i10-index
Peter Sewell is an academic researcher from University of Cambridge. The author has contributed to research in topics: Parallel Computing and Optimization Techniques & Logic, programming, and type systems & Distributed systems and fault tolerance. The author has an h-index of 47, co-authored 153 publications.
ORCID: 0000-0001-9352-1013Papers by this author
worksModelling the ARMv8 architecture, operationally: concurrency and ISA
2016 · 135 citations
https://doi.org/10.1145/2837614.2837615
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS
2019 · Proceedings of the ACM on Programming Languages · 111 citations
https://doi.org/10.1145/3290384
Exploring C semantics and pointer provenance
2019 · Proceedings of the ACM on Programming Languages · 49 citations
https://doi.org/10.1145/3290380
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
2022 · Lecture notes in computer science · 25 citations
https://doi.org/10.1007/978-3-030-99336-8_7
Islaris: verification of machine code against authoritative ISA semantics
2022 · 25 citations
https://doi.org/10.1145/3519939.3523434
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat