Peter Sewell

Registered user since Wed 14 Sep 2016

Name: Peter Sewell

Affiliation: University of Cambridge

Personal website: http://www.cl.cam.ac.uk/~pes20/

Contributions

POPL 2020Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
Organizing Committee in Organizing Committee within the POPLmark 15 Year Retrospective Panel-track
SPLASH 2019Committee Member in External Review Committee within the OOPSLA-track
WoSSCA 2018Committee Member in Program Committee within the WoSSCA 2018-track
POPL 2019Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track
Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track
POPL 2018Author of Simplifying ARM Concurrency: Multicopy-Atomic Axiomatic and Operational Models for ARMv8 within the Research Papers-track
Author of Simplifying ARM Concurrency: Multicopy-atomic Axiomatic and Operational Models for ARMv8 within the Artifact Evaluation-track
Committee Member in Program Committee within the Research Papers-track
PiP 2017Committee Member in Program Committee within the PiP 2017-track
POPL 2017Author of Mixed-size Concurrency: ARM, POWER, C/C++11, and SC within the POPL-track
PLDI 2017Committee Member in External Program Committee
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
PLDI 2016Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track
SPLASH 2016Author of The Missing Link: Explaining ELF Static Linking, Semantically within the OOPSLA-track
Author of An Operational Semantics for C/C++11 Concurrency within the OOPSLA-track
POPL 2016Author of Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA within the Research Papers-track
Author of A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions within the Research Papers-track
Committee Member in Steering Committee
ESOP 2015Author of The Problem of Programming Language Concurrency Semantics within the ESOP-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track