| 2024 | Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value Stores. Zhisheng Hu, Pengfei Zuo, Yizou Chen, Chao Wang, Junliang Hu, Ming-Chang Yang |
| 2024 | Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving. Yinwei Dai, Rui Pan, Anand P. Iyer, Kai Li, Ravi Netravali |
| 2024 | Autobahn: Seamless high speed BFT. Neil Giridharan, Florian Suri-Payer, Ittai Abraham, Lorenzo Alvisi, Natacha Crooks |
| 2024 | BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and Performance. Shushu Yi, Shaocong Sun, Li Peng, Yingbo Sun, Ming-Chang Yang, Zhichao Cao, Qiao Li, Myoungsoo Jung, Ke Zhou, Jie Zhang |
| 2024 | CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated Memory. Xuchuan Luo, Jiacheng Shen, Pengfei Zuo, Xin Wang, Michael R. Lyu, Yangfan Zhou |
| 2024 | Caribou: Fine-Grained Geospatial Shifting of Serverless Applications for Sustainability. Viktor Urban Gsteiger, Pin Hong (Daniel) Long, Yiran (Jerry) Sun, Parshan Javanrood, Mohammad Shahrad |
| 2024 | Cookie Monster: Efficient On-Device Budgeting for Differentially-Private Ad-Measurement Systems. Pierre Tholoniat, Kelly Kostopoulou, Peter McNeely, Prabhpreet Singh Sodhi, Anirudh Varanasi, Benjamin Case, Asaf Cidon, Roxana Geambasu, Mathias Lécuyer |
| 2024 | DNS Congestion Control in Adversarial Settings. Huayi Duan, Jihye Kim, Marc Wyss, Adrian Perrig |
| 2024 | Dirigent: Lightweight Serverless Orchestration. Lazar Cvetkovic, François Costa, Mihajlo Djokic, Michal Friedman, Ana Klimovic |
| 2024 | Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection. Jia Pan, Haoze Wu, Tanakorn Leesatapornwongsa, Suman Nath, Peng Huang |
| 2024 | Enabling Parallelism Hot Switching for Efficient Training of Large Language Models. Hao Ge, Fangcheng Fu, Haoyang Li, Xuanyu Wang, Sheng Lin, Yujie Wang, Xiaonan Nie, Hailin Zhang, Xupeng Miao, Bin Cui |
| 2024 | FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring. Dong Young Yoon, Yang Wang, 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 |
| 2024 | Fast & Safe IO Memory Protection. Benny Rubin, Saksham Agarwal, Qizhe Cai, Rachit Agarwal |
| 2024 | Fast Core Scheduling with Userspace Process Abstraction. Jiazhen Lin, Youmin Chen, Shiwei Gao, Youyou Lu |
| 2024 | Fast, Flexible, and Practical Kernel Extensions. Kumar Kartikeya Dwivedi, Rishabh R. Iyer, Sanidhya Kashyap |
| 2024 | Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution. Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan |
| 2024 | If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems. Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou, Shan Lu, Jonathan Mace, Madanlal Musuvathi, Suman Nath |
| 2024 | Improving DNN Inference Throughput Using Practical, Per-Input Compute Adaptation. Anand Padmanabha Iyer, Mingyu Guan, Yinwei Dai, Rui Pan, Swapnil Gandhi, Ravi Netravali |
| 2024 | LazyLog: A New Shared Log Abstraction for Low-Latency Applications. Xuhao Luo, Shreesha G. Bhat, Jiyu Hu, Ramnatthan Alagappan, Aishwarya Ganesan |
| 2024 | LoongServe: Efficiently Serving Long-Context Large Language Models with Elastic Sequence Parallelism. Bingyang Wu, Shengyu Liu, Yinmin Zhong, Peng Sun, Xuanzhe Liu, Xin Jin |
| 2024 | Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich |
| 2024 | Morph: Efficient File-Lifetime Redundancy Management for Cluster File Systems. Timothy Kim, Sanjith Athlur, Saurabh Kadekodi, Francisco Maturana, Dax Delvira, Arif Merchant, Gregory R. Ganger, K. V. Rashmi |
| 2024 | NOPE: Strengthening domain authentication with succinct proofs. Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish |
| 2024 | OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering. Dae R. Jeong, Yewon Choi, Byoungyoung Lee, Insik Shin, Youngjin Kwon |
| 2024 | PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. Yixin Song, Zeyu Mi, Haotong Xie, Haibo Chen |
| 2024 | Practical Verification of System-Software Components Written in Standard C. Can Cebeci, Yong-Hao Zou, Diyu Zhou, George Candea, Clément Pit-Claudel |
| 2024 | Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, SOSP 2024, Austin, TX, USA, November 4-6, 2024 Emmett Witchel, Christopher J. Rossbach, Andrea C. Arpaci-Dusseau, Kimberly Keeton |
| 2024 | ReCycle: Resilient Training of Large DNNs using Pipeline Adaptation. Swapnil Gandhi, Mark Zhao, Athinagoras Skiadopoulos, Christos Kozyrakis |
| 2024 | Reducing Cross-Cloud/Region Costs with the Auto-Configuring MACARON Cache. Hojin Park, Ziyue Qiu, Gregory R. Ganger, George Amvrosiadis |
| 2024 | Reducing Energy Bloat in Large Model Training. Jae-Won Chung, Yile Gu, Insu Jang, Luoxi Meng, Nikhil Bansal, Mosharaf Chowdhury |
| 2024 | SWARM: Replicating Shared Disaggregated-Memory Data in No Time. Antoine Murat, Clément Burgelin, Athanasios Xygkis, Igor Zablotchi, Marcos Kawazoe Aguilera, Rachid Guerraoui |
| 2024 | Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor with T10. Yiqi Liu, Yuqi Xue, Yu Cheng, Lingxiao Ma, Ziming Miao, Jilong Xue, Jian Huang |
| 2024 | Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions. Kinan Dak Albab, Artem Agvanian, Allen Aby, Corinn Tiffany, Alexander Portland, Sarah Ridley, Malte Schwarzkopf |
| 2024 | SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference. Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R. Govindarajan, Uday Bondhugula |
| 2024 | Skyloft: A General High-Efficient Scheduling Framework in User Space. Yuekai Jia, Kaifu Tian, Yuyang You, Yu Chen, Kang Chen |
| 2024 | Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor Collections. Marcel Wagenländer, Guo Li, Bo Zhao, Luo Mai, Peter R. Pietzuch |
| 2024 | Tiered Memory Management: Access Latency is the Key! Midhul Vuppalapati, Rachit Agarwal |
| 2024 | TrEnv: Transparently Share Serverless Execution Environments Across Different Functions and Nodes. Jialiang 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 |
| 2024 | Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor. Siran Liu, Chengxiang Qi, Ying Cao, Chao Yang, Weifang Hu, Xuanhua Shi, Fan Yang, Mao Yang |
| 2024 | Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs. Yiming Qiu, Patrick Tser Jern Kon, Ryan Beckett, Ang Chen |
| 2024 | Unifying serverless and microservice workloads with SigmaOS. Ariel Szekely, Adam Belay, Robert Morris, M. Frans Kaashoek |
| 2024 | VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS Clouds. Kaijie Guo, Dingji Li, Ben Luo, Yibin Shen, Kaihuan Peng, Ning Luo, Shengdong Dai, Chen Liang, Jianming Song, Hang Yang, Xiantao Zhang, Zeyu Mi |
| 2024 | Verus: A Practical Foundation for Systems Verification. Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno |
| 2024 | vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware. Jiaxing Qiu, Zijie Zhou, Yang Li, Zhenhua Li, Feng Qian, Hao Lin, Di Gao, Haitao Su, Xin Miao, Yunhao Liu, Tianyin Xu |