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: (GMT-07:00) Pacific Time (US & Canada) change

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

YouTube lightning session video

pldi-2020-papers05:00 - 05:20
Talk
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
pldi-2020-papers05:20 - 05:40
Talk
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
pldi-2020-papers05:40 - 06:00
Talk
Michal FriedmanTechnion, Israel, Naama Ben-DavidCarnegie Mellon University, USA, Yuanhao WeiCarnegie Mellon University, USA, Guy E. BlellochCarnegie Mellon University, USA, Erez PetrankTechnion, Israel