Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Thu 18 Jun 2020 05:20 - 05:40 at PLDI Research Papers live stream - Concurrency Chair(s): Tyler Sorensen

For more than fifteen years, researchers have tried to support global optimizations
in a usable semantics for a concurrent programming language, yet this task has been
proven to be very difficult because of (1) the infamous ``out of thin air'' problem,
and (2) the subtle interaction between global and thread-local optimizations.

In this paper, we present a solution to this problem by redesigning a key
component of the \emph{promising semantics} (PS) of Kang et al.
Our updated PS 2.0 model supports all the results known about the original
PS model (\textit{i.e.}, thread-local optimizations, hardware mappings, DRF theorems),
but additionally enables transformations based on global value-range analysis
as well as register promotion (\textit{i.e.}, making accesses to a shared location local
if the location is accessed by only one thread).
PS 2.0 also resolves a problem with the compilation of relaxed RMWs to ARMv8,
which required an unintended extra fence.

Thu 18 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

05:00 - 06:00: Concurrency PLDI Research Papers at PLDI Research Papers live stream
Chair(s): Tyler SorensenImperial College London

YouTube lightning session video

05:00 - 05:20
Talk
Repairing and Mechanising the JavaScript Relaxed Memory Model
PLDI Research Papers
Conrad WattUniversity of Cambridge, UK, Christopher PulteUniversity of Cambridge, UK, Anton PodkopaevMPI-SWS, NRU HSE, JetBrains Research, Guillaume BarbierENS Rennes, France, Stephen DolanUniversity of Cambridge, UK, Shaked FlurGoogle, Jean Pichon-PharabodUniversity of Cambridge, UK, Shu-yu GuoBloomberg, USA
Pre-print
05:20 - 05:40
Talk
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
PLDI Research Papers
Sung-Hwan LeeSeoul National University, South Korea, Minki ChoSeoul National University, South Korea, Anton PodkopaevMPI-SWS, NRU HSE, JetBrains Research, Soham ChakrabortyIIT Delhi, India, Chung-Kil HurSeoul National University, South Korea, Ori LahavTel Aviv University, Israel, Viktor VafeiadisMPI-SWS, Germany
05:40 - 06:00
Talk
NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey
PLDI Research Papers
Michal FriedmanTechnion, Israel, Naama Ben-DavidCarnegie Mellon University, USA, Yuanhao WeiCarnegie Mellon University, USA, Guy E. BlellochCarnegie Mellon University, USA, Erez PetrankTechnion, Israel