. . "Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record and Replay (PDF)"^^ . . . . . . . .