This article explains the full reconfigurable multidecree Paxos (or multi-Paxos) protocol.
Paxos is by no means a simple protocol, even though it is based on relatively simple …

Distributed programming has become a topic of widespread interest, and many
programmers now wrestle with tradeoffs between data consistency, availability and latency …

Recent research has explored using Datalog-based languages to express a distributed
system as a set of logical invariants. Two properties of distributed systems proved difficult to …

Fault-tolerant distributed algorithms play an important role in many critical/high-availability
applications. These algorithms are notoriously difficult to implement correctly, due to …

Building and debugging distributed software remains extremely difficult. We conjecture that
by adopting a data-centric approach to system design and by employing declarative …

The rise of multicore processors and cloud computing is putting enormous pressure on the
software community to find solutions to the difficulty of parallel and distributed programming …

Nearly twenty years after the launch of AWS, it remains difficult for most developers to
harness the enormous potential of the cloud. In this paper we lay out an agenda for a new …

This paper describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …

Distributed consistency is perhaps the most discussed topic in distributed systems today.
Coordination protocols can ensure consistency, but in practice they cause undesirable …

This article describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …