Currently, the data to be explored and exploited by computing systems increases at an
exponential rate. The massive amount of data or so-called “Big Data” put pressure on …

Tachyon is a distributed file system enabling reliable data sharing at memory speed across
cluster computing frameworks. While caching today improves read workloads, writes are …

MapReduce is emerging as an important programming model for large-scale data-parallel
applications such as web indexing, data mining, and scientific simulation. Hadoop is an …

We present Zyzzyva, a protocol that uses speculation to reduce the cost and simplify the
design of Byzantine fault tolerant state machine replication. In Zyzzyva, replicas respond to a …

Allowing applications to survive hardware failure is an expensive undertaking, which
generally involves re-engineering software to include complicated recovery logic as well as …

Deterministic replay is a type of emerging technique dedicated to providing deterministic
executions of computer programs in the presence of nondeterministic factors. The …

Malicious code (or Malware) is defined as software that fulfills the deliberately harmful intent
of an attacker. Malware analysis is the process of determining the behavior and purpose of a …

Smartphones enable a new, rich user experience in pervasive computing, but their
hardware is still very limited in terms of computation, memory, and energy reserves, thus …

A longstanding vision in distributed systems is to build reliable systems from unreliable
components. An enticing formulation of this vision is Byzantine Fault-Tolerant (BFT) state …

Distributed systems are traditionally designed independently from the underlying network,
making worst-case assumptions (eg, complete asynchrony) about its behavior. However …