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 …

This paper addresses the problem of category-level image classification. The underlying
image model is a graph whose nodes correspond to a dense set of regions, and edges …

For decades, applications deployed on a world-wide scale have been forced to give up at
least one of (1) strict serializability (2) low latency writes (3) high transactional throughput. In …

Modern distributed systems often rely on databases that achieve scalability by providing
only weak guarantees about the consistency of distributed transaction processing. The …

While causal consistency is one of the most fundamental consistency models weaker than
sequential consistency, the decidability of safety verification for (finite-state) concurrent …

This paper introduces the first state-based formalization of isolation guarantees. Our
approach is premised on a simple observation: applications view storage systems as black …

Clock-SI is a fully distributed protocol that implements snapshot isolation (SI) for partitioned
data stores. It derives snapshot and commit timestamps from loosely synchronized clocks …

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

Causal consistency is one of the most fundamental and widely used consistency models
weaker than sequential consistency. In this paper, we study the verification of safety …