Quite possibly FoundationDB - they do a lot with deterministic simulation

https://www.foundationdb.org/files/fdb-paper.pdf