POPL 2024 (series) / The Future of Weak Memory 2024 (series) /
The Future of Weak Memory 2024 Program
This is the The Future of Weak Memory 2024 program - see the full program for POPL 2024 and all affiliated events.
Filter Program
Dates
Sun 14 Jan 2024
Mon 15 Jan 2024
Tue 16 Jan 2024
Sat 20 Jan 2024
Rooms
Maxwell Library
Riverside Room
Siemens Boardroom
Turing Lecture
Tracks
POPL Catering
The Future of Weak Memory
Badges
Remote
Your Program
Nothing to filter
Sun 14 JanDisplayed time zone: London change
Sun 14 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
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 | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | Session 2The Future of Weak Memory at Turing Lecture Chair(s): John Wickerson Imperial College London | ||
11:00 22mTalk | Weak Memory Demands Model-based Compiler Testing The Future of Weak Memory Luke Geeson University College London (UCL) File Attached | ||
11:22 22mTalk | On the need for available, functional, and reusable memory models The Future of Weak Memory Hernán Ponce de León Huawei Dresden Research Center | ||
11:45 22mTalk | What we learned from C++ atomics and memory model standardization The Future of Weak Memory Hans-J. Boehm Google File Attached | ||
12:07 22mTalk | Why Languages Should Preserve Load-Store Order The Future of Weak Memory Stephen Dolan Jane Street | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 20mTalk | Compilers should get over themselves and respect semantic dependencies! The Future of Weak Memory | ||
14:20 20mTalk | A case against semantic dependencies The Future of Weak Memory Ori Lahav Tel Aviv University | ||
14:40 20mTalk | What Compilers desire from Weak Memory SemanticsRemote The Future of Weak Memory Akshay Gopalakrishnan McGill University File Attached | ||
15:00 20mTalk | Programmers love mind-bogglingly complicated weak memory models The Future of Weak Memory Simon Cooksey NVIDIA File Attached | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 22mTalk | Evolving Weak Memory Models for Evolving Architectures The Future of Weak Memory Reese Levine University of California at Santa Cruz | ||
16:22 22mTalk | In-order execution nails every weak memory behavior The Future of Weak Memory Chung-Kil Hur Seoul National University | ||
16:45 22mTalk | System-level weak memory models: The need for formalisation, ISA semantics integration and model diversity The Future of Weak Memory Thibaut Pérami University of Cambridge | ||
17:07 22mTalk | Relaxed systems semantics and how we (hope to) reason above it The Future of Weak Memory | ||
Tue 16 JanDisplayed time zone: London change
Tue 16 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Sat 20 JanDisplayed time zone: London change
Sat 20 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||