All Editions
Mon 15 Jan 2024 London, United Kingdom

The Future of Weak Memory 2024 with POPL 2024

Update 5-Mar-2024: Videos of the workshop talks are now available in this YouTube playlist. Weak memory has been an active research area for well over a decade now, with many key results published here at POPL. Researchers have built many formal models of how weak memory works (or should work) in a variety of languages and architectures, and they have designed and implemented many analyses that take weak-memor ...