| 2025 | Analyzing Metastable Failures. Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani |
| 2025 | Apiary: An OS for the Modern FPGA. Katie Lim, Matthew Giordano, Irene Zhang, Baris Kasikci, Thomas E. Anderson |
| 2025 | Batching with End-to-End Performance Estimation. Avidan Borisov, Nadav Amit, Dan Tsafrir |
| 2025 | Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark. Jianxing Qin, Alexander Du, Danfeng Zhang, Matthew Lentz, Danyang Zhuo |
| 2025 | Contextual Agent Security: A Policy for Every Purpose. Lillian Tsai, Eugene Bagdasarian |
| 2025 | Designing a Datacenter-wide Distributed Shared Log. Micah Murray, Wen Zhang, Aisha Mushtaq, Natacha Crooks, Aurojit Panda, Scott Shenker |
| 2025 | From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs. Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis |
| 2025 | Good things come in small packages: Should we build AI clusters with Lite-GPUs? Burcu Canakci, Junyi Liu, Xingbo Wu, Nathanaël Cheriere, Paolo Costa, Sergey Legtchenko, Dushyanth Narayanan, Antony I. T. Rowstron |
| 2025 | Granular Resource Demand Heterogeneity. Yizhuo Liang, Ramesh Govindan, Seo Jin Park |
| 2025 | Guillotine: Hypervisors for Isolating Malicious AIs. James Mickens, Sarah Radway, Ravi Netravali |
| 2025 | How I learned to stop worrying and love learned OS policies. Divyanshu Saxena, Jiayi Chen, Sujay Yadalam, Yeonju Ro, Rohit Dwivedula, Eric Hayden Campbell, Aditya Akella, Christopher J. Rossbach, Michael Swift |
| 2025 | Leveraging Software Fault Tolerance for Longer Flash Hardware Lifespan. Aviad Zuck, Rob Johnson, Donald E. Porter, Dan Tsafrir |
| 2025 | Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet. Charly Castes, François Costa, Nate Foster, Thomas Bourgeat, Edouard Bugnion |
| 2025 | Modular, Full-System Verification. Gregory Malecha, Hoang-Hai Dang, Paolo G. Giarrusso, Simon Hudon, Jan-Oliver Kaiser, David Swasey |
| 2025 | My CXL Pool Obviates Your PCIe Switch. Yuhong Zhong, Daniel S. Berger, Pantea Zardoshti, Enrique Saurez, Jacob Nelson, Antonis Psistakis, Joshua Fried, Asaf Cidon |
| 2025 | Proceedings of the 2025 Workshop on Hot Topics in Operating Systems, HotOS 2025, Banff, AB, Canada, May 14-16, 2025 |
| 2025 | Real Life Is Uncertain. Consensus Should Be Too! Reginald Frank, Octavio Lomeli, Neil Giridharan, Soujanya Ponnapalli, Marcos K. Aguilera, Natacha Crooks |
| 2025 | Rethinking RPC Communication for Microservices-based Applications. Xiangfeng Zhu, Yang Zhou, Yuyao Wang, Xiangyu Gao, Arvind Krishnamurthy, Sam Kumar, Ratul Mahajan, Danyang Zhuo |
| 2025 | Rethinking Tiered Storage: Talk to File Systems, Not Device Drivers. Jiyuan Zhang, Jongyul Kim, Chloe Alverti, Peizhe Liu, Weiwei Jia, Tianyin Xu |
| 2025 | Serve Programs, Not Prompts. In Gim, Lin Zhong |
| 2025 | Spork: A posix_spawn you can use as a fork. Manuel Vögele, Christopher Thomas, Timo Hönig |
| 2025 | Stop Taking the Scenic Route: the Shortest Distance Between the CPU and the NIC is MMIO. Wei Siew Liew, Md Ashfaqur Rahaman, James Patrick Mcmahon, Ryan Stutsman, Vijay Nagarajan |
| 2025 | Storage Class Memory is Dead, All Hail Managed-Retention Memory: Rethinking Memory for the AI Era. Sergey Legtchenko, Ioan A. Stefanovici, Richard Black, Antony I. T. Rowstron, Junyi Liu, Paolo Costa, Burcu Canakci, Dushyanth Narayanan, Xingbo Wu |
| 2025 | The Case for Energy Clarity. Fan Chung, Henry Kuo, George Candea |
| 2025 | The NIC should be part of the OS. Pengcheng Xu, Timothy Roscoe |
| 2025 | Tolerate It if You Cannot Reduce It: Handling Latency in Tiered Memory. Musa Unal, Vishal Gupta, Yueyang Pan, Yujie Ren, Sanidhya Kashyap |
| 2025 | Towards ML System Extensibility. Weixin Deng, Andy Ruan, Megan Frisella, Kai-Hsun Chen, SangBin Cho, Jack Tigar Humphries, Rui Qiao, Stephanie Wang |
| 2025 | Towards Resource-Efficient Compound AI Systems. Gohar Irfan Chaudhry, Esha Choukse, Íñigo Goiri, Rodrigo Fonseca, Adam Belay, Ricardo Bianchini |
| 2025 | Understanding the limitations of pubsub systems. Atul Adya, Phil Bogle, Colin Meek |
| 2025 | Uniting the World by Dividing it: Federated Maps to Enable Spatial Applications. Sagar Bharadwaj, Anthony Rowe, Srinivasan Seshan |