Table of Contents

• Autobahn: Seamless high speed BFTNeil Giridharan, Florian Suri-Payer, Ittai Abraham, Lorenzo Alvisi, Natacha Crooks. 1-23 [doi]
• SWARM: Replicating Shared Disaggregated-Memory Data in No TimeAntoine Murat, Clément Burgelin, Athanasios Xygkis, Igor Zablotchi, Marcos Kawazoe Aguilera, Rachid Guerraoui. 24-45 [doi]
• Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault InjectionJia Pan, Haoze Wu, Tanakorn Leesatapornwongsa, Suman Nath, Peng Huang 0005. 46-62 [doi]
• If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software SystemsBogdan-Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou, Shan Lu 0001, Jonathan Mace, Madanlal Musuvathi, Suman Nath. 63-78 [doi]
• Tiered Memory Management: Access Latency is the Key!Midhul Vuppalapati, Rachit Agarwal 0001. 79-94 [doi]
• Fast & Safe IO Memory ProtectionBenny Rubin, Saksham Agarwal, Qizhe Cai, Rachit Agarwal 0001. 95-109 [doi]
• CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated MemoryXuchuan Luo, Jiacheng Shen, Pengfei Zuo, Xin Wang 0002, Michael R. Lyu, Yangfan Zhou. 110-126 [doi]
• Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value StoresZhisheng Hu, Pengfei Zuo, Yizou Chen, Chao Wang, Junliang Hu, Ming-Chang Yang. 127-143 [doi]
• Reducing Energy Bloat in Large Model TrainingJae-won Chung, Yile Gu, Insu Jang, Luoxi Meng, Nikhil Bansal 0001, Mosharaf Chowdhury. 144-159 [doi]
• Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensorSiran Liu, Chengxiang Qi, Ying Cao, Chao Yang 0002, Weifang Hu, Xuanhua Shi, Fan Yang 0024, Mao Yang. 160-177 [doi]
• Enabling Parallelism Hot Switching for Efficient Training of Large Language ModelsHao Ge, Fangcheng Fu, Haoyang Li, Xuanyu Wang, Sheng Lin, Yujie Wang, Xiaonan Nie, Hailin Zhang 0004, Xupeng Miao, Bin Cui 0001. 178-194 [doi]
• Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor CollectionsMarcel Wagenländer, Guo Li, Bo Zhao 0019, Luo Mai, Peter R. Pietzuch. 195-210 [doi]
• ReCycle: Resilient Training of Large DNNs using Pipeline AdaptationSwapnil Gandhi, Mark Zhao, Athinagoras Skiadopoulos, Christos Kozyrakis. 211-228 [doi]
• OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access ReorderingDae R. Jeong, Yewon Choi, Byoungyoung Lee, Insik Shin, Youngjin Kwon. 229-248 [doi]
• Fast, Flexible, and Practical Kernel ExtensionsKumar Kartikeya Dwivedi, Rishabh Iyer, Sanidhya Kashyap. 249-264 [doi]
• Skyloft: A General High-Efficient Scheduling Framework in User SpaceYuekai Jia, Kaifu Tian, Yuyang You, Yu Chen 0004, Kang Chen. 265-279 [doi]
• Fast Core Scheduling with Userspace Process AbstractionJiazhen Lin, Youmin Chen, Shiwei Gao, Youyou Lu. 280-295 [doi]
• LazyLog: A New Shared Log Abstraction for Low-Latency ApplicationsXuhao Luo, Shreesha G. Bhat, Jiyu Hu, Ramnatthan Alagappan, Aishwarya Ganesan. 296-312 [doi]
• BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and PerformanceShushu Yi, Shaocong Sun, Li Peng, Yingbo Sun, Ming-Chang Yang, Zhichao Cao, Qiao Li, Myoungsoo Jung, Ke Zhou, Jie Zhang 0048. 313-329 [doi]
• Morph: Efficient File-Lifetime Redundancy Management for Cluster File SystemsTimothy Kim, Sanjith Athlur, Saurabh Kadekodi, Francisco Maturana, Dax Delvira, Arif Merchant, Gregory R. Ganger, K. V. Rashmi. 330-346 [doi]
• Reducing Cross-Cloud/Region Costs with the Auto-Configuring MACARON CacheHojin Park, Ziyue Qiu, Gregory R. Ganger, George Amvrosiadis. 347-368 [doi]
• Dirigent: Lightweight Serverless OrchestrationLazar Cvetkovic, François Costa, Mihajlo Djokic, Michal Friedman 0001, Ana Klimovic. 369-384 [doi]
• Unifying serverless and microservice workloads with SigmaOSAriel Szekely, Adam Belay, Robert Morris, M. Frans Kaashoek. 385-402 [doi]
• Caribou: Fine-Grained Geospatial Shifting of Serverless Applications for SustainabilityViktor Urban Gsteiger, Pin Hong (Daniel) Long, Yiran (Jerry) Sun, Parshan Javanrood, Mohammad Shahrad. 403-420 [doi]
• TrEnv: Transparently Share Serverless Execution Environments Across Different Functions and NodesJialiang Huang, Mingxing Zhang, Teng Ma, Zheng Liu, Sixing Lin, Kang Chen, Jinlei Jiang, Xia Liao, Yingdi Shan, Ning Zhang, Mengting Lu, Tao Ma, Haifeng Gong, Yongwei Wu. 421-437 [doi]
• Verus: A Practical Foundation for Systems VerificationAndrea Lattuada 0001, Travis Hance, Jay Bosamiya, Matthias Brun 0002, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno. 438-454 [doi]
• Practical Verification of System-Software Components Written in Standard CCan Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clément Pit-Claudel. 455-472 [doi]
• Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-ExecutionNaomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan. 473-487 [doi]
• SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree InferenceAshwin Prasad, Sampath Rajendra, Kaushik Rajan, R. Govindarajan, Uday Bondhugula. 488-504 [doi]
• Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor with T10Yiqi Liu, Yuqi Xue, Yu Cheng, Lingxiao Ma, Ziming Miao, Jilong Xue, Jian Huang 0006. 505-521 [doi]
• FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production MonitoringDong Young Yoon, Yang Wang 0009, Miao Yu, Elvis Huang, Juan Ignacio Jones, Abhinay Kukkadapu, Osman Kocas, Jonathan Wiepert, Kapil Goenka, Sherry Chen, Yanjun Lin, Zhihui Huang, Jocelyn Kong, Michael Chow, Chunqiang Tang. 522-540 [doi]
• VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS CloudsKaijie Guo, Dingji Li, Ben Luo, Yibin Shen, Kaihuan Peng, Ning Luo, Shengdong Dai, Chen Liang, Jianming Song, Hang Yang, Xiantao Zhang, Zeyu Mi. 541-557 [doi]
• vSoC: Efficient Virtual System-on-Chip on Heterogeneous HardwareJiaxing Qiu, Zijie Zhou, Yang Li, Zhenhua Li 0001, Feng Qian 0001, Hao Lin, Di Gao, Haitao Su, Xin Miao, Yunhao Liu, Tianyin Xu. 558-573 [doi]
• Unearthing Semantic Checks for Cloud Infrastructure-as-Code ProgramsYiming Qiu, Patrick Tser Jern Kon, Ryan Beckett, Ang Chen 0001. 574-589 [doi]
• PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPUYixin Song, Zeyu Mi, Haotong Xie, Haibo Chen 0001. 590-606 [doi]
• Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML ServingYinwei Dai, Rui Pan, Anand P. Iyer, Kai Li, Ravi Netravali. 607-623 [doi]
• Improving DNN Inference Throughput Using Practical, Per-Input Compute AdaptationAnand Padmanabha Iyer, Mingyu Guan, Yinwei Dai, Rui Pan, Swapnil Gandhi, Ravi Netravali. 624-639 [doi]
• LoongServe: Efficiently Serving Long-Context Large Language Models with Elastic Sequence ParallelismBingyang Wu, Shengyu Liu, Yinmin Zhong, Peng Sun 0006, Xuanzhe Liu, Xin Jin 0008. 640-654 [doi]
• Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level ImplementationAnish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich. 655-672 [doi]
• NOPE: Strengthening domain authentication with succinct proofsZachary Destefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish. 673-692 [doi]
• Cookie Monster: Efficient On-Device Budgeting for Differentially-Private Ad-Measurement SystemsPierre Tholoniat, Kelly Kostopoulou, Peter McNeely, Prabhpreet Singh Sodhi, Anirudh Varanasi, Benjamin Case, Asaf Cidon, Roxana Geambasu, Mathias Lécuyer. 693-708 [doi]
• Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy RegionsKinan Dak Albab, Artem Agvanian, Allen Aby, Corinn Tiffany, Alexander Portland, Sarah Ridley, Malte Schwarzkopf. 709-725 [doi]
• DNS Congestion Control in Adversarial SettingsHuayi Duan, Jihye Kim, Marc Wyss, Adrian Perrig. 726-747 [doi]