PPaperPicks
← All conferences
Editions2025

HotOS 2025

A

USENIX Workshop on Hot Topics in Operating Systems

Official site ↗
29
accepted papers
143
authors
May 14-16, 2025
dates
Canada
location

29 / 29 papers

  1. 1
    Analyzing Metastable Failures
    Rebecca Isaacs
    ,
    Peter Alvaro
    ,
    Rupak Majumdar
    ,
    Kiran Kumar
    ,
    Muniswamy Reddy
    ,
    Mahmoud Salamati
    ,
    Sadegh Soudjani
  2. 2
    Apiary: An OS for the Modern FPGA
    Katie Lim
    ,
    Matthew Giordano
    ,
    Irene Zhang
    ,
    Baris Kasikci
    ,
    Thomas E. Anderson
  3. 3
    Batching with End-to-End Performance Estimation
    Avidan Borisov
    ,
    Nadav Amit
    ,
    Dan Tsafrir
  4. 4
    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
  5. 5
    Contextual Agent Security: A Policy for Every Purpose
    Lillian Tsai
    ,
    Eugene Bagdasarian
  6. 6
    Designing a Datacenter-wide Distributed Shared Log
    Micah Murray
    ,
    Wen Zhang
    ,
    Aisha Mushtaq
    ,
    Natacha Crooks
    ,
    Aurojit Panda
    ,
    Scott Shenker
  7. 7
    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
  8. 8
    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
  9. 9
    Granular Resource Demand Heterogeneity
    Yizhuo Liang
    ,
    Ramesh Govindan
    ,
    Seo Jin Park
  10. 10
    Guillotine: Hypervisors for Isolating Malicious AIs
    James Mickens
    ,
    Sarah Radway
    ,
    Ravi Netravali
  11. 11
    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
  12. 12
    Leveraging Software Fault Tolerance for Longer Flash Hardware Lifespan
    Aviad Zuck
    ,
    Rob Johnson
    ,
    Donald E. Porter
    ,
    Dan Tsafrir
  13. 13
    Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet
    Charly Castes
    ,
    François Costa
    ,
    Nate Foster
    ,
    Thomas Bourgeat
    ,
    Edouard Bugnion
  14. 14
    Modular, Full-System Verification
    Gregory Malecha
    ,
    Hoang-Hai Dang
    ,
    Paolo G. Giarrusso
    ,
    Simon Hudon
    ,
    Jan-Oliver Kaiser
    ,
    David Swasey
  15. 15
    My CXL Pool Obviates Your PCIe Switch
    Yuhong Zhong
    ,
    Daniel S. Berger
    ,
    Pantea Zardoshti
    ,
    Enrique Saurez
    ,
    Jacob Nelson
    ,
    Antonis Psistakis
    ,
    Joshua Fried
    ,
    Asaf Cidon
  16. 16
    Real Life Is Uncertain. Consensus Should Be Too!
    Reginald Frank
    ,
    Octavio Lomeli
    ,
    Neil Giridharan
    ,
    Soujanya Ponnapalli
    ,
    Marcos K. Aguilera
    ,
    Natacha Crooks
  17. 17
    Rethinking RPC Communication for Microservices-based Applications
    Xiangfeng Zhu
    ,
    Yang Zhou
    ,
    Yuyao Wang
    ,
    Xiangyu Gao
    ,
    Arvind Krishnamurthy
    ,
    Sam Kumar
    ,
    Ratul Mahajan
    ,
    Danyang Zhuo
  18. 18
    Rethinking Tiered Storage: Talk to File Systems, Not Device Drivers
    Jiyuan Zhang
    ,
    Jongyul Kim
    ,
    Chloe Alverti
    ,
    Peizhe Liu
    ,
    Weiwei Jia
    ,
    Tianyin Xu
  19. 19
    Serve Programs, Not Prompts
    In Gim
    ,
    Lin Zhong
  20. 20
    Spork: A posix_spawn you can use as a fork
    Manuel Vögele
    ,
    Christopher Thomas
    ,
    Timo Hönig
  21. 21
    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
  22. 22
    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
  23. 23
    The Case for Energy Clarity
    Fan Chung
    ,
    Henry Kuo
    ,
    George Candea
  24. 24
    The NIC should be part of the OS
    Pengcheng Xu
    ,
    Timothy Roscoe
  25. 25
    Tolerate It if You Cannot Reduce It: Handling Latency in Tiered Memory
    Musa Unal
    ,
    Vishal Gupta
    ,
    Yueyang Pan
    ,
    Yujie Ren
    ,
    Sanidhya Kashyap
  26. 26
    Towards ML System Extensibility
    Weixin Deng
    ,
    Andy Ruan
    ,
    Megan Frisella
    ,
    Kai-Hsun Chen
    ,
    SangBin Cho
    ,
    Jack Tigar Humphries
    ,
    Rui Qiao
    ,
    Stephanie Wang
  27. 27
    Towards Resource-Efficient Compound AI Systems
    Gohar Irfan Chaudhry
    ,
    Esha Choukse
    ,
    Íñigo Goiri
    ,
    Rodrigo Fonseca
    ,
    Adam Belay
    ,
    Ricardo Bianchini
  28. 28
    Understanding the limitations of pubsub systems
    Atul Adya
    ,
    Phil Bogle
    ,
    Colin Meek
  29. 29
    Uniting the World by Dividing it: Federated Maps to Enable Spatial Applications
    Sagar Bharadwaj
    ,
    Anthony Rowe
    ,
    Srinivasan Seshan