Mon 15 Jun 2015 17:15 - 17:40 at PLDI Main BLUE (Portland 254-255) - Concurrency I Chair(s): Santosh Nagarakatte

We present a general theory of serializability, unifying a wide range of transactional algorithms, including some that are yet to come. To this end, we provide a compact semantics in which concurrent transactions push their effects into the shared view (or unpush to recall effects) and pull the effects of potentially uncommitted concurrent transactions into their local view (or unpull to detangle). Each operation comes with simple side-conditions given in terms of commutativity (Lipton’s left-movers and right-movers).

The benefit of this model is that most of the elaborate reasoning (coinduction, simulation, subtle invariants, etc.) necessary for proving the serializability of a transactional algorithm is already proved within the semantic model. Thus, proving serializability (or opacity) amounts simply to mapping the algorithm on to our rules, and showing that it satisfies the rules’ side-conditions.

Mon 15 Jun

Displayed time zone: Tijuana, Baja California change

16:00 - 17:40
Concurrency IResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Santosh Nagarakatte Rutgers University
16:00
25m
Talk
Asynchronous Programming, Analysis and Testing with State Machines
Research Papers
Pantazis Deligiannis Imperial College London, Alastair F. Donaldson Imperial College London, Jeroen Ketema , Akash Lal Microsoft Research India, Paul Thomson Imperial College London
Media Attached
16:25
25m
Talk
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction
Research Papers
Jeff Huang Texas A&M University
Media Attached
16:50
25m
Talk
Synthesizing racy tests
Research Papers
Malavika Samak Indian Institute of Science, Bangalore, Murali Krishna Ramanathan Indian Institute of Science, Bangalore, Suresh Jagannathan Purdue University
Media Attached
17:15
25m
Talk
The Push/Pull model of transactions
Research Papers
Eric Koskinen IBM TJ Watson Research Center, Matthew J. Parkinson Microsoft Research, UK
Media Attached