The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web
DoublePlay: Parallelizing Sequential Logging and Replay