default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th HotOS 2025: Banff, AB, Canada
- Proceedings of the 2025 Workshop on Hot Topics in Operating Systems, HotOS 2025, Banff, AB, Canada, May 14-16, 2025. ACM 2025, ISBN 979-8-4007-1475-7
- Divyanshu Saxena
, Jiayi Chen, Sujay Yadalam, Yeonju Ro, Rohit Dwivedula, Eric H. Campbell, Aditya Akella, Christopher J. Rossbach, Michael Swift:
How I learned to stop worrying and love learned OS policies. 1-7 - Lillian Tsai, Eugene Bagdasarian:
Contextual Agent Security: A Policy for Every Purpose. 8-17 - James Mickens, Sarah Radway, Ravi Netravali:
Guillotine: Hypervisors for Isolating Malicious AIs. 18-26 - Charly Castes, François Costa, Nate Foster, Thomas Bourgeat, Edouard Bugnion:
Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet. 27-33 - Jianxing Qin, Alexander Du, Danfeng Zhang, Matthew Lentz, Danyang Zhuo:
Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark. 34-41 - Gregory Malecha, Hoang-Hai Dang, Paolo G. Giarrusso, Simon Hudon, Jan-Oliver Kaiser, David Swasey:
Modular, Full-System Verification. 42-49 - Musa Unal, Vishal Gupta, Yueyang Pan, Yujie Ren, Sanidhya Kashyap:
Tolerate It if You Cannot Reduce It: Handling Latency in Tiered Memory. 50-57 - Yuhong Zhong, Daniel S. Berger, Pantea Zardoshti, Enrique Saurez, Jacob Nelson, Antonis Psistakis, Joshua Fried, Asaf Cidon:
My CXL Pool Obviates Your PCIe Switch. 58-66 - Jiyuan Zhang, Jongyul Kim, Chloe Alverti, Peizhe Liu, Weiwei Jia, Tianyin Xu:
Rethinking Tiered Storage: Talk to File Systems, Not Device Drivers. 67-73 - Sagar Bharadwaj, Anthony Rowe, Srinivasan Seshan:
Uniting the World by Dividing it: Federated Maps to Enable Spatial Applications. 74-79 - Reginald Frank, Octavio Lomeli, Neil Giridharan, Soujanya Ponnapalli, Marcos K. Aguilera, Natacha Crooks:
Real Life Is Uncertain. Consensus Should Be Too! 80-87 - Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis:
From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs. 88-95 - Manuel Vögele, Christopher Thomas, Timo Hönig:
Spork: A posix_spawn you can use as a fork. 96-102 - Katie Lim, Matthew Giordano, Irene Zhang, Baris Kasikci, Thomas E. Anderson:
Apiary: An OS for the Modern FPGA. 103-110 - Sergey Legtchenko, Ioan A. Stefanovici, Richard Black, Antony I. T. Rowstron, Junyi Liu, Paolo Costa, Burcu Canakci, Dushyanth Narayanan, Xingbo Wu:
Storage Class Memory is Dead, All Hail Managed-Retention Memory: Rethinking Memory for the AI Era. 111-118 - Weixin Deng, Andy Ruan, Megan Frisella, Kai-Hsun Chen, SangBin Cho, Jack Tigar Humphries, Rui Qiao, Stephanie Wang:
Towards ML System Extensibility. 119-126 - Burcu Canakci, Junyi Liu, Xingbo Wu, Nathanaël Cheriere, Paolo Costa, Sergey Legtchenko, Dushyanth Narayanan, Antony I. T. Rowstron:
Good things come in small packages: Should we build AI clusters with Lite-GPUs? 127-135 - Avidan Borisov, Nadav Amit, Dan Tsafrir:
Batching with End-to-End Performance Estimation. 136-143 - Wei Siew Liew, Md Ashfaqur Rahaman, James McMahon, Ryan Stutsman, Vijay Nagarajan:
Stop Taking the Scenic Route: the Shortest Distance Between the CPU and the NIC is MMIO. 144-150 - Pengcheng Xu, Timothy Roscoe:
The NIC should be part of the OS. 151-157 - Xiangfeng Zhu, Yang Zhou, Yuyao Wang, Xiangyu Gao, Arvind Krishnamurthy, Sam Kumar, Ratul Mahajan, Danyang Zhuo:
Rethinking RPC Communication for Microservices-based Applications. 158-164 - Atul Adya, Phil Bogle, Colin Meek:
Understanding the limitations of pubsub systems. 165-171 - Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani:
Analyzing Metastable Failures. 172-178 - In Gim, Lin Zhong:
Serve Programs, Not Prompts. 179-186 - Yizhuo Liang, Ramesh Govindan, Seo Jin Park:
Granular Resource Demand Heterogeneity. 187-194 - Micah Murray, Wen Zhang, Aisha Mushtaq, Natacha Crooks, Aurojit Panda, Scott Shenker:
Designing a Datacenter-wide Distributed Shared Log. 195-201 - Fan Chung, Henry Kuo, George Candea:
The Case for Energy Clarity. 202-209 - Aviad Zuck, Rob Johnson, Donald E. Porter, Dan Tsafrir:
Leveraging Software Fault Tolerance for Longer Flash Hardware Lifespan. 210-217 - Gohar Irfan Chaudhry, Esha Choukse, Íñigo Goiri, Rodrigo Fonseca, Adam Belay, Ricardo Bianchini:
Towards Resource-Efficient Compound AI Systems. 218-224
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-08 21:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
