Sharding is a popular way to achieve scalability in blockchain protocols, increasing their
throughput by partitioning the set of transaction validators into a number of smaller …

Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable,
coordination-free distributed systems. However, constructing correct CRDTs is difficult …

To ease the development of geo-distributed applications, replicated data types (RDTs) offer
a familiar programming interface while ensuring state convergence, low latency, and high …

Despite decades of research and practical experience, developers have few tools for
programming reliable distributed applications without resorting to expensive coordination …

Operation-based Conflict-free Replicated Data Types (CRDTs) are eventually consistent
replicated data types that automatically resolve conflicts between concurrent operations. Op …

Strongly consistent distributed systems are easy to reason about but face fundamental
limitations in availability and performance. Weakly consistent systems can be implemented …

Local-first software manages and processes private data locally while still enabling
collaboration between multiple parties connected via partially unreliable networks. Such …

Conflict-free Replicated Data Types (CRDTs) are a very popular class of distributed data
structures that strike a compromise between strong and eventual consistency. Ensuring the …

Local-first software embraces data replication as a means to achieve scalability and offline
availability. A crucial ingredient of local-first software are mergeable data types, like conflict …

Distributed systems adopt weak consistency to ensure high availability and low latency, but
state convergence is hard to guarantee due to conflicts. Experts carefully design replicated …