PWL #54: TBD

Details
• What we'll do
Main Event:
Shashwat will present Conflict-free Replicated Data Types(https://hal.inria.fr/hal-00932836/file/CRDTs_SSS-2011.pdf)
Replicating data under Eventual Consistency (EC) allows any replica to accept updates without remote synchronisation. This ensures performance and scalability in large-scale distributed systems (e.g., clouds). However, published EC approaches are ad-hoc and error-prone. Under a formal Strong Eventual Consistency (SEC) model, we study sufficient conditions for convergence. A data type that satisfies these conditions is called a Conflict-free Replicated Data Type (CRDT). Replicas of any CRDT are guaranteed to converge in a self-stabilising manner,
despite any number of failures. This paper formalises two popular approaches (state- and operation-based) and their relevant sufficient conditions. We study a number of useful CRDTs, such as sets with clean
semantics, supporting both add and remove operations, and consider in
depth the more complex Graph data type. CRDT types can be composed
to develop large-scale distributed applications, and have interesting theoretical properties

• Important to know
Meetup is online, link in this page

Stop slacking and join us in the #seattle channel at https://papersweloveslack.herokuapp.com!

If you have a paper you'd like to present, or even just a mini, please hit up one of the organizers :) We're always looking for more presenters.