NSDI 2025

83 papers

BFTBrain: Adaptive BFT Consensus with Reinforcement Learning

Chenyuan Wu, Haoyun Qin, Mohammad Javad Amiri, Boon Thau Loo, Dahlia Malkhi

Resolving Packets from Counters: Enabling Multi-scale Network Traffic Super Resolution via Composable Large Traffic Model

Xizheng Wang, Libin Liu, Li Chen, Dan Li, Yukai Miao

CATO: End-to-End Optimization of ML-Based Traffic Analysis Pipelines

Gerry Wan, Shinan Liu, Francesco Bronzino, Nick Feamster, Zakir Durumeric

Mutant: Learning Congestion Control from Existing Protocols via Online Reinforcement Learning

Lorenzo Pappone, Alessio Sacco, Flavio Esposito

When P4 Meets Run-to-completion Architecture

Hao Zheng, Xin Yan, Wenbo Li, Jiaqi Zheng, Xiaoliang Wang

Everything Matters in Programmable Packet Scheduling

Albert Gran Alcoz, Balázs Vass, Pooria Namyar, Behnaz Arzani, Gábor Rétvári

Self-Clocked Round-Robin Packet Scheduling

Erfan Sharafzadeh, Raymond Matson, Jean Tourrilhes, Puneet Sharma, Soudeh Ghorbani

ClubHeap: A High-Speed and Scalable Priority Queue for Programmable Packet Scheduling

Zhikang Chen, Haoyu Song, Zhiyu Zhang, Yang Xu, Bin Liu

PreAcher: Secure and Practical Password Pre-Authentication by Content Delivery Networks

Shihan Lin, Suting Chen, Yunming Xiao, Yanqi Gu, Aleksandar Kuzmanovic

From Address Blocks to Authorized Prefixes: Redesigning RPKI ROV with a Hierarchical Hashing Scheme for Fast and Memory-Efficient Validation

Zedong Ni, Yinbo Xu, Hui Zou, Yanbiao Li, Guang Cheng

ValidaTor: Domain Validation over Tor

Jens Frieß, Haya Schulmann, Michael Waidner

Suppressing BGP Zombies with Route Status Transparency

Yosef Edery Anahory, Jie Kong, Nicholas Scaglione, Justin Furuness, Hemi Leibowitz

CEGS: Configuration Example Generalizing Synthesizer

Jianmin Liu, Li Chen, Dan Li, Yukai Miao

Runtime Protocol Refinement Checking for Distributed Protocol Implementations

Ding Ding, Zhanghan Wang, Jinyang Li, Aurojit Panda

A Layered Formal Methods Approach to Answering Queue-related Queries

Divya Raghunathan, Maria Apostolaki, Aarti Gupta

Verifying maximum link loads in a changing world

Tibor Schneider, Stefano Vissicchio, Laurent Vanbever

Efficient Multi-WAN Transport for 5G with OTTER

Mary Hogan, Gerry Wan, Yiming Qiu, Sharad Agarwal, Ryan Beckett

Building Massive MIMO Baseband Processing on a Single-Node Supercomputer

Xincheng Xie, Wentao Hou, Zerui Guo, Ming Liu

Towards Energy Efficient 5G vRAN Servers

Anuj Kalia, Nikita Lazarev, Leyang Xue, Xenofon Foukas, Bozidar Radunovic

Large Network UWB Localization: Algorithms and Implementation

Nakul Garg, Irtaza Shahid, Ramanujan K Sheshadri, Karthikeyan Sundaresan, Nirupam Roy

CellReplay: Towards accurate record-and-replay for cellular networks

William Sentosa, Balakrishnan Chandrasekaran, P. Brighten Godfrey, Haitham Hassanieh

Pushing the Limits of In-Network Caching for Key-Value Stores

Gyuyeong Kim

Building an Elastic Block Storage over EBOFs Using Shadow Views

Sheng Jiang, Ming Liu

Understanding and Profiling NVMe-over-TCP Using ntprof

Yuyuan Kang, Ming Liu

ODRP: On-Demand Remote Paging with Programmable RDMA

Zixuan Wang, Xingda Wei, Jinyu Gu, Hongrui Xie, Rong Chen

Achieving Wire-Latency Storage Systems by Exploiting Hardware ACKs

Qing Wang, Jiwu Shu, Jing Wang, Yuhao Zhang

Eden: Developer-Friendly Application-Integrated Far Memory

Anil Yelam, Stewart Grant, Saarth Deshpande, Nadav Amit, Radhika Niranjan Mysore

Mitigating Scalability Walls of RDMA-based Container Networks

Wei Liu, Kun Qian, Zhenhua Li, Feng Qian, Tianyin Xu

Securing Public Cloud Networks with Efficient Role-based Micro-Segmentation

Sathiya Kumaran Mani, Kevin Hsieh, Santiago Segarra, Ranveer Chandra, Yajie Zhou

The Benefits and Limitations of User Interrupts for Preemptive Userspace Scheduling

