A. Jesse Jiryu Davis
Paper Review: E-Store, P-Store, and Elastic Database Systems
A PhD thesis and two papers about reactive and predictive autoscaling.
Paper Review: 1Pipe
A super-low latency protocol with causal consistency and total order, for cutting-edge data centers.
Multi-Paxos in Python, tested with Jepsen
A 2-week toy project to learn a famous algorithm and try out a distributed systems test framework.
Paper review: Scaling Large Production Clusters with Partitioned Synchronization
A clever algorithm for reducing conflicts in a distributed task scheduler.
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.