• Publications
  • Influence
Conflict-Free Replicated Data Types
This paper formalises two popular approaches (state- and operation-based) and their relevant sufficient conditions. Expand
A comprehensive study of Convergent and Commutative Replicated Data Types
We propose the concept of a convergent or commutative replicated data type (CRDT), for which some simple mathematical properties ensure eventual consistency. Expand
Optimistic replication
Data replication is a key technology in distributed systems that enables higher availability and performance. This article surveys optimistic replication algorithms. They allow replica contents toExpand
A Commutative Replicated Data Type for Cooperative Editing
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute with one another. Expand
Cure: Strong Semantics Meets High Availability and Low Latency
This paper presents the protocols for highly available transactions, and an experimental evaluation showing that Cure is able to achieve scalability similar to NoSQL databases, while providing stronger guarantees. Expand
Fast and accurate flow-insensitive points-to analysis
The paper makes two contributions to work in this area: The first contribution is a set of experiments that explore the trade-offs between techniques previously defined by Lars Andersen and Bjarne Steensgaard. Expand
The IceCube approach to the reconciliation of divergent replicas
We describe a novel approach to log-based reconciliation called IceCube. Expand
Write Fast, Read in the Past: Causal Consistency for Client-Side Applications
The SwiftCloud distributed object database is the first to provide fast reads and writes via a causally-consistent client-side local cache backed by the cloud, using small and bounded metadata. Expand
Putting consistency back into eventual consistency
We present the design and evaluation of Indigo, a middleware that provides Explicit Consistency on top of a causally-consistent data store, even for critical operations that could potentially break invariants. Expand
Non-monotonic Snapshot Isolation: Scalable and Strong Consistency for Geo-replicated Transactional Systems
We present Non-Monotonic Snapshot Isolation (NMSI), the first strong consistency criterion to allow implementations with all four properties. Expand