POPL 2024 (series) / The Future of Weak Memory 2024 (series) / The Future of Weak Memory 2024 /
How Do We Know That Weak Memory Matters?
In this talk, I’ll take a look at weak memory from a system-centric and security-centric viewpoint. What does it mean for a problem to impact system reliability or security? Do we have compelling evidence that weak memory effects matter in this sense? If not, what else might be going on?
Mon 15 JanDisplayed time zone: London change
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 10mTalk | 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 20mTalk | Some things I wish I hadn’t seen The Future of Weak Memory Matthew J. Parkinson Microsoft Azure Research | ||
09:30 20mTalk | Heterogeneous concurrency -- a new frontier for weak memory The Future of Weak Memory Soham Chakraborty TU Delft | ||
09:50 20mTalk | 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 20mTalk | How Do We Know That Weak Memory Matters? The Future of Weak Memory Mike Dodds Galois, Inc. File Attached | ||
