We propose a runtime-assisted approach to enforce convergence in distributed executions
of replicated data types. The key distinguishing aspect of our approach is that it guarantees …

Businesses often use mobile text messages (SMS) as a cost effective and universal way of
communicating concise information to their customers. Today, these messages are usually …

Distributed storage systems employ replication to improve performance and reliability. To
provide low latency data access, replicas are often required to accept updates without …

Internet-scale distributed systems often replicate data within and across data centers to
provide low latency and high availability despite node and network failures. Replicas are …

Abstract Conflict-free Replicated Data Types (CRDTs) are popular building blocks of
distributed applications. CRDTs guarantee eventual convergence of the replicated state …