In this chapter, we describe code-pointer integrity (CPI), a new design point that guarantees
the integrity of all code pointers in a program (eg, function pointers, saved return addresses) …

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 …

When systems fail in production environments, log data is often the only information
available to programmers for postmortem debugging. Consequently, programmers' decision …

Concurrency bugs are widespread in multithreaded programs. Fixing them is time-
consuming and error-prone. We present CFix, a system that automates the repair of …

Non-volatile memory technologies, such as memristor and phase-change memory, will allow
programs to persist data with regular memory instructions. Liberated from the overhead to …

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 …

We present Swarm, a novel architecture that exploits ordered irregular parallelism, which is
abundant but hard to mine with current software and hardware techniques. In this …

The ability to record and replay program executions with low overhead enables many
applications, such as reverse-execution debugging, debugging of hard-to reproduce test …

The vast majority of state produced by a typical computer is generated, consumed, then lost
forever. We argue that a computer system should instead provide the ability to recall any …

With the widespread availability of multi-core processors, running multiple diversified
variants or several different versions of an application in parallel is becoming a viable …