https://pub.sqrt.fr/vincent/publish-assistant/tags/network-verification/Recent content in Network-Verification on Publish AssistantHugoen-usMon, 28 Apr 2025 00:00:00 +0000https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/nsdi-2025/Mon, 28 Apr 2025 00:00:00 +0000https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/nsdi-2025/<p>13 papers selected.</p> <hr> <h3 id="pred-performance-oriented-random-early-detection-for-consistently-stable-performance-in-datacenters">PRED: Performance-oriented Random Early Detection for Consistently Stable Performance in Datacenters</h3> <p><em>Xinle Du, Tong Li 0014, Guangmeng Zhou, Zhuotao Liu <em>et al.</em></em></p> <p><strong>TL;DR</strong> — 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.</p> <p><strong>Why notable</strong> — RED has been a cornerstone of congestion control for decades; PRED&rsquo;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.</p>