POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Mon 15 Jan 2024 09:30 - 09:50 at Turing Lecture - Session 1 Chair(s): John Wickerson

Heterogeneous processors that combine different types of processors such as CPUs, GPUs, and accelerators are emerging in all domains of computing. The state-of-the-art of these heterogeneous processors is advancing faster than ever – they are starting to expose a shared memory interface to enable direct communication across these devices with the promise of energy efficiency and orders of magnitude of performance improvement. Consequently, the interactions between the devices with respective memory models result in a heterogeneous weak memory concurrency model.

In this talk, I will present an overview of my research in this direction and share my learning.

Mon 15 Jan

Displayed time zone: London change

09:00 - 10:30
Session 1The Future of Weak Memory at Turing Lecture
Chair(s): John Wickerson Imperial College London
09:00
10m
Talk
Welcome
The Future of Weak Memory
John Wickerson Imperial College London, Azalea Raad Imperial College London, Brijesh Dongol University of Surrey, Mark Batty University of Kent, Peter Sewell University of Cambridge
09:10
20m
Talk
Some things I wish I hadn’t seen
The Future of Weak Memory
Matthew J. Parkinson Microsoft Azure Research
09:30
20m
Talk
Heterogeneous concurrency -- a new frontier for weak memory
The Future of Weak Memory
09:50
20m
Talk
Chasing Unicorns and Not Losing Hope in Validating Weak Memory Persistency Models
The Future of Weak Memory
Vasileios Klimis Queen Mary University of London
File Attached
10:10
20m
Talk
How Do We Know That Weak Memory Matters?
The Future of Weak Memory
Mike Dodds Galois, Inc.
File Attached