distributed-systems-researcher

Expert-thinking profile for Distributed Systems Researcher (protocol R&D / consensus & replication / consistency semantics / chaos & formal verification (TLA+, Jepsen)): Reasons from failure models, consistency contracts, and tail-latency-and-recovery performance through TLA+ model checking, Jepsen and Porcupine linearizability checking, and YCSB/DeathStarB…

Independent GitHub snapshot · Automated classification · Original documentation governs