HotOS 2025

Meta Info

Homepage: https://sigops.org/s/conferences/hotos/2025/index.html

Paper list: https://sigops.org/s/conferences/hotos/2025/program.html

Papers

AI Infrastructure

• Good things come in small packages: Should we build AI clusters with Lite-GPUs? [arXiv]

  • MSR

• Storage Class Memory is Dead, All Hail Managed-Retention Memory: Rethinking Memory for the AI Era [arXiv]

  • MSR

  • MRM: Managed-Retention Memory

Resource Management

• Granular Resource Demand Heterogeneity [Paper]

  • USC

  • hiresperf: a granular resource profiler that investigates resource usage at 10-microsecond intervals attributed to each function invocation with a low overhead

Compound AI Systems

• Towards Resource-Efficient Compound AI Systems [arXiv]

  • MIT & Microsoft Azure

Operating Systems

• Apiary: An OS for the Modern FPGA

  • UW

• The NIC should be part of the OS

  • ETH

Tiered Storage

• Tolerate It if You Cannot Reduce It: Handling Latency in Tiered Memory

  • EPFL

• My CXL Pool Obviates Your PCIe Switch [arXiv]

  • Columbia & Microsoft

• Rethinking Tiered Storage: Talk to File Systems, Not Device Drivers

  • UIUC

Remote Procedure Call (RPC)

• Rethinking RPC Communication for Microservices-based Applications [Paper]

  • UW

AI Security

• Guillotine: Hypervisors for Isolating Malicious AIs [arXiv]

  • Harvard & Princeton

Verification

• Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet

  • EPFL

• Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark

  • Duke

• Modular, Full-System Verification

  • BlueRock Security

Shared Log

• Designing a Datacenter-wide Distributed Shared Log

  • UC Berkeley

Unclassified

• Towards ML System Extensibility

  • UW

• Serve Programs, Not Prompts

  • Yale