A. Jesse Jiryu Davis

Category: Research

Paper Review: 1Pipe A super-low latency protocol with causal consistency and total order, for cutting-edge data centers.
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.