HotOS XX

Tuesday – May 13, 2025

14:00–17:00 — Registration Desk in Mount Stephen Hall (Mezzanine 1)

18:00–20:00 — Welcome Reception in Mount Stephen Hall (Mezzanine 1)

Wednesday – May 14, 2025

8:00–9:00 — Breakfast Buffet (Alhambra Room)

How to be in this world: Securing Adolescent AIs 9:00–10:30 Session Chair: Timothy Roscoe

Introductory Remarks

How I learned to stop worrying and love learned OS policies Divyanshu Saxena, Jiayi Chen (The University of Texas at Austin); Sujay Yadalam (University of Wisconsin-Madison); Yeonju Ro, Rohit Dwivedula, Eric H. Campbell, Aditya Akella, Christopher J. Rossbach (The University of Texas at Austin); Michael Swift (University of Wisconsin--Madison) Slides: PDF | PowerPoint Contextual Agent Security: A Policy for Every Purpose Lillian Tsai, Eugene Bagdasarian (Google) Slides: PDF | Keynote Guillotine: Hypervisors for Isolating Malicious AIs James Mickens, Sarah Radway (Harvard University); Ravi Netravali (Princeton University)

10:30–10:45 — Coffee Break (Alhambra Foyer)

Breaking the Big Goal of Verification into Smaller Pieces 10:45–12:00 Session Chair: Alexandra (Sasha) Fedorova

Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet Charly Castes (EPFL); François Costa (ETH Zurich); Nate Foster (Cornell and Jane Street); Thomas Bourgeat, Edouard Bugnion (EPFL) Slides: PDF 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 (Duke University) Slides: PDF Modular, Full-System Verification Gregory Malecha, Hoang-Hai Dang, Paolo G. Giarrusso, Simon Hudon, Jan-Oliver Kaiser (BlueRock Security, Inc); David Swasey (Riverside Research) Slides: PDF

12:00–13:15 — Lunch Buffet (Alhambra Room)

Tiered Storage: Yet More Systems Problems Solved with Another Layer of Indirection 13:15–14:30 Session Chair: Kim Keeton

Tolerate It if You Cannot Reduce It: Handling Latency in Tiered Memory Musa Unal, Vishal Gupta, Yueyang Pan, Yujie Ren, Sanidhya Kashyap (EPFL) Slides: PowerPoint My CXL Pool Obviates Your PCIe Switch Yuhong Zhong (Columbia University); Daniel S. Berger (Microsoft Azure and University of Washington); Pantea Zardoshti, Enrique Saurez (Microsoft Azure); Jacob Nelson (Microsoft Research); Antonis Psistakis (University of Illinois Urbana-Champaign); Joshua Fried (MIT CSAIL); Asaf Cidon (Columbia University) Slides: PDF Rethinking Tiered Storage: Talk to File Systems, Not Device Drivers Jiyuan Zhang, Jongyul Kim, Chloe Alverti, Peizhe Liu (University of Illinois Urbana-Champaign); Weiwei Jia (The University of Rhode Island); Tianyin Xu (University of Illinois Urbana-Champaign) Slides: PDF | PowerPoint

14:30–15:00 — Coffee Break (Alhambra Foyer)

In Principle, Sure, but in Practice ... 15:00–16:00 Session Chair: James Mickens

Uniting the world by dividing it: Federated maps to enable spatial applications Sagar Bharadwaj, Anthony Rowe, Srinivasan Seshan (Carnegie Mellon University) Slides: PDF | PowerPoint Real Life is Uncertain. Consensus Should Be Too! Reginald Frank, Octavio Lomeli, Neil Giridharan, Soujanya Ponnapalli (UC Berkeley); Marcos K. Aguilera (Broadcom); Natacha Crooks (UC Berkeley) Slides: PDF | PowerPoint

16:10–17:00 — Panel: Opportunities and Challenges of Applying Machine Learning in Computer Systems
Panelists: Aditya Akella (UT Austin); Alexandra Fedorova (UBC); Cheng Tan (Northeastern University); Christopher J. Rossbach (UT Austin); Martin Maas (Google DeepMind); Shivaram Venkataraman (University of Wisconsin-Madison)

Dinner on Your Own

Thursday – May 15, 2025

8:00–9:00 — Breakfast Buffet (Alhambra Room)

Throwback Thursday: Classic OS Design Issues, Remixed 9:00–10:15 Session Chair: Don Porter

From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs Lukas Lazarek, Seong-Heon Jung (Brown University); Evangelos Lamprou (Brown University & DTU); Zekai Li, Anirudh Narsipur, Eric Zhao (Brown University); Michael Greenberg (Stevens Institute of Technology); Konstantinos Kallas (University of California, Los Angeles); Konstantinos Mamouras (Rice University); Nikos Vasilakis (Brown University) Slides: PDF Spork: A posix_spawn you can use as a fork Manuel Vögele, Christopher Thomas, Timo Hönig (Ruhr University Bochum) Slides: PDF Apiary: An OS for the Modern FPGA Katie Lim, Matthew Giordano (University of Washington); Irene Zhang (Microsoft Research); Baris Kasikci, Thomas Anderson (University of Washington) Slides: PDF