Linsong Guo, Danial Zuberi, Tal Garfinkel, Amy Ousterhout

GREEN: Carbon-efficient Resource Scheduling for Machine Learning Clusters

Kaiqiang Xu, Decang Sun, Han Tian, Junxue Zhang, Kai Chen

ONCache: A Cache-Based Low-Overhead Container Overlay Network

Shengkai Lin, Shizhen Zhao, Peirui Cao, Xinchi Han, Quan Tian

MTP: Transport for In-Network Computing

Tao Ji, Rohan Vardekar, Balajee Vamanan, Brent E. Stephens, Aditya Akella

State-Compute Replication: Parallelizing High-Speed Stateful Packet Processing

Qiongwen Xu, Sebastiano Miano, Xiangyu Gao, Tao Wang, Adithya Murugadass

High-level Programming for Application Networks

Xiangfeng Zhu, Yuyao Wang, Banruo Liu, Yongtong Wu, Nikola Bojanic

HA/TCP: A Reliable and Scalable Framework for TCP Network Functions

Haoyu Gu, Ali José Mashtizadeh, Bernard Wong

PAPAYA Federated Analytics Stack: Engineering Privacy, Scalability and Practicality

Harish Srinivas, Graham Cormode, Mehrdad Honarkhah, Samuel Lurye, Jonathan Hehir

Evolution of Aegis: Fault Diagnosis for AI Model Training Service in Production

Jianbo Dong, Kun Qian, Pengcheng Zhang, Zhilong Zheng, Liang Chen

GPU-Disaggregated Serving for Deep Learning Recommendation Models at Scale

Lingyun Yang, Yongchen Wang, Yinghao Yu, Qizhen Weng, Jianbo Dong

Learning Production-Optimized Congestion Control Selection for Alibaba Cloud CDN

Xuan Zeng, Haoran Xu, Chen Chen, Xumiao Zhang, Xiaoxi Zhang

Shoal++: High Throughput DAG BFT Can Be Fast and Robust!

Balaji Arun, Zekun Li, Florian Suri-Payer, Sourav Das, Alexander Spiegelman

Vegeta: Enabling Parallel Smart Contract Execution in Leaderless Blockchains

Tianjing Xu, Yongqi Zhong, Yiming Zhang, Ruofan Xiong, Jingjing Zhang

Ladder: A Convergence-based Structured DAG Blockchain for High Throughput and Low Latency

Dengcheng Hu, Jianrong Wang, Xiulong Liu, Hao Xu, Xujing Wu

Pineapple: Unifying Multi-Paxos and Atomic Shared Registers

Tigran Bantikyan, Jonathan Zarnstorff, Te-Yen Chou, Lewis Tseng, Roberto Palmieri

SuperServe: Fine-Grained Inference Serving for Unpredictable Workloads

Alind Khare, Dhruv Garg, Sukrit Kalra, Snigdha Grandhi, Ion Stoica

Efficient Direct-Connect Topologies for Collective Communications

Liangyu Zhao, Siddharth Pal, Tapan Chugh, Weiyang Wang, Jason Fantl

OptiReduce: Resilient and Tail-Optimal AllReduce for Distributed Deep Learning in the Cloud

Ertza Warraich, Omer Shabtai, Khalid Manaa, Shay Vargaftik, Yonatan Piasetzky

AutoCCL: Automated Collective Communication Tuning for Accelerating Distributed and Parallel DNN Training

Guanbin Xu, Zhihao Le, Yinhe Chen, Zhiqi Lin, Zewen Jin

AsTree: An Audio Subscription Architecture Enabling Massive-Scale Multi-Party Conferencing

Tong Meng, Wenfeng Li, Chao Yuan, Changqing Yan, Le Zhang

Tooth: Toward Optimal Balance of Video QoE and Redundancy Cost by Fine-Grained FEC in Cloud Gaming Streaming

Congkai An, Huanhuan Zhang, Shibo Wang, Jingyang Kang, Anfu Zhou

Region-based Content Enhancement for Efﬁcient Video Analytics at the Edge

WEIJUN WANG, Liang Mi, Shaowei Cen, Haipeng Dai, Yuanchun Li

Dissecting and Streamlining the Interactive Loop of Mobile Cloud Gaming

Yang Li, Jiaxing Qiu, Hongyi Wang, Zhenhua Li, Feng Qian

Mowgli: Passively Learned Rate Control for Real-Time Video

Neil Agarwal, Rui Pan, Francis Y. Yan, Ravi Netravali

ByteCheckpoint: A Unified Checkpointing System for Large Foundation Model Development

Borui Wan, Mingji Han, Yiyao Sheng, Yanghua Peng, Haibin Lin

SimAI: Unifying Architecture Design and Performance Tuning for Large-Scale Large Language Model Training with Scalability and Precision

Xizheng Wang, Qingxu Li, Yichi Xu, Gang Lu, Dan Li

Holmes: Localizing Irregularities in LLM Training with Mega-scale GPU Clusters

