| Enabling Portable and High-Performance SmartNIC Programs with Alkali | NSDI '25 | Jiaxin Lin, Zhiyuan Guo, Mihir Shah, Tao Ji, Yiying Zhang, Daehyeok Kim, Aditya Akella |
| Scaling IP Lookup to Large Databases using the CRAM Lens | NSDI '25 | Robert Chang, Pradeep Dogga, Andy Fingerhut, Victor Rios, George Varghese |
| On Temporal Verification of Stateful P4 Programs | NSDI '25 | Delong Zhang, Chong Ye, Fei He |
| Smart Casual Verification of the Confidential Consortium Framework | NSDI '25 | Heidi Howard, Markus A. Kuppe, Edward Ashton, Amaury Chamayou, Natacha Crooks |
| NDD: A Decision Diagram for Network Verification | NSDI '25 | Zechun Li, Peng Zhang, Yichi Zhang, Hongkun Yang |
| Making Serverless Pay-For-Use a Reality with Leopard | NSDI '25 | Tingjia Cao, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Tyler Caraza-Harter |
| GRANNY: Granular Management of Compute-Intensive Applications in the Cloud | NSDI '25 | Carlos Segarra, Simon Shillaker, Guo Li, Eleftheria Mappoura, Rodrigo Bruno, Lluís Vilanova, Peter Pietzuch |
| Enhancing Network Failure Mitigation with Performance-Aware Ranking | NSDI '25 | Pooria Namyar, Arvin Ghavidel, Daniel Crankshaw, Daniel S. Berger, Kevin Hsieh, Srikanth Kandula, Ramesh Govindan, Behnaz Arzani |
| MeshTest: End-to-End Testing for Service Mesh Traffic Management | NSDI '25 | Naiqian Zheng, Tianshuo Qiao, Xuanzhe Liu, Xin Jin |
| Preventing Network Bottlenecks: Accelerating Datacenter Services with Hotspot-Aware Placement for Compute and Storage | NSDI '25 | Hamid Hajabdolali Bazzaz, Yingjie Bi, Weiwu Pang, Minlan Yu, Ramesh Govindan, Neal Cardwell, Nandita Dukkipati, Meng-Jung Tsai, Chris DeForeest, Yuxue Jin, Charles Carver, Jan Kopanski, Liqun Cheng, Amin Vahdat |
| VEP: A Two-stage Verification Toolchain for Full eBPF Programmability | NSDI '25 | Xiwei Wu, Yueyang Feng, Tianyi Huang, Xiaoyang Lu, Shengkai Lin, Lihan Xie, Shizhen Zhao, Qinxiang Cao |
| One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern Distributed Systems | NSDI '25 | Ruiming Lu, Yunchi Lu, Yuxuan Jiang, Guangtao Xue, Peng Huang |
| Pyrrha: Congestion-Root-Based Flow Control to Eliminate Head-of-Line Blocking in Datacenter | NSDI '25 | Kexin Liu, Zhaochen Zhang, Chang Liu, Yizhi Wang, Vamsi Addanki, Stefan Schmid, Qingyue Wang, Wei Chen, Xiaoliang Wang, Jiaqi Zheng, Wenhao Sun, Tao Wu, Ke Meng, Fei Chen, Weiguang Wang, Bingyang Liu, Wanchun Dou, Guihai Chen, Chen Tian |
| Accelerating Design Space Exploration for LLM Training Systems with Multi-experiment Parallel Simulation | NSDI '25 | Fei Gui, Kaihui Gao, Li Chen, Dan Li, Vincent Liu, Ran Zhang, Hongbing Yang, Dian Xiong |
| White-Boxing RDMA with Packet-Granular Software Control | NSDI '25 | Chenxingyu Zhao, Jaehong Min, Ming Liu, Arvind Krishnamurthy |
| eTran: Extensible Kernel Transport with eBPF | NSDI '25 | Zhongjie Chen, Qingkai Meng, ChonLam Lao, Yifan Liu, Fengyuan Ren, Minlan Yu, Yang Zhou |
| SIRD: A Sender-Informed, Receiver-Driven Datacenter Transport Protocol | NSDI '25 | Konstantinos Prasopoulos, Ryan Kosta, Edouard Bugnion, Marios Kogias |
| Minder: Faulty Machine Detection for Large-scale Distributed Model Training | NSDI '25 | Yangtao Deng, Xiang Shi, Zhuo Jiang, Xingjian Zhang, Lei Zhang, Zhang Zhang, Bo Li, Zuquan Song, Hang Zhu, Gaohong Liu, Fuliang Li, Shuguang Wang, Haibin Lin, Jianxi Ye, Minlan Yu |
| SimAI: Unifying Architecture Design and Performance Tuning for Large-Scale Large Language Model Training with Scalability and Precision | NSDI '25 | Xizheng Wang, Qingxu Li, Yichi Xu, Gang Lu, Dan Li, Li Chen, Heyang Zhou, Linkang Zheng, Sen Zhang, Yikai Zhu, Yang Liu, Pengcheng Zhang, Kun Qian, Kunling He, Jiaqi Gao, Ennan Zhai, Dennis Cai, Binzhang Fu |
| Optimizing RLHF Training for Large Language Models with Stage Fusion | NSDI '25 | Yinmin Zhong, Zili Zhang, Bingyang Wu, Shengyu Liu, Yukun Chen, Changyi Wan, Hanpeng Hu, Lei Xia, Ranchen Ming, Yibo Zhu, Xin Jin |
| Holmes: Localizing Irregularities in LLM Training with Mega-scale GPU Clusters | NSDI '25 | Zhiyi Yao, Pengbo Hu, Congcong Miao, Xuya Jia, Zuning Liang, Yuedong Xu, Chunzhi He, Hao Lu, Mingzhuo Chen, Xiang Li, Zekun He, Yachen Wang, Xianneng Zou, Junchen Jiang |
| ByteCheckpoint: A Unified Checkpointing System for Large Foundation Model Development | NSDI '25 | Borui Wan, Mingji Han, Yiyao Sheng, Yanghua Peng, Haibin Lin, Mofan Zhang, Zhichao Lai, Menghan Yu, Junda Zhang, Zuquan Song, Xin Liu, Chuan Wu |
| Dissecting and Streamlining the Interactive Loop of Mobile Cloud Gaming | NSDI '25 | Yang Li, Jiaxing Qiu, Hongyi Wang, Zhenhua Li, Feng Qian, Jing Yang, Hao Lin, Yunhao Liu, Bo Xiao, Xiaokang Qin, Tianyin Xu |
| Region-based Content Enhancement for Efficient Video Analytics at the Edge | NSDI '25 | Weijun Wang, Liang Mi, Shaowei Cen, Haipeng Dai, Yuanchun Li, Xiaoming Fu, Yunxin Liu |
| Tooth: Toward Optimal Balance of Video QoE and Redundancy Cost by Fine-Grained FEC in Cloud Gaming Streaming | NSDI '25 | Congkai An, Huanhuan Zhang, Shibo Wang, Jingyang Kang, Anfu Zhou, Liang Liu, Huadong Ma, Zili Meng, Delei Ma, Yusheng Dong, Xiaogang Lei |
