PPaperPicks
← All conferences
Editions202620252024

SOSP 2025

A*

ACM Symposium on Operating Systems Principles

Official site ↗
67
accepted papers
501
authors
October 13 - 16, 2025
dates
Republic of Korea
location

67 / 67 papers

  1. 1
    Aegaeon: Effective GPU Pooling for Concurrent LLM Serving on the Market
    Yuxing Xiang
    ,
    Xue Li
    ,
    Kun Qian
    ,
    Yufan Yang
    ,
    Diwen Zhu
    ,
    Wenyuan Yu
    ,
    Ennan Zhai
    ,
    Xuanzhe Liu
    ,
    Xin Jin
    ,
    Jingren Zhou
  2. 2
    Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack
    Chuandong Li
    ,
    Ran Yi
    ,
    Zonghao Zhang
    ,
    Jing Liu
    ,
    Changwoo Min
    ,
    Jie Zhang
    ,
    Yingwei Luo
    ,
    Xiaolin Wang
    ,
    Zhenlin Wang
    ,
    Diyu Zhou
  3. 3
    Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation
    Jonguk Jeon
    ,
    Subeen Park
    ,
    Sanidhya Kashyap
    ,
    Sudarsun Kannan
    ,
    Diyu Zhou
    ,
    Jeehoon Kang
  4. 4
    Atmosphere: Practical Verified Kernels with Rust and Verus
    Xiangdong Chen
    ,
    Zhaofeng Li
    ,
    Jerry Zhang
    ,
    Vikram Narayanan
    ,
    Anton Burtsev
  5. 5
    AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations
    Zihao Zhang
    ,
    Ti Zhou
    ,
    Christa Jenkins
    ,
    Omar Chowdhury
    ,
    Shuai Mu
  6. 6
    cache_ext: Customizing the Page Cache with eBPF
    Tal Zussman
    ,
    Ioannis Zarkadas
    ,
    Jeremy Carin
    ,
    Andrew Cheng
    ,
    Hubertus Franke
    ,
    Jonas Pfefferle
    ,
    Asaf Cidon
  7. 7
    Characterizing Mobile SoC for Accelerating Heterogeneous LLM Inference
    Le Chen
    ,
    Dahu Feng
    ,
    Erhu Feng
    ,
    Yingrui Wang
    ,
    Rong Zhao
    ,
    Yubin Xia
    ,
    Pinjie Xu
    ,
    Haibo Chen
  8. 8
    CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
    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
  9. 9
    COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization
    Suhas Jayaram Subramanya
    ,
    Don Kurian Dennis
    ,
    Virginia Smith
    ,
    Gregory R. Ganger
  10. 10
    CortenMM: Efficient Memory Management with Strong Correctness Guarantees
    Junyang Zhang
    ,
    Xiangcan Xu
    ,
    Yonghao Zou
    ,
    Zhe Tang
    ,
    Xinyi Wan
    ,
    Kang Hu
    ,
    Siyuan Wang
    ,
    Wenbo Xu
    ,
    Di Wang
    ,
    Hao Chen
    ,
    Lin Huang
    ,
    Shoumeng Yan
    ,
    Yuval Tamir
    ,
    Yingwei Luo
    ,
    Xiaolin Wang
    ,
    Huashan Yu
    ,
    Zhenlin Wang
    ,
    Hongliang Tian
    ,
    Diyu Zhou
  11. 11
    Coyote v2: Raising the Level of Abstraction for Data Center FPGAs
    Benjamin Ramhorst
    ,
    Dario Korolija
    ,
    Maximilian Jakob Heer
    ,
    Jonas Dann
    ,
    Luhao Liu
    ,
    Gustavo Alonso
  12. 12
    DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context Parallelism
    Chenyu Jiang
    ,
    Zhenkun Cai
    ,
    Ye Tian
    ,
    Zhen Jia
    ,
    Yida Wang
    ,
    Chuan Wu
  13. 13
    Demeter: A Scalable and Elastic Tiered Memory Solution for Virtualized Cloud via Guest Delegation
    Junliang Hu
    ,
    Zhisheng Hu
    ,
    Chun-Feng Wu
    ,
    Ming-Chang Yang
  14. 14
    Device-Assisted Live Migration of RDMA Devices
    Artem Y. Polyakov
    ,
    Gal Shalom
    ,
    Asaf Schwartz
    ,
    Aviad Yehezkel
    ,
    Omri Ben David
    ,
    Omri Kahalon
    ,
    Ariel Shahar
    ,
    Liran Liss
  15. 15
    DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV Compaction
    Yanqi Zhang
    ,
    Yuwei Hu
    ,
    Runyuan Zhao
    ,
    John C. S. Lui
    ,
    Haibo Chen
  16. 16
    eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle
    Tao Lyu
    ,
    Kumar Kartikeya Dwivedi
    ,
    Thomas Bourgeat
    ,
    Mathias Payer
    ,
    Meng Xu
    ,
    Sanidhya Kashyap
  17. 17
    Fast End-to-End Performance Simulation of Accelerated Hardware-Software Stacks
    Jiacheng Ma
    ,
    Jonas Kaufmann
    ,
    Emilien Guandalino
    ,
    Rishabh R. Iyer
    ,
    Thomas Bourgeat
    ,
    George Candea
  18. 18
    Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verification
    Zhiyong Wu
    ,
    Jie Liang
    ,
    Jingzhou Fu
    ,
    Wenqian Deng
    ,
    Yu Jiang
  19. 19
    FlexGuard: Fast Mutual Exclusion Independent of Subscription
    Victor Laforet
    ,
    Sanidhya Kashyap
    ,
    Calin Iorgulescu
    ,
    Julia Lawall
    ,
    Jean-Pierre Lozi
  20. 20
    Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor
    Kayvan Memarian
    ,
    Ben Simner
    ,
    David Kaloper-Mersinjak
    ,
    Thibaut Pérami
    ,
    Peter Sewell
  21. 21
    HedraRAG: Co-Optimizing Generation and Retrieval for Heterogeneous RAG Workflows
    Zhengding Hu
    ,
    Vibha Murthy
    ,
    Zaifeng Pan
    ,
    Wanlu Li
    ,
    Xiaoyi Fang
    ,
    Yufei Ding
    ,
    Yuke Wang
  22. 22
    How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service
    Jingkai He
    ,
    Yunpeng Dong
    ,
    Dong Du
    ,
    Mo Zou
    ,
    Zhitai Yu
    ,
    Yuxin Ren
    ,
    Ning Jia
    ,
    Yubin Xia
    ,
    Haibo Chen
  23. 23
    IC-Cache: Efficient Large Language Model Serving via In-context Caching
    Yifan Yu
    ,
    Yu Gan
    ,
    Nikhil Sarda
    ,
    Lillian Tsai
    ,
    Jiaming Shen
    ,
    Yanqi Zhou
    ,
    Arvind Krishnamurthy
    ,
    Fan Lai
    ,
    Hank Levy
    ,
    David E. Culler
  24. 24
    Jenga: Effective Memory Management for Serving LLM with Heterogeneity
    Chen Zhang
    ,
    Kuntai Du
    ,
    Shu Liu
    ,
    Woosuk Kwon
    ,
    Xiangxi Mo
    ,
    Yufeng Wang
    ,
    Xiaoxuan Liu
    ,
    Kaichao You
    ,
    Zhuohan Li
    ,
    Mingsheng Long
    ,
    Jidong Zhai
    ,
    Joseph Gonzalez
    ,
    Ion Stoica
  25. 25
    KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
    Chenyuan Yang
    ,
    Zijie Zhao
    ,
    Zichen Xie
    ,
    Haoyu Li
    ,
    Lingming Zhang
  26. 26
    KTransformers: Unleashing the Full Potential of CPU/GPU Hybrid Inference for MoE Models
    Hongtao Chen
    ,
    Weiyu Xie
    ,
    Boxin Zhang
    ,
    Jingqi Tang
    ,
    Jiahao Wang
    ,
    Jianwei Dong
    ,
    Shaoyuan Chen
    ,
    Ziwei Yuan
    ,
    Chen Lin
    ,
    Chengyu Qiu
    ,
    Yuening Zhu
    ,
    Qingliang Ou
    ,
    Jiaqi Liao
    ,
    Xianglin Chen
    ,
    Zhiyuan Ai
    ,
    Yongwei Wu
    ,
    Mingxing Zhang
  27. 27
    LithOS: An Operating System for Efficient Machine Learning on GPUs
    Patrick H. Coppock
    ,
    Brian Zhang
    ,
    Eliot H. Solomon
    ,
    Vasilis Kypriotis
    ,
    Leon Yang
    ,
    Bikash Sharma
    ,
    Dan Schatzberg
    ,
    Todd C. Mowry
    ,
    Dimitrios Skarlatos
  28. 28
    Loom: Efficient Capture and Querying of High-Frequency Telemetry
    Franco Solleza
    ,
    Shihang Li
    ,
    William Sun
    ,
    Richard Tang
    ,
    Malte Schwarzkopf
    ,
    Andrew Crotty
    ,
    David Cohen
    ,
    Nesime Tatbul
    ,
    Stan Zdonik
  29. 29
    Managing Scalable Direct Storage Accesses for GPUs with GoFS
    Shaobo Li
    ,
    Yirui Eric Zhou
    ,
    Yuqi Xue
    ,
    Yuan Xu
    ,
    Jian Huang
  30. 30
    Mantle: Efficient Hierarchical Metadata Management for Cloud Object Storage Services
    Jiahao Li
    ,
    Biao Cao
    ,
    Jielong Jian
    ,
    Cheng Li
    ,
    Sen Han
    ,
    Yiduo Wang
    ,
    Yufei Wu
    ,
    Kang Chen
    ,
    Zhihui Yin
    ,
    Qiushi Chen
    ,
    Jiwei Xiong
    ,
    Jie Zhao
    ,
    Fengyuan Liu
    ,
    Yan Xing
    ,
    Liguo Duan
    ,
    Miao Yu
    ,
    Ran Zheng
    ,
    Feng Wu
    ,
    Xianjun Meng
  31. 31
    Mercury: Unlocking Multi-GPU Operator Optimization for LLMs via Remote Memory Scheduling
    Yue Guan
    ,
    Xinwei Qiang
    ,
    Zaifeng Pan
    ,
    Daniels Johnson
    ,
    Yuanwei Fang
    ,
    Keren Zhou
    ,
    Yuke Wang
    ,
    Wanlu Li
    ,
    Yufei Ding
    ,
    Adnan Aziz
  32. 32
    METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation
    Siddhant Ray
    ,
    Rui Pan
    ,
    Zhuohan Gu
    ,
    Kuntai Du
    ,
    Shaoting Feng
    ,
    Ganesh Ananthanarayanan
    ,
    Ravi Netravali
    ,
    Junchen Jiang
  33. 33
    Mitigating Application Resource Overload with Targeted Task Cancellation
    Yigong Hu
    ,
    Zeyin Zhang
    ,
    Yicheng Liu
    ,
    Yile Gu
    ,
    Shuangyu Lei
    ,
    Baris Kasikci
    ,
    Peng Huang
  34. 34
    Moirai: Optimizing Placement of Data and Compute in Hybrid Clouds
    Ziyue Qiu
    ,
    Hojin Park
    ,
    Jing Zhao
    ,
    Yu-Kai Wang
    ,
    Arnav Balyan
    ,
    Gurmeet Singh
    ,
    Yangjun Zhang
    ,
    Suqiang (Jack) Song
    ,
    Gregory R. Ganger
    ,
    George Amvrosiadis
  35. 35
    Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training
    Yangtao Deng
    ,
    Lei Zhang
    ,
    Qinlong Wang
    ,
    Xiaoyun Zhi
    ,
    Xinlei Zhang
    ,
    Zhuo Jiang
    ,
    Haohan Xu
    ,
    Lei Wang
    ,
    Zuquan Song
    ,
    Gaohong Liu
    ,
    Yang Bai
    ,
    Shuguang Wang
    ,
    Wencong Xiao
    ,
    Jianxi Ye
    ,
    Minlan Yu
    ,
    Hong Xu
  36. 36
    Oasis: Pooling PCIe Devices Over CXL to Boost Utilization
    Yuhong Zhong
    ,
    Daniel S. Berger
    ,
    Pantea Zardoshti
    ,
    Enrique Saurez
    ,
    Jacob Nelson
    ,
    Dan R. K. Ports
    ,
    Antonis Psistakis
    ,
    Joshua Fried
    ,
    Asaf Cidon
  37. 37
    Optimistic Recovery for High-Availability Software via Partial Process State Preservation
    Yuzhuo Jing
    ,
    Yuqi Mai
    ,
    Angting Cai
    ,
    Yi Chen
    ,
    Wanning He
    ,
    Xiaoyang Qian
    ,
    Peter M. Chen
    ,
    Peng Huang
  38. 38
    ORQ: Complex Analytics on Private Data with Strong Security Guarantees
    Eli Baum
    ,
    Sam Buxbaum
    ,
    Nitin Mathai
    ,
    Muhammad Faisal
    ,
    Vasiliki Kalavri
    ,
    Mayank Varia
    ,
    John Liagouris
  39. 39
    Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation
    Chenxiao Liu
    ,
    Zhenting Zhu
    ,
    Quanxi Li
    ,
    Yanwen Xia
    ,
    Yifan Qiao
    ,
    Xiangyun Deng
    ,
    Youyou Lu
    ,
    Tao Xie
    ,
    Huimin Cui
    ,
    Zidong Du
    ,
    Harry Xu
    ,
    Chenxi Wang
  40. 40
    Pesto: Cooking up High Performance BFT Queries
    Florian Suri-Payer
    ,
    Neil Giridharan
    ,
    Liam Arzola
    ,
    Shir Cohen
    ,
    Lorenzo Alvisi
    ,
    Natacha Crooks
  41. 41
    PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation
    Xingda Wei
    ,
    Zhuobin Huang
    ,
    Tianle Sun
    ,
    Yingyi Hao
    ,
    Rong Chen
    ,
    Mingcong Han
    ,
    Jinyu Gu
    ,
    Haibo Chen
  42. 42
    Pie: A Programmable Serving System for Emerging LLM Applications
    In Gim
    ,
    Zhiyao Ma
    ,
    SeungSeob Lee
    ,
    Lin Zhong
  43. 43
    PrefillOnly: An Inference Engine for Prefill-only Workloads in Large Language Model Applications
    Kuntai Du
    ,
    Bowen Wang
    ,
    Chen Zhang
    ,
    Yiming Cheng
    ,
    Qing Lan
    ,
    Hejian Sang
    ,
    Yihua Cheng
    ,
    Jiayi Yao
    ,
    Xiaoxuan Liu
    ,
    Yifan Qiao
    ,
    Ion Stoica
    ,
    Junchen Jiang
  44. 44
    Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, SOSP 2025, Lotte Hotel World, Seoul, Republic of Korea, October 13-16, 2025
    Youjip Won
    ,
    Youngjin Kwon
    ,
    Ding Yuan
    ,
    Rebecca Isaacs
  45. 45
    Proto: A Guided Journey through Modern OS Construction
    Wonkyo Choe
    ,
    Rongxiang Wang
    ,
    Afsara Benazir
    ,
    Felix Xiaozhu Lin
  46. 46
    Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement
    Hao Sun
    ,
    Zhendong Su
  47. 47
    Quilt: Resource-aware Merging of Serverless Workflows
    Yuxuan Zhang
    ,
    Sebastian Angel
  48. 48
    Rearchitecting the Thread Model of In-Memory Key-Value Stores with μTPS
    Youmin Chen
    ,
    Jiwu Shu
    ,
    Yanyan Shen
    ,
    Linpeng Huang
    ,
    Hong Mei
  49. 49
    Robust LLM Training Infrastructure at ByteDance
    Borui Wan
    ,
    Gaohong Liu
    ,
    Zuquan Song
    ,
    Jun Wang
    ,
    Yun Zhang
    ,
    Guangming Sheng
    ,
    Shuguang Wang
    ,
    Houmin Wei
    ,
    Chenyuan Wang
    ,
    Weiqiang Lou
    ,
    Xi Yang
    ,
    Mofan Zhang
    ,
    Kaihua Jiang
    ,
    Cheng Ren
    ,
    Xiaoyun Zhi
    ,
    Menghan Yu
    ,
    Zhe Nan
    ,
    Zhuolin Zheng
    ,
    Baoquan Zhong
    ,
    Qinlong Wang
    ,
    Huan Yu
    ,
    Jinxin Chi
    ,
    Wang Zhang
    ,
    Yuhan Li
    ,
    Zixian Du
    ,
    Sida Zhao
    ,
    Yongqiang Zhang
    ,
    Jingzhe Tang
    ,
    Zherui Liu
    ,
    Chuan Wu
    ,
    Yanghua Peng
    ,
    Haibin Lin
    ,
    Wencong Xiao
    ,
    Xin Liu
    ,
    Liang Xiang
  50. 50
    Running Consistent Applications Closer to Users with Radical for Lower Latency
    Nicolaas Kaashoek
    ,
    Oleg Aleksandrovich Golev
    ,
    Austin T. Li
    ,
    Amit Levy
    ,
    Wyatt Lloyd