Optimizing Data Placement for Distributed OLAP Systems

Using MIP solvers to model and optimize shard placement

Getting started with TLA+

End-to-End Arguments in System Design

Paper Review

Distributed Reference Counting