


default search action
20th 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














