A. Jesse Jiryu Davis
Paper review: Paxos vs Raft
Which consensus algorithm will win?
Aragog: Scalable Runtime Verification of Shardable Networked Systems
An efficient invariant checker for network protocols.
Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories
A clever research paper describing a rack-sized distributed KV store.
Two attempts to compare a TLA+ spec with a C++ implementation
At MongoDB we tried two methods to test that a spec matches the code: one worked, one didn't. We explain our results in a VLDB 2020 paper.