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, ... ByteCheckpoint: A Unified Checkpointing System for Large Foundation Model Development Borui Wan, The University of Hong ... 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; ... Demonstration of the Reliable UDP PRED: Performance-oriented Random Early Detection for Consistently Stable Performance in Datacenters Xinle Du, Huawei ... Seo Jin Park and John Ousterhout, Stanford University Traditional approaches to replication require client requests to be ordered ... Yuchen Jin, University of Washington; Colin Scott, UC Berkeley; Amogh Dhamdhere, CAIDA; Vasileios Giotsas, Lancaster ... 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 ...