NSDI 2025 Digest

Mon, 28 Apr 2025 00:00:00 +0000

13 papers selected.

PRED: Performance-oriented Random Early Detection for Consistently Stable Performance in Datacenters

Xinle Du, Tong Li 0014, Guangmeng Zhou, Zhuotao Liu et al.

TL;DR — PRED redesigns AQM by making drop probability a direct function of per-flow performance targets rather than queue length, eliminating the instability of classic RED in modern datacenter workloads.

Why notable — RED has been a cornerstone of congestion control for decades; PRED’s performance-centric reformulation challenges a long-held design axiom and demonstrates significantly lower tail latency at scale. It opens the door to intent-driven AQM as a first-class primitive in datacenter switches.

SOSP 2024 Digest

Tue, 05 Nov 2024 00:00:00 +0000

13 papers selected.

Verus: A Practical Foundation for Systems Verification

Andrea Lattuada 0001, Travis Hance, Jay Bosamiya, Matthias Brun 0002 et al.

TL;DR — Verus is a Rust-based verification framework that makes formal proofs of low-level systems code tractable at scale, covering memory safety, functional correctness, and concurrency.

Why notable — Formal verification of real systems code has long been impractical; Verus closes the usability gap by integrating SMT-based proofs directly into a systems programming language, making it the most broadly applicable verification tool for the OS community to date.

Ml-Systems on Publish Assistant

NSDI 2025 Digest

PRED: Performance-oriented Random Early Detection for Consistently Stable Performance in Datacenters

SOSP 2024 Digest

Verus: A Practical Foundation for Systems Verification