Write a Blog >>
Peter Sewell

Registered user since Wed 14 Sep 2016

Name:Peter Sewell

Peter Sewell is Professor of Computer Science and EPSRC Leadership Fellow at the University of Cambridge Computer Laboratory. He held a Royal Society University Research Fellowship from 1999-2007, and took his PhD in Edinburgh in 1995, supervised by Robin Milner, after studying in Cambridge and Oxford. His research aims to build rigorous foundations for the engineering of real-world computer systems, to make them better-understood, more robust, and more secure. He and his colleagues have recently focussed on the relaxed-memory concurrency models of multiprocessors and concurrent languages (x86, ARM, IBM Power, and C/C++11), on verified compilation of concurrency (CompCertTSO and the concurrency compilation schemes from C/C++11 to x86, Power, and ARM), and on tools for applied semantics. He previously worked on various topics in programming languages, network protocols, security, and concurrency theory.

Affiliation:University of Cambridge


POPL 2016 Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
Committee Member in Steering Committee
Show activities from other conferences

POPL 2016-profile
View general profile