Nsdi 25 Runtime Protocol Refinement Checking For Distributed Protocol Implementations

Summary

Runtime Protocol Refinement Checking for Distributed Protocol Implementations OptiReduce: Resilient and Tail-Optimal AllReduce for HA/TCP: A Reliable and Scalable Framework for TCP Network Functions Haoyu Gu, Ali José Mashtizadeh, and Bernard Wong, ... What happens when compliance starts operating at machine speed? In this episode of Behind the Shield, Gary Daemer sits down ... ByteCheckpoint: A Unified Checkpointing System for Large Foundation Model Development Borui Wan, The University of Hong ... PRED: Performance-oriented Random Early Detection for Consistently Stable Performance in Datacenters Xinle Du, Huawei ... Demonstration of the Reliable UDP Seo Jin Park and John Ousterhout, Stanford University Traditional approaches to replication require client requests to be ordered ... State-Compute Replication: Parallelizing High-Speed Stateful Packet Processing Qiongwen Xu, Rutgers University; Sebastiano ... Self-Clocked Round-Robin Packet Scheduling Erfan Sharafzadeh, Johns Hopkins University and Hewlett Packard Labs; ... FastServe: Iteration-Level Preemptive Scheduling for Large Language Model Inference Bingyang Wu, Yinmin Zhong, Zili Zhang, ... DPAS: A Prompt, Accurate and Safe I/O Completion Method for SSDs Dongjoo Seo, University of California, Irvine; Jihyeon Jung ...