Zhiyi Yao, Pengbo Hu, Congcong Miao, Xuya Jia, Zuning Liang

Minder: Faulty Machine Detection for Large-scale Distributed Model Training

Yangtao Deng, Xiang Shi, Zhuo Jiang, Xingjian Zhang, Lei Zhang

Optimizing RLHF Training for Large Language Models with Stage Fusion

Yinmin Zhong, Zili Zhang, Bingyang Wu, Shengyu Liu, Yukun Chen

Accelerating Design Space Exploration for LLM Training Systems with Multi-experiment Parallel Simulation

Fei Gui, Kaihui Gao, Li Chen, Dan Li, Vincent Liu

SIRD: A Sender-Informed, Receiver-Driven Datacenter Transport Protocol

Konstantinos Prasopoulos, Ryan Kosta, Edouard Bugnion, Marios Kogias

White-Boxing RDMA with Packet-Granular Software Control

Chenxingyu Zhao, Jaehong Min, Ming Liu, Arvind Krishnamurthy

eTran: Extensible Kernel Transport with eBPF

Zhongjie Chen, Qingkai Meng, ChonLam Lao, Yifan liu, Fengyuan Ren

Pyrrha: Congestion-Root-Based Flow Control to Eliminate Head-of-Line Blocking in Datacenter

Kexin Liu, Zhaochen Zhang, Chang Liu, Yizhi Wang, Vamsi Addanki

One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern Distributed Systems

Ruiming Lu, Yunchi Lu, Yuxuan Jiang, Guangtao Xue, Peng Huang

Enhancing Network Failure Mitigation with Performance-Aware Ranking

Pooria Namyar, Arvin Ghavidel, Daniel Crankshaw, Daniel S. Berger, Kevin Hsieh

Preventing Network Bottlenecks: Accelerating Datacenter Services with Hotspot-Aware Placement for Compute and Storage

Hamid Hajabdolali Bazzaz, Yingjie Bi, Weiwu Pang, Minlan Yu, Ramesh Govindan

MeshTest: End-to-End Testing for Service Mesh Traffic Management

Naiqian Zheng, Tianshuo Qiao, Xuanzhe Liu, Xin Jin

VEP: A Two-stage Verification Toolchain for Full eBPF Programmability

Xiwei Wu, Yueyang Feng, Tianyi Huang, Xiaoyang Lu, Shengkai Lin

Smart Casual Verification of the Confidential Consortium Framework

Heidi Howard, Markus A. Kuppe, Edward Ashton, Amaury Chamayou, Natacha Crooks

NDD: A Decision Diagram for Network Verification

Zechun Li, Peng Zhang, Yichi Zhang, Hongkun Yang

On Temporal Verification of Stateful P4 Programs

Delong Zhang, Chong Ye, Fei He

GRANNY: Granular Management of Compute-Intensive Applications in the Cloud

Carlos Segarra, Simon Shillaker, Guo Li, Eleftheria Mappoura, Rodrigo Bruno

Making Serverless Pay-For-Use a Reality with Leopard

Tingjia Cao, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Tyler Caraza-Harter

Beehive: A Scalable Disaggregated Memory Runtime Exploiting Asynchrony of Multithreaded Programs

Quanxi Li, Hong Huang, Ying Liu, Yanwen Xia, Jie Zhang

Quicksand: Harnessing Stranded Datacenter Resources with Granular Computing

Zhenyuan Ruan, Shihang Li, Kaiyan Fan, Seo Jin Park, Marcos K. Aguilera

Scaling IP Lookup to Large Databases using the CRAM Lens

Robert Chang, Pradeep Dogga, Andy Fingerhut, Victor Rios, George Varghese

Enabling Portable and High-Performance SmartNIC Programs with Alkali

Jiaxin Lin, Zhiyuan Guo, Mihir Shah, Tao Ji, Yiying Zhang

Unlocking ECMP Programmability for Precise Traffic Control

Yadong Liu, Yunming Xiao, Xuan Zhang, Weizhen Dang, Huihui Liu

Enabling Silent Telemetry Data Transmission with InvisiFlow

Yinda Zhang, Liangcheng Yu, Gianni Antichi, Ran Ben Basat, Vincent Liu

DISC: Backpressure Mitigation In Multi-tier Applications With Distributed Shared Connection

Brice Ekane, Djob Mvondo, Renaud Lachaize, Yérom-David Bromberg, Alain Tchana

Learnings from Deploying Network QoS Alignment to Application Priorities for Storage Services

Matthew Buckley, Parsa Pazhooheshy, Z. Morley Mao, Nandita Dukkipati, Hamid Hajabdolali Bazzaz

Rajomon: Decentralized and Coordinated Overload Control for Latency-Sensitive Microservices

Jiali Xing, Akis Giannoukos, Paul Loh, Shuyue Wang, Justin Qiu

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

Xinle Du, Tong Li, Guangmeng Zhou, Zhuotao Liu, Hanlin Huang