A. Jesse Jiryu Davis
- 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.