A blockchain is a distributed ledger for recording transactions, maintained by many nodes
without central authority through a distributed cryptographic protocol. All nodes validate the …

We live in an increasingly interconnected world, with many organizations operating across
countries or even continents. To serve their global user base, organizations are replacing …

Spanner is Google's scalable, multiversion, globally distributed, and synchronously
replicated database. It is the first system to distribute data at global scale and support …

This paper studies dynamic BFT, where replicas can join and leave the system dynamically,
a primitive that is nowadays increasingly needed. We provide a formal treatment for dynamic …

Distributed consensus is fundamental to building fault-tolerant systems. It allows a collection
of machines to work as a coherent group that can survive the failures of some of its …

Online applications now routinely replicate their data at multiple sites around the world. In
this paper we present Atlas, the first state-machine replication protocol tailored for such …

Omni-Paxos is a system for state machine replication that is completely resilient to partial
network partitions, a major source of service disruptions in recent years. Omni-Paxos …

Paxos, Viewstamped Replication, and Zab are replication protocols for high-availability in
asynchronous environments with crash failures. Claims have been made about their …

Disclosed is a mechanism for performing rolling updates in a networked virtualization
environment for storage management. The approach is applicable to any resource in the …

Global cloud services have to respond to workloads that shift geographically as a function of
time-of-day or in response to special events. While many such services have support for …