Table of Contents

• TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVMFangnuo Wu, Mingkai Dong 0002, Gequan Mo, Haibo Chen 0001. 1-16 [doi]
• MEMTIS: Efficient Memory Tiering with Dynamic Page Classification and Page Size DeterminationTaehyung Lee, Sumit Kumar Monga, Changwoo Min, Young Ik Eom. 17-34 [doi]
• Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage PredictorSishuai Gong, Dinglan Peng, Deniz Altinbüken, Pedro Fonseca 0001, Petros Maniatis. 35-51 [doi]
• One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux KernelsLiang He, Purui Su, Chao Zhang, Yan Cai 0001, Jinxin Ma. 52-65 [doi]
• Validating JIT Compilers via Compilation Space ExplorationCong Li, Yanyan Jiang 0001, Chang Xu 0001, Zhendong Su. 66-79 [doi]
• Automated Verification of an In-Production DNS Authoritative EngineNaiqian Zheng, Mengqi Liu, Yuxing Xiang, Linjian Song, Dong Li, Feng Han, Nan Wang, Yong Ma, Zhuo Liang, Dennis Cai, Ennan Zhai, Xuanzhe Liu, Xin Jin 0008. 80-95 [doi]
• Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System ManagementJiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu. 96-112 [doi]
• Grove: a Separation-Logic Library for Verifying Distributed SystemsUpamanyu Sharma, Ralf Jung 0002, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich. 113-129 [doi]
• FIFO queues are all you need for cache evictionJuncheng Yang, Yazhuo Zhang, Ziyue Qiu, Yao Yue, Rashmi Vinayak. 130-149 [doi]
• Enabling High-Performance and Secure Userspace NVM File Systems with the Trio ArchitectureDiyu Zhou, Vojtech Aschenbrenner, Tao Lyu 0004, Jian Zhang, Sudarsun Kannan, Sanidhya Kashyap. 150-165 [doi]
• Project Silica: Towards Sustainable Cloud Archival Storage in GlassPatrick Anderson 0001, Erika Blancada Aranas, Youssef Assaf, Raphael Behrendt, Richard Black, Marco Caballero, Pashmina Cameron, Burcu Canakci, Thales De Carvalho, Andromachi Chatzieleftheriou, Rebekah Storan Clarke, James Clegg, Daniel Cletheroe, Bridgette Cooper, Tim Deegan, Austin Donnelly, Rokas Drevinskas, Alexander L. Gaunt, Christos Gkantsidis, Ariel Gomez Diaz, István Haller, Freddie Hong, Teodora Ilieva, Shashidhar Joshi, Russell Joyce, Mint Kunkel, David Lara, Sergey Legtchenko, Fanglin Linda Liu, Bruno Magalhães, Alana Marzoev, Marvin McNett, Jayashree Mohan, Michael Myrah, Trong Nguyen, Sebastian Nowozin, Aaron Ogus, Hiske Overweg, Antony I. T. Rowstron, Maneesh Sah, Masaaki Sakakura, Peter Scholtz, Nina Schreiner, Omer Sella, Adam Smith, Ioan A. Stefanovici, David Sweeney, Benn Thomsen, Govert Verkes, Phil Wainman, Jonathan Westcott, Luke Weston, Charles Whittaker, Pablo Wilke Berenguer, Hugh Williams, Thomas Winkler, Stefan Winzeck. 166-181 [doi]
• RackBlox: A Software-Defined Rack-Scale Storage System with Network-Storage Co-DesignBenjamin Reidys, Yuqi Xue, Daixuan Li, Bharat Sukhwani, Wen-mei Hwu, Deming Chen, Sameh W. Asaad, Jian Huang 0006. 182-199 [doi]
• Cornflakes: Zero-Copy Serialization for Microsecond-Scale NetworkingDeepti Raghavan, Shreya Ravi, Gina Yuan, Pratiksha Thaker, Sanjari Srivastava, Micah Murray, Pedro Henrique Penna, Amy Ousterhout, Philip Alexander Levis, Matei Zaharia, Irene Zhang. 200-215 [doi]
• Understanding Silent Data Corruptions in a Large Production CPU PopulationShaobu Wang, Guangyan Zhang, Junyu Wei, Yang Wang 0009, Jiesheng Wu, Qingchao Luo. 216-230 [doi]
• XFaaS: Hyperscale and Low Cost Serverless Functions at MetaAlireza Sahraei, Soteris Demetriou, Amirali Sobhgol, Haoran Zhang, Abhigna Nagaraja, Neeraj Pathak, Girish Joshi, Carla Souza, Bo Huang, Wyatt Cook, Andrii Golovei, Pradeep Venkat, Andrew Mcfague, Dimitrios Skarlatos 0002, Vipul Patel, Ravinder Thind, Ernesto Gonzalez, Yun Jin, Chunqiang Tang. 231-246 [doi]
• Pushing Performance Isolation Boundaries into Application with pBoxYigong Hu, Gongqi Huang, Peng Huang 0005. 247-263 [doi]
• Flexible Advancement in Asynchronous BFT ConsensusShengyun Liu, Wenbo Xu, Chen Shan, Xiaofeng Yan 0005, Tianjing Xu, Bo Wang, Lei Fan, Fuxi Deng, Ying Yan, Hui Zhang. 264-280 [doi]
• QuePaxa: Escaping the tyranny of timeouts in consensusPasindu Tennage, Cristina Basescu, Lefteris Kokoris-Kogias, Ewa Syta, Philipp Jovanovic, Vero Estrada-Galiñanes, Bryan Ford. 281-297 [doi]
• Antipode: Enforcing Cross-Service Causal Consistency in Distributed ApplicationsJoão Ferreira Loff, Daniel Porto, João Garcia 0001, Jonathan Mace, Rodrigo Rodrigues 0001. 298-313 [doi]
• Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless ComputingSheng Qi, Xuanzhe Liu, Xin Jin. 314-330 [doi]
• PIT: Optimization of Dynamic Sparse Deep Learning Models via Permutation Invariant TransformationNingxin Zheng, Huiqiang Jiang, Quanlu Zhang, Zhenhua Han, Lingxiao Ma, Yuqing Yang 0001, Fan Yang, Chengruidong Zhang, Lili Qiu, Mao Yang, Lidong Zhou. 331-347 [doi]
• Bagpipe: Accelerating Deep Recommendation Model TrainingSaurabh Agarwal, Chengpo Yan, Ziyi Zhang, Shivaram Venkataraman. 348-363 [doi]
• GEMINI: Fast Failure Recovery in Distributed Training with In-Memory CheckpointsZhuang Wang, Zhen Jia, Shuai Zheng, Zhen Zhang, Xinwei Fu, T. S. Eugene Ng, Yida Wang. 364-381 [doi]
• Oobleck: Resilient Distributed Training of Large Models Using Pipeline TemplatesInsu Jang, Zhenning Yang, Zhen Zhang, Xin Jin, Mosharaf Chowdhury. 382-395 [doi]
• Private Web Search with TiptoeAlexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Nickolai Zeldovich. 396-416 [doi]
• Siloz: Leveraging DRAM Isolation Domains to Prevent Inter-VM RowhammerKevin Loughlin, Jonah Rosenblum, Stefan Saroiu, Alec Wolman, Dimitrios Skarlatos 0002, Baris Kasikci. 417-433 [doi]
• Edna: Disguising and Revealing User Data in Web ApplicationsLillian Tsai, Hannah Gross, Eddie Kohler, M. Frans Kaashoek, Malte Schwarzkopf. 434-450 [doi]
• Arboretum: A Planner for Large-Scale Federated Analytics with Differential PrivacyElizabeth Margolin, Karan Newatia, Tao Luo, Edo Roth, Andreas Haeberlen. 451-465 [doi]
• Achieving Microsecond-Scale Tail Latency Efficiently with Approximate Optimal SchedulingRishabh Iyer, Musa Unal, Marios Kogias, George Candea. 466-481 [doi]
• Blueprint: A Toolchain for Highly-Reconfigurable Microservice ApplicationsVaastav Anand, Deepak Garg 0001, Antoine Kaufmann, Jonathan Mace. 482-497 [doi]
• A Cloud-Scale Characterization of Remote Procedure CallsKorakit Seemakhupt, Brent E. Stephens, Samira Manabi Khan, Sihang Liu 0001, Hassan M. G. Wassel, Soheil Hassas Yeganeh, Alex C. Snoeren, Arvind Krishnamurthy, David E. Culler, Henry M. Levy. 498-514 [doi]
• PVM: Efficient Shadow Paging for Deploying Secure Containers in Cloud-native EnvironmentHang Huang, Jiangshan Lai, Jia Rao, Hui Lu 0001, Wenlong Hou, Hang Su, Quan Xu, Jiang Zhong, Jiahao Zeng, Xu Wang, Zhengyu He, Weidong Han, Jiang Liu, Tao Ma, Song Wu. 515-530 [doi]
• Falcon: Fast OLTP Engine for Persistent Cache and Non-Volatile MemoryZhicheng Ji, Kang Chen, Leping Wang, Mingxing Zhang, Yongwei Wu. 531-544 [doi]
• SPFresh: Incremental In-Place Update for Billion-Scale Vector SearchYuming Xu, Hengyu Liang, Jin Li, Shuotao Xu, Qi Chen, Qianxi Zhang, Cheng Li, Ziyue Yang, Fan Yang, YuQing Yang, Peng Cheng, Mao Yang. 545-561 [doi]
• gSampler: General and Efficient GPU-based Graph Sampling for Graph LearningPing Gong, Renjie Liu, Zunyao Mao, Zhenkun Cai, Xiao Yan 0002, Cheng Li, Minjie Wang, Zhuozhao Li. 562-578 [doi]
• Turbo: Effective Caching in Differentially-Private DatabasesKelly Kostopoulou, Pierre Tholoniat, Asaf Cidon, Roxana Geambasu, Mathias Lécuyer. 579-594 [doi]
• Paella: Low-latency Model Serving with Software-defined GPU SchedulingKelvin K. W. Ng, Henri Maxime Demoulin, Vincent Liu 0001. 595-610 [doi]
• Efficient Memory Management for Large Language Model Serving with PagedAttentionWoosuk Kwon, Zhuohan Li, Siyuan Zhuang, Ying Sheng 0007, Lianmin Zheng, Cody Hao Yu, Joseph Gonzalez 0001, Hao Zhang, Ion Stoica. 611-626 [doi]
• UGACHE: A Unified GPU Cache for Embedding-based Deep LearningXiaoniu Song, Yiwen Zhang, Rong Chen 0001, Haibo Chen. 627-641 [doi]
• Sia: Heterogeneity-aware, goodput-optimized ML-cluster schedulingSuhas Jayaram Subramanya, Daiyaan Arfeen, Shouxu Lin, Aurick Qiao, Zhihao Jia, Gregory R. Ganger. 642-657 [doi]
• Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared MemoryMingxing Zhang, Teng Ma, Jinqi Hua, Zheng Liu, Kang Chen, Ning Ding, Fan Du, Jinlei Jiang, Tao Ma, Yongwei Wu. 658-674 [doi]
• Ditto: An Elastic and Adaptive Memory-Disaggregated Caching SystemJiacheng Shen, Pengfei Zuo, Xuchuan Luo, Yuxin Su 0001, Jiazhen Gu, Hao Feng, Yangfan Zhou, Michael R. Lyu. 675-691 [doi]
• Mira: A Program-Behavior-Guided Far Memory SystemZhiyuan Guo, Zijian He, Yiying Zhang 0005. 692-708 [doi]