10:15–10:45 — Coffee Break (Alhambra Foyer)

What Can we Learn from Learned Systems? 10:45–12:00 Session Chair: Aurojit Panda

Storage Class Memory is Dead, All Hail Managed-Retention Memory: Rethinking Memory for the AI Era Sergey Legtchenko, Ioan Stefanovici, Richard Black, Antony Rowstron, Junyi Liu, Paolo Costa, Burcu Canakci, Dushyanth Narayanan, Xingbo Wu (Microsoft Research) Slides: PDF Towards ML System Extensibility Weixin Deng, Andy Ruan, Megan Frisella (University of Washington); Kai-Hsun Chen (Anyscale); SangBin Cho (xAI); Jack Tigar Humphries (Jane Street); Rui Qiao (Anyscale); Stephanie Wang (University of Washington) Slides: PDF Good things come in small packages: Should we build AI clusters with Lite-GPUs? Burcu Canakci, Junyi Liu, Xingbo Wu, Nathanaël Cheriere, Dushyanth Narayanan, Paolo Costa, Sergey Legtchenko, Antony Rowstron (Microsoft Research) Slides: PDF

12:00–13:15 — Lunch Buffet (Alhambra Room)

Faster Pipes 13:15–14:30 Session Chair: Ana Klimović

Batching with End-to-End Performance Estimation Avidan Borisov, Nadav Amit, Dan Tsafrir (Technion) Slides: PDF | PowerPoint Stop Taking the Scenic Route: the Shortest Distance Between the CPU and the NIC is MMIO Wei Siew Liew, Md Ashfaqur Rahaman, James McMahon, Ryan Stutsman, Vijay Nagarajan (University of Utah) Slides: PDF The NIC should be part of the OS. Pengcheng Xu, Timothy Roscoe (ETH Zurich) Slides: PDF

14:30–14:50 — Coffee Break (Alhambra Foyer)

14:50–15:50 — AI Infrastructure: Can The Systems Community Close (most of) the AI Energy Gap?
Panelists: Ricardo Bianchini (Microsoft Azure); Tim Dettmers (Allen Institute and CMU); Zhihao Jia (CMU); Philip Levis (Stanford); David Tennenhouse (National Science Foundation)

The Mind Fairly Boggles: Understanding Datacenter Application Behavior 16:00–17:15 Session Chair: Shivaram Venkataraman

Rethinking RPC Communication for Microservices-based Applications Xiangfeng Zhu (University of Washington); Yang Zhou (UC Davis and UC Berkeley); Yuyao Wang, Xiangyu Gao, Arvind Krishnamurthy (University of Washington); Sam Kumar (University of California, Los Angeles); Ratul Mahajan (University of Washington); Danyang Zhuo (Duke University) Slides: PDF Understanding the limitations of pubsub systems Atul Adya, Phil Bogle, Colin Meek (Databricks) Slides: PDF | PowerPoint Analyzing Metastable Failures Rebecca Isaacs (AWS); Rupak Majumdar (AWS and MPI-SWS); Peter Alvaro (UC Santa Cruz and AWS); Kiran-Kumar Muniswamy-Reddy (AWS); Mahmoud Salamati, Sadegh Soudjani (MPI-SWS)

18:00–19:00 — Cocktails (Alhambra Foyer)

19:00–21:00 — Banquet (Alhambra Room)

Friday – May 16, 2025

8:00–9:00 — Breakfast Buffet (Alhambra Room)

Handling Malthusian Growth in Datacenter Infrastructure 9:00–10:15 Session Chair: Hugo Sadok

Serve Programs, Not Prompts In Gim, Lin Zhong (Yale University) Slides: PDF Granular Resource Demand Heterogeneity Yizhuo Liang, Ramesh Govindan, Seo Jin Park (University of Southern California) Slides: PDF Designing a Datacenter-wide Distributed Shared Log Micah Murray, Wen Zhang, Aisha Mushtaq, Natacha Crooks (UC Berkeley); Aurojit Panda (New York University); Scott Shenker (ICSI AND UC Berkeley) Slides: PDF

10:15–10:45 — Coffee Break (Alhambra Foyer)

Hot OSes without a Hot Planet 10:45–12:00 Session Chair: Natacha Crooks

The Case for Energy Clarity Fan Chung, Henry Kuo, George Candea (EPFL) Slides: PDF Leveraging Software Fault Tolerance for Longer Flash Hardware Lifespan Aviad Zuck (Technion); Rob Johnson (Broadcom); Donald Porter (The University of North Carolina at Chapel Hill); Dan Tsafrir (Technion) Slides: PDF Towards Resource-Efficient Compound AI Systems Gohar Irfan Chaudhry (MIT CSAIL); Esha Choukse, Íñigo Goiri, Rodrigo Fonseca (Microsoft Azure Research -- Systems); Adam Belay (MIT CSAIL); Ricardo Bianchini (Microsoft Azure) Slides: PDF

Lunch on Your Own