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

Displayed time zone: Pacific Time (US & Canada) change

05:00 - 06:00
05:00
20m
Talk
Repairing and Mechanising the JavaScript Relaxed Memory Model
PLDI Research Papers
Conrad Watt University of Cambridge, UK, Christopher Pulte University of Cambridge, UK, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Guillaume Barbier ENS Rennes, France, Stephen Dolan University of Cambridge, UK, Shaked Flur Google, Jean Pichon-Pharabod University of Cambridge, UK, Shu-yu Guo Bloomberg, USA
Pre-print
05:20
20m
Talk
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
PLDI Research Papers
Sung-Hwan Lee Seoul National University, South Korea, Minki Cho Seoul National University, South Korea, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Soham Chakraborty IIT Delhi, India, Chung-Kil Hur Seoul National University, South Korea, Ori Lahav Tel Aviv University, Israel, Viktor Vafeiadis MPI-SWS, Germany
05:40
20m
Talk
NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey
PLDI Research Papers
Michal Friedman Technion, Israel, Naama Ben-David Carnegie Mellon University, USA, Yuanhao Wei Carnegie Mellon University, USA, Guy E. Blelloch Carnegie Mellon University, USA, Erez Petrank Technion, Israel