Recent demands for storing and querying big data have revealed various shortcomings of
traditional relational database systems. This, in turn, has led to the emergence of a new kind …

Over the years, different meanings have been associated with the word consistency in the
distributed systems community. While in the'80s “consistency” typically meant strong …

Function-as-a-Service (FaaS) platforms and" serverless" cloud computing are becoming
increasingly popular. Current FaaS offerings are targeted at stateless functions that do …

Recent archaeological discoveries on the island of Paxos reveal that the parliament
functioned despite the peripatetic propensity of its part-time legislators. The legislators …

Developers of cloud-scale applications face a difficult decision of which kind of storage to
use, summarised by the CAP theorem. Currently the choice is between classical CP …

We describe the design, implementation, and evaluation of Occult (Observable Causal
Consistency Using Lossy Timestamps), the first scalable, geo-replicated data store that …

This paper presents the design, implementation, and evaluation of Saturn, a metadata
service for geo-replicated systems. Saturn can be used in combination with several …

We consider the setting of serverless Function-as-a-Service (FaaS) platforms, where storage
services are disaggregated from the machines that support function execution. FaaS …

Existing permissioned blockchains often rely on coordination-based consensus protocols to
ensure the safe execution of applications in a Byzantine environment. Furthermore, the …

Collaborative text editing systems allow users to concurrently edit a shared document,
inserting and deleting elements (eg, characters or lines). There are a number of protocols for …