Peter Sewell - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Registered user since Wed 14 Sep 2016

Name:Peter Sewell

Affiliation:University of Cambridge

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

Contributions

2018

POPL

Simplifying ARM Concurrency: Multicopy-Atomic Axiomatic and Operational Models for ARMv8
Simplifying ARM Concurrency: Multicopy-atomic Axiomatic and Operational Models for ARMv8
Committee Member in Program Committee within the Research Papers-track

Show activities from other conferences

POPL 2018-profile
View general profile