Program9:30 - 10:30 [Joint session with LADIS]
- Invited talk. Brad King, Scality: Byzantine, human and ordinary faults: learnings from muti-petabyte real-world distributed storage systems. Abstract. Scality now has a number of large distributed systems in production around the world with several years of experience. A brief overview of the design of our systems and example deployments will be given. A number of the outcomes of different expected and unexpected failures will be presented. As the scale and complexity of such systems increase, so do the possibilities of complex failures. Learnings and thoughts about the realities of operating successfully at scale will be discussed.
11:00 - 12:30 [Joint session with LADIS]
- [LADIS talk] Marc Shapiro. Bridging the CAP gap with Just-Right Consistency.
- Diego Didona, Kristina Spirovska and Willy Zwaenepoel. The design of Wren, a fast and scalable transactional causally consistent geo-replicated key-value store.
- João Loff, Daniel Porto, Carlos Baquero, João Garcia, Nuno Preguiça and Rodrigo Rodrigues. Transparent cross-system consistency.
- [LADIS talk] Antonio Babalace. Replication-driven live reconfiguration for fast distributed transaction processing.
14:00 - 15:30
- Tim Jungnickel and Lennart Oldenburg. pluto: The CRDT-driven IMAP server.
- Georges Younes, Paulo Sérgio Almeida and Carlos Baquero. Compact resettable counters through causal stability.
- Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida and João Leitão. Borrowing an identity for a distributed counter.
- Ali Shoker, Houssam Yactine and Carlos Baquero. As secure as possible eventual consistency.
16:00 - 17:30
- Gonçalo Marcelino, Valter Balegas and Carla Ferreira. Bringing hybrid consistency closer to programmers.
- Andrea Cerone, Alexey Gotsman and Hongseok Yang. Algebraic laws for weak consistency.
- Peter Zeller. Testing properties of weakly consistent programs with Repliss.
- Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Akkoorath, Annette Bieniusa, João Leitão and Nuno Preguiça. FMKe: a real-world benchmark for key-value data stores.