Weekly Paper Notes — three entries per week: 1 seminal + 2 top picks.
🔁 Seminal Paper of the Week
- The Design and Implementation of a Log-Structured File System — Mendel Rosenblum & John K. Ousterhout (1991/1992). The bet that memory growth would make disks write-only devices — and the segment cleaner design that every LSM engine and SSD firmware has been reinventing ever since.
⭐ Top Papers of the Week
- Specula: Scaling Formal Specifications for Autonomous Model Checking of System Code — Cheng, Pial, Tang, Su, Ma, Hackett, Beschastnikh, Huang & Xu (Nanjing / UIUC / UBC). Coding agents write their own TLA+ models and invariants, held honest by opposing pressures from trace validation and model checking; 249 bugs across 48 open-source systems, zero false positives.
- Incast-Free MoE Rate-Based Scheduling — Cohen, Yallouz, Shpiner, Silberstein, Ratnasamy & Keslassy (Technion / NVIDIA / UC Berkeley). Round-robin scheduling of skewed MoE all-to-all traffic causes an exponentially growing incast at hot experts; normalizing the demand matrix by its worst-case row/column sum eliminates it by construction.
The full weekly Slack digest covered roughly 15 more papers across AI/ML, NLP, distributed computing, databases and networking; only the highest-impact picks are expanded into blog notes.
