publish-assistant/site/data/cloud-edge/papers/SOSP-2025-digest.yaml

venue: SOSP
year: 2025
papers:
- title: 'LithOS: An Operating System for Efficient Machine Learning on GPUs'
  authors:
  - Patrick H. Coppock
  - Brian Zhang
  - Eliot H. Solomon
  - Vasilis Kypriotis
  - Leon Yang
  - Bikash Sharma
  - Dan Schatzberg
  - Todd C. Mowry
  - Dimitrios Skarlatos 0002
  reason: "Designs a dedicated OS for GPU ML workloads, rethinking scheduling and resource management at the kernel level for accelerator-centric computing."

- title: 'CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost
    Embedded Devices'
  authors:
  - Saar Amar
  - Tony Chen
  - David Chisnall
  - Nathaniel Wesley Filardo
  - Ben Laurie
  - Hugo Lefeuvre
  - Kunyan Liu
  - Simon W. Moore
  - Robert Norton-Wright
  - Margo I. Seltzer
  - Yucong Tao
  - Robert N. M. Watson
  - Hongyan Xia
  reason: "Demonstrates hardware-capability-based fine-grained memory safety and compartmentalisation on constrained embedded devices, setting a new bar for secure IoT OSes."

- title: 'Atmosphere: Practical Verified Kernels with Rust and Verus'
  authors:
  - Xiangdong Chen
  - Zhaofeng Li 0004
  - Jerry Zhang
  - Vikram Narayanan
  - Anton Burtsev
  reason: "Shows that practical kernel verification is achievable using Rust and the Verus verifier, bridging the gap between formal methods and production OS development."

- title: 'TickTock: Verified Isolation in a Production Embedded OS'
  authors:
  - Vivien Rindisbacher
  - Evan Johnson 0001
  - Nico Lehmann
  - Tyler Potyondy
  - Pat Pannuto
  - Stefan Savage
  - Deian Stefan
  - Ranjit Jhala
  reason: "Delivers machine-checked proofs of isolation properties for a real embedded OS, providing strong security guarantees without sacrificing production deployability."

- title: 'μFork: Supporting POSIX fork Within a Single-Address-Space OS'
  authors:
  - John Alistair Kressel
  - Hugo Lefeuvre
  - Pierre Olivier
  reason: "Reconciles the POSIX fork abstraction with unikernel/single-address-space designs, addressing a long-standing compatibility obstacle for library OS deployments."

- title: Scalable Address Spaces using Concurrent Interval Skiplist
  authors:
  - Tae Woo Kim
  - Youngjin Kwon
  - Jeehoon Kang
  reason: "Tackles the fundamental kernel scalability problem of virtual memory area management by replacing the VMA red-black tree with a concurrent interval skiplist, yielding significant mmap/munmap throughput gains."

- title: 'cache_ext: Customizing the Page Cache with eBPF'
  authors:
  - Tal Zussman
  - Ioannis Zarkadas
  - Jeremy Carin
  - Andrew Cheng
  - Hubertus Franke
  - Jonas Pfefferle
  - Asaf Cidon
  reason: "Extends the eBPF programmability model to the OS page cache, enabling application-specific caching policies without kernel modifications."

- title: 'Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack'
  authors:
  - Chuandong Li 0004
  - Ran Yi 0004
  - Zonghao Zhang
  - Jing Liu 0074
  - Changwoo Min
  - Jie Zhang 0048
  - Yingwei Luo
  - Xiaolin Wang 0001
  - Zhenlin Wang 0003
  - Diyu Zhou
  reason: "Redesigns the storage I/O path around userspace interrupts, achieving high throughput and low latency while preserving strong isolation properties."

- title: 'Sleeping with One Eye Open: Fast, Sustainable Storage with Sandman'
  authors:
  - Yanbo Zhou
  - Erci Xu
  - Anisa Su
  - Jim Harris
  - Adam Manzanares
  - Steven Swanson
  reason: "Introduces a storage system that aggressively power-gates flash devices while maintaining low latency, addressing sustainability concerns for large-scale storage deployments."

- title: 'Oasis: Pooling PCIe Devices Over CXL to Boost Utilization'
  authors:
  - Yuhong Zhong
  - Daniel S. Berger
  - Pantea Zardoshti
  - Enrique Saurez
  - Jacob Nelson 0001
  - Dan R. K. Ports
  - Antonis Psistakis
  - Joshua Fried
  - Asaf Cidon
  reason: "Exploits CXL interconnects to pool PCIe devices across servers, significantly improving device utilisation and laying groundwork for memory-semantic datacenter architectures."

- title: 'Scalable Far Memory: Balancing Faults and Evictions'
  authors:
  - Yueyang Pan
  - Yash Lala
  - Musa Unal
  - Yujie Ren
  - SeungSeob Lee
  - Abhishek Bhattacharjee
  - Anurag Khandelwal
  - Sanidhya Kashyap
  reason: "Provides a rigorous analysis of the fault-vs-eviction trade-off in far-memory systems and proposes mechanisms that scale to production datacenter workloads."

- title: 'Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks'
  authors:
  - Jinkun Geng
  - Shuai Mu 0001
  - Anirudh Sivaraman
  - Balaji Prabhakar
  reason: "Exploits hardware clock synchronisation to cut coordination overhead in geo-distributed transactions, achieving latency close to the theoretical network minimum."

- title: 'Pesto: Cooking up High Performance BFT Queries'
  authors:
  - Florian Suri-Payer
  - Neil Giridharan
  - Liam Arzola
  - Shir Cohen
  - Lorenzo Alvisi
  - Natacha Crooks
  reason: "Advances Byzantine fault-tolerant systems by separating the query path from consensus, enabling high-throughput reads without weakening safety guarantees."

- title: 'Orthrus: Efficient and Timely Detection of Silent User Data Corruption in
    the Cloud with Resource-Adaptive Computation Validation'
  authors:
  - Chenxiao Liu
  - Zhenting Zhu
  - Quanxi Li
  - Yanwen Xia
  - Yifan Qiao 0002
  - Xiangyun Deng
  - Youyou Lu
  - Tao Xie 0001
  - Huimin Cui
  - Zidong Du
  - Harry Xu 0001
  - Chenxi Wang 0005
  reason: "Detects silent data corruption at cloud scale using resource-adaptive redundant computation, addressing a critical and hard-to-diagnose reliability threat in hyperscale infrastructure."