55 citations · 65 across the 5 of their papers we have counts for
3 papers · 1 filter
Inferring Formal Properties of Production Key-Value Stores
Edgar Pek, Pranav Garg, Muntasir Raihan Rahman +3
Production distributed systems are challenging to formally verify, in particular when they are based on distributed protocols that are not rigorously described or fully understood.…
Characterizing and Adapting the Consistency-Latency Tradeoff in Distributed Key-value Stores
Muntasir Raihan Rahman, Lewis Tseng, Son Nguyen +2
The CAP theorem is a fundamental result that applies to distributed storage systems. In this paper, we first present and prove two CAP-like impossibility theorems. To state these t…
Toward a Principled Framework for Benchmarking Consistency
Muntasir Raihan Rahman, Wojciech Golab, Alvin AuYoung +2
Large-scale key-value storage systems sacrifice consistency in the interest of dependability (i.e., partition tolerance and availability), as well as performance (i.e., latency). S…