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 …

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 …

Data centers are increasingly equipped with RDMAs. These network interfaces mark the
advent of a new distributed system model where a node can directly access the remote …

In this work, we investigate the integration of replicated versioned data structures and
append-only distributed storage systems. Doing so facilitates high availability and scalability …

Despite many advances in programming models and frameworks, writing distributed
programs remains hard. Even when the underlying logic is inherently sequential and simple …

Ensuring that our increasingly complicated distributed systems are simultaneously reliable
and efficient is challenging. Rigorous formal analyses can help make the design and …

Abstract Modern Internet of Things (IoT) deployments are geo-distributed and comprise
various devices and architectures. The ever-increasing pervasiveness of IoT has led to the …

Since the advent of Byzantine replicated systems such as PBFT, numerous follow-up
variants can maintain consistent replications in the presence of malicious nodes. However …

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