Peter Sewell - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Wed 14 Sep 2016

Name:Peter Sewell

Country:United Kingdom

Affiliation:University of Cambridge

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

Contributions

2024

POPL

PriSC

Keynote: Can we reason about the security of concurrent systems code?

POCL

The Future of Weak Memory

Show activities from other conferences

POPL 2024-profile
View general profile