Ownership types were devised nearly 15 years ago to provide a stronger notion of protection
to object-oriented programming languages. Rather than simply protecting the fields of an …

Application programmers increasingly prefer distributed storage systems with strong
consistency and distributed transactions (eg, Google's Spanner) for their strong guarantees …

We propose a new paradigm for building scalable distributed systems. Our approach does
not require dealing with message-passing protocols--a major complication in existing …

Ownership types provide a statically enforceable way of specifying object encapsulation and
enable local reasoning about program correctness in object-oriented languages. However …

Software errors are a major cause of outages and they are increasingly exploited in
malicious attacks. Byzantine fault tolerance allows replicated systems to mask some …

Software errors are a major cause of outages and they are increasingly exploited in
malicious attacks. Byzantine fault tolerance allows replicated systems to mask some …

Conventional fault-tolerant distributed transactions layer a traditional concurrency control
protocol on top of the Paxos consensus protocol. This approach provides scalability …

Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not
possible to upgrade all the nodes in a system at once, since some nodes may be …

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 …

The trend towards global applications and services has created an increasing demand for
transaction processing on globally-distributed data. Many database systems, such as …