PaPoC 2019

Workshop Program (25th March 2019)

09:00 - 10:00 Keynote by Carla Ferreira (NOVA University of Lisbon & NOVA LINCS)
Title: Techniques for safe and highly available cloud applications

Abstract:
Building trustworthy cloud applications is inherently complex and error-prone, and requires developers with a high level of expertise. In this talk, I will discuss sound analyze techniques that leverage recent theoretical advances to safely reduce or even avoid altogether coordinating the execution of operations. The approach consists of modifying operations in a way that application invariants are ensured to be always maintained. When no conflicting updates occur, the modified operations present their original semantics. Otherwise, it uses sensible and deterministic conflict resolution policies that preserve the invariants of the application.

10:00 - 10:30 In Search of a Scalable Raft-based Replication Architecture. Christian Deyerl and Tobias Distler. [PDF]
10:30 - 11:00 Support of Strong Consistency on Fog Applications. Diogo Lima, Hugo Miranda and Francois Taiani. [PDF]

11:30 - 12:00 Invariant Safety for Distributed Applications. Sreeja S Nair, Gustavo Petri and Marc Shapiro. [PDF]
12:00 - 12:30 Higher-Order Patterns in Replicated Data Types. Adriaan Leijnse, Paulo Sérgio Almeida and Carlos Baquero. [PDF]

14:00 - 14:30 Interleaving anomalies in collaborative text editors. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan and Alastair R. Beresford. [PDF]
14:30 - 15:00 Data Replication on the Cloud/Edge. David Mealha, Nuno Preguiça, Maria Cecília Gomes and João Leitão. [PDF]
15:00 - 15:30 Secure causal delivery with client-side replication. Albert van der Linde, João Leitão and Nuno Preguiça.
15:30 - 16:00 A generic Replicated Data Type for Strong Eventual Consistency (Extended Abstract). Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter and Elisa Gonzalez Boix. [PDF]