Table of Contents

• WiseGraph: Optimizing GNN with Joint Workload Partition of Graph and OperationsKezhao Huang, Jidong Zhai, Liyan Zheng 0001, Haojie Wang, Yuyang Jin, Qihao Zhang, Runqing Zhang, Zhen Zheng, Youngmin Yi, Xipeng Shen. 1-17 [doi]
• Core Graph: Exploiting Edge Centrality to Speedup the Evaluation of Iterative Graph QueriesXiaolin Jiang 0002, Mahbod Afarin, Zhijia Zhao 0001, Nael B. Abu-Ghazaleh, Rajiv Gupta 0001. 18-32 [doi]
• LSGraph: A Locality-centric High-performance Streaming Graph EngineHao Qi, Yiyang Wu, Ligang He, Yu Zhang, Kang Luo, Minzhi Cai, Hai Jin 0001, Zhan Zhang, Jin Zhao 0003. 33-49 [doi]
• Contigra: Graph Mining with Containment ConstraintsJoanna Che, Kasra Jamshidi, Keval Vora. 50-65 [doi]
• Halflife: An Adaptive Flowlet-based Load Balancer with Fading Timeout in Data Center NetworksSen Liu, Yongbo Gao, Zixuan Chen, Jiarui Ye, Haiyang Xu, Furong Liang, Wei Yan, Zerui Tian, Quanwei Sun, Zehua Guo 0001, Yang Xu 0010. 66-81 [doi]
• Hoda: a High-performance Open vSwitch Dataplane with Multiple Specialized Data PathsHeng Pan, Peng He, Zhenyu Li, Pan Zhang, Junjie Wan, Yuhao Zhou, Xiongchun Duan, Yu Zhang, Gaogang Xie. 82-98 [doi]
• Astraea: Towards Fair and Efficient Learning-based Congestion ControlXudong Liao, Han Tian, Chaoliang Zeng, Xinchen Wan, Kai Chen 0005. 99-114 [doi]
• Unison: A Parallel-Efficient and User-Transparent Network Simulation KernelSongyuan Bai, Hao Zheng, Chen Tian 0001, Xiaoliang Wang 0001, Chang Liu, Xin Jin, Fu Xiao, Qiao Xiang, Wanchun Dou, Guihai Chen. 115-131 [doi]
• Serialization/Deserialization-free State Transfer in Serverless WorkflowsFangming Lu, Xingda Wei, Zhuobin Huang, Rong Chen 0001, Minyu Wu, Haibo Chen 0001. 132-147 [doi]
• Occam: A Programming System for Reliable Network ManagementJiarong Xing, Kuo-Feng Hsu, Yiting Xia, Yan Cai, Yanping Li, Ying Zhang, Ang Chen. 148-162 [doi]
• Aceso: Efficient Parallel DNN Training through Iterative Bottleneck AlleviationGuodong Liu, Youshan Miao, Zhiqi Lin, Xiaoxiang Shi, Saeed Maleki, Fan Yang, Yungang Bao, Sa Wang. 163-181 [doi]
• Totoro: A Scalable Federated Learning Engine for the EdgeCheng-Wei Ching, Xin Chen, Taehwan Kim, Bo Ji, Qingyang Wang, Dilma Da Silva, Liting Hu. 182-199 [doi]
• FLOAT: Federated Learning Optimizations with Automated TuningAhmad Faraz Khan, Azal Ahmad Khan, Ahmed M. Abdelmoniem, Samuel Fountain, Ali Raza Butt, Ali Anwar 0001. 200-218 [doi]
• DeTA: Minimizing Data Leaks in Federated Learning via Decentralized and Trustworthy AggregationPau-Chen Cheng, Kevin Eykholt, Zhongshu Gu, Hani Jamjoom, K. R. Jayaram, Enriquillo Valdez, Ashish Verma. 219-235 [doi]
• ScheMoE: An Extensible Mixture-of-Experts Distributed Training System with Tasks SchedulingShaohuai Shi, Xinglin Pan, Qiang Wang, Chengjian Liu, Xiaozhe Ren, Zhongzhe Hu, Yu Yang, Bo Li, Xiaowen Chu. 236-249 [doi]
• Dashing and Star: Byzantine Fault Tolerance with Weak CertificatesSisi Duan, Haibin Zhang, Xiao Sui, Baohan Huang, Changchun Mu, Gang Di, Xiaoyun Wang. 250-264 [doi]
• Bandle: Asynchronous State Machine Replication Made EfficientBo Wang, Shengyun Liu, He Dong, Xiangzhe Wang, Wenbo Xu 0002, Jingjing Zhang, Ping Zhong, Yiming Zhang 0003. 265-280 [doi]
• Characterization and Reclamation of Frozen Garbage in Managed FaaS WorkloadsZiming Zhao 0003, Mingyu Wu, Haibo Chen 0001, Binyu Zang. 281-297 [doi]
• Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-StartsSumer Kohli, Shreyas Kharbanda, Rodrigo Bruno, João Carreira, Pedro Fonseca 0001. 298-316 [doi]
• Improving Resource and Energy Efficiency for Cloud 3D through Excessive Rendering ReductionTianyi Liu, Jerry Lucas, Sen He 0002, Tongping Liu, Xiaoyin Wang, Wei Wang 0054. 317-332 [doi]
• Draconis: Network-Accelerated Scheduling for Microsecond-Scale WorkloadsSreeharsha Udayashankar, Ashraf Abdel-hadi, Ali José Mashtizadeh, Samer Al-Kiswany. 333-348 [doi]
• Snatch: Online Streaming Analytics at the Network EdgeYunming Xiao, YiBo Zhao, Sen Lin, Aleksandar Kuzmanovic. 349-369 [doi]
• Blaze: Holistic Caching for Iterative Data ProcessingWon Wook Song, Jeongyoon Eo, Taegeon Um, Myeongjae Jeon, Byung-Gon Chun. 370-386 [doi]
• TTLs Matter: Efficient Cache Sizing with TTL-Aware Miss Ratio Curves and Working Set SizesSari Sultan, Kia Shakiba, Albert Lee, Paul Chen, Michael Stumm. 387-404 [doi]
• Trinity: A Fast Compressed Multi-attribute Data StoreZiming Mao, Kiran Srinivasan, Anurag Khandelwal. 405-420 [doi]
• FLOWS: Balanced MRC Profiling for Heterogeneous Object-Size CacheXiaojun Guo, Hua Wang, Ke Zhou, Hong Jiang, Yaodong Han, Guangjie Xing. 421-440 [doi]
• CCL-BTree: A Crash-Consistent Locality-Aware B+-Tree for Reducing XPBuffer-Induced Write Amplification in Persistent MemoryZhenxin Li, Shuibing He, Zheng Dang, Peiyi Hong, Xuechen Zhang, Rui Wang, Fei Wu. 441-455 [doi]
• Wormhole Filters: Caching Your Hash on Persistent MemoryHancheng Wang, Haipeng Dai, Rong Gu, Youyou Lu, Jiaqi Zheng 0001, Jingsong Dai, Shusen Chen, Zhiyuan Chen, Shuaituan Li, Guihai Chen. 456-471 [doi]
• Dordis: Efficient Federated Learning with Dropout-Resilient Differential PrivacyZhifeng Jiang, Wei Wang 0030, Ruichuan Chen. 472-488 [doi]
• Accelerating Privacy-Preserving Machine Learning With GeniBatchXinyang Huang, Junxue Zhang 0001, Xiaodian Cheng, Hong Zhang 0025, Yilun Jin, Shuihai Hu, Han Tian, Kai Chen 0005. 489-504 [doi]
• GMorph: Accelerating Multi-DNN Inference via Model FusionQizheng Yang, Tianyi Yang, Mingcan Xiang, Lijun Zhang, Haoliang Wang, Marco Serafini, Hui Guan 0001. 505-523 [doi]
• HAP: SPMD DNN Training on Heterogeneous GPU Clusters with Automated Program SynthesisShiwei Zhang, Lansong Diao, Chuan Wu 0001, Zongyan Cao, Siyu Wang, Wei Lin 0016. 524-541 [doi]
• DynaPipe: Optimizing Multi-task Training through Dynamic PipelinesChenyu Jiang, Zhen Jia, Shuai Zheng 0004, Yida Wang 0003, Chuan Wu 0001. 542-559 [doi]
• ZKML: An Optimizing System for ML Inference in Zero-Knowledge ProofsBing-Jyue Chen, Suppakit Waiwitlikhit, Ion Stoica, Daniel Kang. 560-574 [doi]
• Puddles: Application-Independent Recovery and Location-Independent Data for Persistent MemorySuyash Mahar, Mingyao Shen, TJ Smith, Joseph Izraelevitz, Steven Swanson. 575-589 [doi]
• SplitFT: Fault Tolerance for Disaggregated Datacenters via Remote Memory LoggingXuhao Luo, Ramnatthan Alagappan, Aishwarya Ganesan. 590-607 [doi]
• CSAL: the Next-Gen Local Disks for the CloudYanbo Zhou, Erci Xu, Li Zhang, Kapil Karkra, Mariusz Barczak, Wayne Gao, Wojciech Malikowski, Mateusz Kozlowski, Lukasz Lasek, Ruiming Lu, Feng Yang, Lilong Huang, Xiaolu Zhang, Keqiang Niu, Jiaji Zhu, Jiesheng Wu. 608-623 [doi]
• Exploring the Asynchrony of Slow Memory Filesystem with EasyIOBohong Zhu, Youmin Chen, Jiwu Shu. 624-640 [doi]
• ScaleCache: A Scalable Page Cache for Multiple Solid-State DrivesKiet Tuan Pham, Seokjoo Cho, Sangjin Lee, Lan Anh Nguyen, Hyeongi Yeo, Ipoom Jeong, Sungjin Lee, Nam Sung Kim, Yongseok Son. 641-656 [doi]
• Volley: Accelerating Write-Read Orders in Disaggregated StorageShaoxun Zeng, Xiaojian Liao, Hao Guo, Youyou Lu. 657-673 [doi]
• Automatic Root Cause Analysis via Large Language Models for Cloud IncidentsYinfang Chen, Huaibing Xie, Minghua Ma, Yu Kang, Xin Gao, Liu Shi, Yunjie Cao, Xuedong Gao, Hao Fan, Ming Wen, Jun Zeng, Supriyo Ghosh, Xuchao Zhang, Chaoyun Zhang, Qingwei Lin, Saravan Rajmohan, Dongmei Zhang 0001, Tianyin Xu. 674-688 [doi]
• Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized ProgramHao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang. 689-703 [doi]
• Noctua: Towards Automated and Practical Fine-grained Consistency AnalysisKai Ma, Cheng Li 0001, Enzuo Zhu, Ruichuan Chen, Feng Yan, Kang Chen. 704-719 [doi]
• Effective Bug Detection with Unused DefinitionsLi Zhong, Chengcheng Xiang, Haochen Huang, Bingyu Shen 0002, Eric Mugnier, Yuanyuan Zhou 0001. 720-735 [doi]
• SandTable: Scalable Distributed System Model Checking with Specification-Level State ExplorationRuize Tang, Xudong Sun, Yu Huang 0002, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma. 736-753 [doi]
• Validating Database System Isolation Level Implementations with Version Certificate RecoveryJack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger. 754-768 [doi]
• Improving GPU Energy Efficiency through an Application-transparent Frequency Scaling Policy with Performance AssuranceYijia Zhang, Qiang Wang, Zhe Lin, Pengxiang Xu, Bingqiang Wang. 769-785 [doi]
• Minuet: Accelerating 3D Sparse Convolutions on GPUsJiacheng Yang, Christina Giannoula, Jun Wu, Mostafa Elhoushi, James Gleeson 0001, Gennady Pekhimenko. 786-802 [doi]
• MTM: Rethinking Memory Profiling and Migration for Multi-Tiered Large MemoryJie Ren 0015, Dong Xu, Junhee Ryu, Kwangsik Shin, Daewoo Kim, Dong Li. 803-817 [doi]
• Exploring Performance and Cost Optimization with ASIC-Based CXL MemoryYupeng Tang, Ping Zhou, Wenhui Zhang, Henry Hu, Qirui Yang, Hao Xiang, Tongping Liu, Jiaxin Shan, Ruoyun Huang, Cheng Zhao, Cheng Chen, Hui Zhang, Fei Liu, Shuai Zhang, Xiaoning Ding, Jianjun Chen. 818-833 [doi]
• HD-IOV: SW-HW Co-designed I/O Virtualization with Scalability and Flexibility for Hyper-Density CloudZongpu Zhang, Jiangtao Chen, Banghao Ying, Yahui Cao, Lingyu Liu, Jian Li, Xin Zeng, Junyuan Wang, Weigang Li, Haibing Guan. 834-850 [doi]
• SmartNIC Security Isolation in the Cloud with S-NICYang Zhou, Mark Wilkening, James Mickens, Minlan Yu. 851-869 [doi]
• Atlas: Hybrid Cloud Migration Advisor for Interactive MicroservicesKa Ho Chow, Umesh Deshpande, Veera Deenadhayalan, Sangeetha Seshadri, Ling Liu 0001. 870-887 [doi]
• Erlang: Application-Aware Autoscaling for Cloud MicroservicesVighnesh Sachidananda, Anirudh Sivaraman. 888-923 [doi]
• On the Limitations of Carbon-Aware Temporal and Spatial Workload Shifting in the CloudThanathorn Sukprasert, Abel Souza, Noman Bashir, David E. Irwin, Prashant J. Shenoy. 924-941 [doi]
• TraceUpscaler: Upscaling Traces to Evaluate Systems at High LoadSultan Mahmud Sajal, Timothy Zhu, Bhuvan Urgaonkar, Siddhartha Sen 0001. 942-961 [doi]
• Enoki: High Velocity Linux Kernel Scheduler DevelopmentSamantha Miller, Anirudh Kumar, Tanay Vakharia, Ang Chen 0001, Danyang Zhuo, Thomas E. Anderson. 962-980 [doi]
• Concealing Compression-accelerated I/O for HPC Applications through In Situ Task SchedulingSian Jin, Sheng Di, Frédéric Vivien, Daoce Wang, Yves Robert, Dingwen Tao, Franck Cappello. 981-998 [doi]
• NeuroFlux: Memory-Efficient CNN Training Using Adaptive Local LearningDhananjay Saikumar, Blesson Varghese. 999-1015 [doi]
• Model Selection for Latency-Critical Inference ServingDaniel Mendoza, Francisco Romero, Caroline Trippel. 1016-1038 [doi]
• Optimus: Warming Serverless ML Inference via Inter-Function Model TransformationZicong Hong, Jian Lin, Song Guo 0001, Sifu Luo, Wuhui Chen, Roger Wattenhofer, Yue Yu 0001. 1039-1053 [doi]
• CDMPP: A Device-Model Agnostic Framework for Latency Prediction of Tensor ProgramsHanpeng Hu, Junwei Su, Juntao Zhao, Yanghua Peng, Yibo Zhu, Haibin Lin, Chuan Wu 0001. 1054-1074 [doi]
• Orion: Interference-aware, Fine-grained GPU Sharing for ML ApplicationsFoteini Strati, Xianzhe Ma, Ana Klimovic. 1075-1092 [doi]
• Blox: A Modular Toolkit for Deep Learning SchedulersSaurabh Agarwal, Amar Phanishayee, Shivaram Venkataraman. 1093-1109 [doi]
• Just-In-Time Checkpointing: Low Cost Error Recovery from Deep Learning Training FailuresTanmaey Gupta, Sanjeev Krishnan, Rituraj Kumar, Abhishek Vijeev, Bhargav S. Gulavani, Nipun Kwatra, Ramachandran Ramjee, Muthian Sivathanu. 1110-1125 [doi]
• Polynima: Practical Hybrid Recompilation for Multithreaded BinariesChinmay Deshpande, Fabian Parzefall, Felicitas Hetzelt, Michael Franz. 1126-1141 [doi]
• Transparent Multicore Scaling of Single-Threaded Network FunctionsLei Yan, Yueyang Pan, Diyu Zhou, George Candea, Sanidhya Kashyap. 1142-1159 [doi]
• Jade: A High-throughput Concurrent Copying Garbage CollectorMingyu Wu 0001, Liang Mao, Yude Lin, Yifeng Jin, Zhe Li, Hongtao Lyu, Jiawei Tang, Xiaowei Lu, Hao Tang, Denghui Dong, Haibo Chen, Binyu Zang. 1160-1174 [doi]
• Adaptable Runtime Monitoring for Intermittent SystemsEren Yildiz, Khakim Akhunov, Lorenzo Antonio Riva, Arda Goknil, Ivan Kurtev, Kasim Sinan Yildirim. 1175-1191 [doi]
• Save the Bruised Striver: A Reliable Live Patching Framework for Protecting Real-World PLCsMing Zhou, Haining Wang, Ke Li, Hongsong Zhu, Limin Sun. 1192-1207 [doi]
• Efficient Auditing of Event-driven Web ApplicationsIoanna Tzialla, Jeffery Wang, Jingyi Zhu, Aurojit Panda, Michael Walfish. 1208-1224 [doi]