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

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 …

The virtues of deterministic parallelism have been argued for decades and many forms of
deterministic parallelism have been described and analyzed. Here we are concerned with …

Standard state-machine replication involves consensus on a sequence of totally ordered
requests through, for example, the Paxos protocol. Such a sequential execution model is …

Chimera uses a new hybrid program analysis to provide deterministic replay for commodity
multiprocessor systems. Chimera leverages the insight that it is easy to provide deterministic …

Hypergraph partitioning is used in many problem domains including VLSI design, linear
algebra, Boolean satisfiability, and data mining. Most versions of this problem are NP …

Exploit mitigations, by themselves, do not stop determined and well-resourced adversaries
from compromising vulnerable software through memory corruption. Multi-variant execution …

Tapir (pronounced TAY-per) is a compiler intermediate representation (IR) that embeds
recursive fork-join parallelism, as supported by task-parallel programming platforms such as …

Multithreaded programs execute nondeterministically on conventional architectures and
operating systems. This complicates many tasks, including debugging and testing …

Non-determinism in program execution can make program development and debugging
difficult. In this paper, we argue that solutions to this problem should be on-demand, portable …