Serverless computing separates function execution from state management. Simple retry-
based fault tolerance might corrupt the shared state with duplicate updates. Existing …

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 …

Cloud platform services must simultaneously be scalable, meet low tail latency service-level
objectives, and be resilient to a combination of software, hardware, and network failures …

Computer virtualization brought fast resource provisioning to data centers and the
deployment of pay-per-use cost models. The system virtualization provided by containers …

Cloud computing services often replicate data and may require ways to coordinate
distributed actions. Here we present Derecho, a library for such tasks. The API provides …

Fault-tolerant consensus has been studied extensively in the literature, because it is one of
the important distributed primitives and has wide applications in practice. This paper surveys …

Concurrent programs are notoriously hard to write correctly, as scheduling nondeterminism
introduces subtle errors that are both hard to detect and to reproduce. The most common …

Transient hardware faults during the execution of a program can cause data corruptions. We
present HAFT, a fault tolerance technique using hardware extensions of commodity CPUs to …

We introduce IONIA, a novel replication protocol tailored for modern SSD-based write-
optimized key-value (WO-KV) stores. Unlike existing replication approaches, IONIA carefully …

For security, isolation, metering and other purposes, public clouds today implement complex
network functions at every server. Today's implementations, in software or on FPGAs and …