Publish-subscribe (pub-sub) is an emerging paradigm for building a large number of distributed systems. A wide area pub-sub system is usually implemen...
A critical part of developing a reliable software system is testing its recovery code. This code is traditionally difficult to test in the lab, and, i...
This article describes the design, implementation, and evaluation of Depot, a cloud storage system that minimizes trust assumptions. Depot tolerates...
This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for compre...
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors,...
