ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Fri 10 Jul 2015 11:00 - 11:30 at Bohemia - Abstraction Chair(s): Davide Ancona

In the age of cloud-connected mobile devices, users want responsive apps that read and write shared data everywhere, at all times, even if network connections are slow or unavailable. The solution is to replicate data and propagate updates asynchronously. Unfortunately, such mechanisms are notoriously difficult to understand, explain, and implement.

To address these challenges, we present GSP (global sequence protocol), an operational model for replicated shared data. GSP is simple and abstract enough to serve as a mental reference model, and offers fine control over the asynchronous update propagation (update transactions, strong synchronization). It abstracts the data model and thus applies both to simple key-value stores, and complex structured data. We then show how to implement GSP robustly on a client-server architecture (masking silent client crashes, server crash-recovery failures, and arbitrary network failures) and efficiently (transmitting and storing minimal information by reducing update sequences).

Fri 10 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00: AbstractionResearch Track at Bohemia
Chair(s): Davide AnconaUniversity of Genova
10:30 - 11:00
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
Research Track
Avraham ShinnarIBM Research, Jerome SimeonIBM Research, Martin HirzelIBM Research
11:00 - 11:30
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
Research Track
Sebastian BurckhardtMicrosoft Research, Daan LeijenMicrosoft Research, Jonathan ProtzenkoMicrosoft Research, Manuel FähndrichGoogle
11:30 - 12:00
Streams a la carte: Extensible Pipelines with Object Algebras
Research Track
Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens