This paper presents Eve, a new Execute-Verify architecture that allows state machine
replication to scale to multi-core servers. Eve departs from the traditional agree-execute …

Explores the firewall security and performance relationships for distributed systems.
Experiments are conducted to set firewall security into seven different levels and to quantify …

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 …

Lightweight Application-Level Crash Consistency on Transactional Flash Storage Page 1
This paper is included in the Proceedings of the 2015 USENIX Annual Technical …

The Full Path to Full-Path Indexing Page 1 This paper is included in the Proceedings of the
16th USENIX Conference on File and Storage Technologies. February 12–15, 2018 • Oakland …

Full-path indexing can improve I/O efficiency for workloads that operate on data organized
using traditional, hierarchical directories, because data is placed on persistent storage in …

Modern applications have their own update protocols to remain failure consistency.
However, these protocols are implemented without a comprehensive understanding of the …

Software should behave correctly even in adverse conditions. Particularly, we study the
problem of automated validation of crash consistency, ie, file system data safety when …

We present Lerna, an end-to-end tool that automatically and transparently detects and
extracts parallelism from data-dependent sequential loops. Lerna uses speculation …

State machine replication is one of the most popular ways to achieve fault tolerance. In a
nutshell, the state machine replication approach maintains multiple replicas that both store a …