| IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing | OSDI '24 | Yilun Wu, Byounguk Min, Mohannad Ismail, Wenjie Xiong, Changhee Jung, Dongyoon Lee |
| Data-flow Availability: Achieving Timing Assurance in Autonomous Systems | OSDI '24 | Ao Li, Ning Zhang |
| Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel | OSDI '24 | Haibo Chen, Xie Miao, Ning Jia, Nan Wang, Yu Li, Nian Liu, Yutao Liu, Fei Wang, Qiang Huang, Kun Li, Hongyang Yang, Hui Wang, Jie Yin, Yu Peng, Fengwei Xu |
| When will my ML Job finish? Toward providing Completion Time Estimates through Predictability-Centric Scheduling | OSDI '24 | Abdullah Bin Faisal, Noah Martin, Hafiz Mohsin Bashir, Swaminathan Lamelas, Fahad R. Dogar |
| Optimizing Resource Allocation in Hyperscale Datacenters: Scalability, Usability, and Experiences | OSDI '24 | Neeraj Kumar, Pol Mauri Ruiz, Vijay Menon, Igor Kabiljo, Mayank Pundir, Andrew Newell, Daniel Lee, Liyuan Wang, Chunqiang Tang |
| ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production Testing | OSDI '24 | Mike Chow, Yang Wang, William Wang, Ayichew Hailu, Rohan Bopardikar, Bin Zhang, Jialiang Qu, David Meisner, Santosh Sonawane, Yunqi Zhang, Rodrigo Paim, Mack Ward, Ivor Huang, Matt McNally, Daniel Hodges, Zoltan Farkas, Caner Gocmen, Elvis Huang, Chunqiang Tang |
| MAST: Global Scheduling of ML Training across Geo-Distributed Datacenters at Hyperscale | OSDI '24 | Arnab Choudhury, Yang Wang, Tuomas Pelkonen, Kutta Srinivasan, Abha Jain, Shenghao Lin, Delia David, Siavash Soleimanifard, Michael Chen, Abhishek Yadav, Ritesh Tijoriwala, Denis Samoylov, Chunqiang Tang |
| Automatically Reasoning About How Systems Code Uses the CPU Cache | OSDI '24 | Rishabh Iyer, Katerina Argyraki, George Candea |
| VeriSMo: A Verified Security Module for Confidential VMs | OSDI '24 | Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui |
| Validating the eBPF Verifier via State Embedding | OSDI '24 | Hao Sun, Zhendong Su |
| Using Dynamically Layered Definite Releases for Verifying the RefFS File System | OSDI '24 | Mo Zou, Dong Du, Mingkai Dong, Haibo Chen |
| Anvil: Verifying Liveness of Cluster Management Controllers | OSDI '24 | Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu |
| DSig: Breaking the Barrier of Signatures in Data Centers | OSDI '24 | Marcos K. Aguilera, Clément Burgelin, Rachid Guerraoui, Antoine Murat, Athanasios Xygkis, Igor Zablotchi |
| Ransom Access Memories: Achieving Practical Ransomware Protection in Cloud with DeftPunk | OSDI '24 | Zhongyu Wang, Yaheng Song, Erci Xu, Haonan Wu, Guangxun Tong, Shizhuo Sun, Haoran Li, Jincheng Liu, Lijun Ding, Rong Liu, Jiaji Zhu, Jiesheng Wu |
| Secret Key Recovery in a Global-Scale End-to-End Encryption System | OSDI '24 | Graeme Connell, Vivian Fang, Rolfe Schmidt, Emma Dauterman, Raluca Ada Popa |
| Flock: A Framework for Deploying On-Demand Distributed Trust | OSDI '24 | Darya Kaviani, Sijun Tan, Pravein Govindan Kannan, Raluca Ada Popa |
| FairyWREN: A Sustainable Cache for Emerging Write-Read-Erase Flash Interfaces | OSDI '24 | Sara McAllister, Yucong "Sherry" Wang, Benjamin Berg, Daniel S. Berger, George Amvrosiadis, Nathan Beckmann, Gregory R. Ganger |
| Massively Parallel Multi-Versioned Transaction Processing | OSDI '24 | Shujian Qian, Ashvin Goel |
| Burstable Cloud Block Storage with Data Processing Units | OSDI '24 | Junyi Shu, Kun Qian, Ennan Zhai, Xuanzhe Liu, Xin Jin |
| Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory | OSDI '24 | Ming Zhang, Yu Hua, Zhijun Yang |
| Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation | OSDI '24 | Zu-Ming Jiang, Zhendong Su |
| Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs | OSDI '24 | Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno |
| Performance Interfaces for Hardware Accelerators | OSDI '24 | Jiacheng Ma, Rishabh Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea |
| IronSpec: Increasing the Reliability of Formal Specifications | OSDI '24 | Eli Goldweber, Weixin Yu, Seyed Armin Vakil Ghahani, Manos Kapritsos |
| Identifying On-/Off-CPU Bottlenecks Together with Blocked Samples | OSDI '24 | Minwoo Ahn, Jeongmin Han, Youngjin Kwon, Jinkyu Jeong |
