Nicolas Viennot

• Deterministic, Mutable, and Distributed Record-Replay for Operating Systems and Database Systems