ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Thu 19 Jul 2018 11:00 - 11:25 at Zurich II - Asynchrony and Concurrency Chair(s): Todd Millstein

While advantages of reactive programming in software design are widely recognized, the lack of a suitable fault handling model hinders its adoption in distributed systems. In this paper, we present a novel approach to provide fault tolerance for distributed reactive programming. We extend the reactive runtime to automatically store and recover program state in the presence of failures, automatically update and share distributed parts of the state providing eventual consistency, and handle errors in a fine-grained manner when manual control is necessary. By leveraging the guarantees that the reactive programming paradigm provides, these mechanisms are provided to applications in a highly transparent way and with reasonable performance, as indicated by our experimental evaluation.

Conference Day
Thu 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:40
Asynchrony and ConcurrencyECOOP Research Papers at Zurich II
Chair(s): Todd MillsteinUniversity of California, Los Angeles
11:00
25m
Research paper
Fault-tolerant Distributed Reactive Programming
ECOOP Research Papers
Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt
DOI
11:25
25m
Research paper
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
ECOOP Research Papers
Hiroaki InoueMitsubishi Electric Corporation, Japan, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan
DOI
11:50
25m
Research paper
Theory and Practice of Coroutines with Snapshots
ECOOP Research Papers
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
DOI
12:15
25m
Research paper
A Concurrent Specification of POSIX File Systems
ECOOP Research Papers
Gian NtzikImperial College London, Pedro da Rocha PintoImperial College London, Julian SutherlandImperial College London, Philippa GardnerImperial College London
DOI