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 …

Minimizing coordination, or blocking communication between concurrently executing
operations, is key to maximizing scalability, availability, and high performance in database …

The rise of data-intensive" Web 2.0" Internet services has led to a range of popular new
programming frameworks that collectively embody the latest incarnation of the vision of …

We propose Lasp, a new programming model designed to simplify large-scale distributed
programming. Lasp combines ideas from deterministic dataflow programming together with …

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 …

As the engineering world moves towards collaborative model-driven development, it is
becoming increasingly difficult to keep all model artifacts synchronized and consistent …

This paper presents the design, implementation, and evaluation of TARDiS (Transactional
Asynchronously Replicated Divergent Store), a transactional key-value store explicitly …

High-level data types are often associated with semantic invariants that must be preserved
by any correct implementation. While having implementations enforce strong guarantees …

Developers of cloud-connected mobile apps need to ensure the consistency of application
and user data across multiple devices. Mobile apps demand different choices of distributed …

Strong consistency is widely used in systems such as relational databases. In a distributed
system, strong consistency ensures that all clients observe consistent data updates …