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 …

Storage as a Service (StaaS) is a vital component of cloud computing by offering the vision
of a virtually infinite pool of storage resources. It supports a variety of cloud-based data store …

Large-scale distributed systems often rely on replicated databases that allow a programmer
to request different data consistency guarantees for different operations, and thereby control …

Increasing transaction volumes have led to a resurgence of interest in distributed transaction
processing. In particular, partitioning data across several servers can improve throughput by …

Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable,
coordination-free distributed systems. However, constructing correct CRDTs is difficult …

Distributed system replication is widely used as a means of fault-tolerance and scalability.
However, it provides a spectrum of consistency choices that impose a dilemma for clients …

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 …

Programming geo-replicated distributed systems is challenging given the complexity of
reasoning about different evolving states on different replicas. Existing approaches to this …

This paper presents an extension to Liquid Haskell that facilitates stating and semi-
automatically proving properties of typeclasses. Liquid Haskell augments Haskell with …

Programming concurrent, distributed systems is hard—especially when these systems
mutate shared, persistent state replicated at geographic scale. To enable high availability …