A. Jesse Jiryu Davis
Paper review: Strong and Efficient Consistency with Consistency-Aware Durability
Don't wait for data to be durable when you write it, wait before you read.
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.