SUBHRAVETI DINESH

Optimizing deterministic event record and replay operations