Recently, there is an increasing interest in building data-center applications with RDMA
because of its low-latency, high-throughput, and low-CPU-utilization benefits. However …

State machine replication (SMR) uses Paxos to enforce the same inputs for a program (eg,
Redis) replicated on a number of hosts, tolerating various types of failures. Unfortunately …

Today's datacenter applications are underpinned by datastores that are responsible for
providing availability, consistency, and performance. For high availability in the presence of …

Remote Direct Memory Access (RDMA) is becoming widely available in data centers. This
technology allows a process to directly read and write the memory of a remote host, with a …

The shared log paradigm is at the heart of modern distributed applications in the growing
cloud computing industry. Often, application logs must be stored durably for analytics …

Overheads in Operating System kernel network stacks and sockets have been hindering
OSes from managing networking operations efficiently for years. Moreover, when building …

Distributed in-memory datastores underpin cloud applications that run within a datacenter
and demand high performance, strong consistency, and availability. A key feature of …

Many large-scale computations are nowadays computed using several processes, whether
on a single multi-core machine, or distributed over many machines. This wide-spread use of …

Big data applications put significant latency and throughput demands on distributed storage
systems. Meeting these demands requires storage systems to use a significant amount of …

Ensuring the correctness of distributed system implementations remains a challenging and
largely unaddressed problem. In this paper we present a protocol that can be used to certify …