Skip to content

ACM SIGOPS Symposium on Operating Systems Principles

SOSP

A*

CORE rank

CORE rank (raw)

A*

Acceptance rate

17.0% (2023)

Fields of research

Distributed Computing and Systems Software

Papers indexed

1,068

1967–2025

Papers per year

196773 peak2025

SOSP papers

1,068 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2025Device-Assisted Live Migration of RDMA Devices.Artem Y. Polyakov, Gal Shalom, Asaf Schwartz, Aviad Yehezkel, Omri Ben David, Omri Kahalon, Ariel Shahar, Liran Liss
2025Scalable Far Memory: Balancing Faults and Evictions.Yueyang Pan, Yash Lala, Musa Unal, Yujie Ren, SeungSeob Lee, Abhishek Bhattacharjee, Anurag Khandelwal, Sanidhya Kashyap
2025TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral.Louis-Henri Merino, Simone Colombo, Rene Reyes, Alaleh Azhir, Shailesh Mishra, Pasindu Tennage, Mohammad Amin Raeisi, Haoqian Zhang, Jeff R. Allen, Bernhard Tellenbach, Vero Estrada-Galianes, Bryan Ford
2025Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor.Kayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Prami, Peter Sewell
2025TrainVerify: Equivalence-Based Verification for Distributed LLM Training.Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
2025Orthrus: 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
2025Mantle: 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
2025Spirit: Fair Allocation of Interdependent Resources in Remote Memory Systems.SeungSeob Lee, Jachym Putta, Ziming Mao, Anurag Khandelwal
2025FlexGuard: Fast Mutual Exclusion Independent of Subscription.Victor Laforet, Sanidhya Kashyap, Calin Iorgulescu, Julia Lawall, Jean-Pierre Lozi
2025Unlocking True Elasticity for the Cloud-Native Era with Dandelion.Tom Kuchler, Pinghe Li, Yazhuo Zhang, Lazar Cvetkovic, Boris Goranov, Tobias Stocker, Leon Thomm, Simone Kalbermatter, Tim Notter, Andrea Lattuada, Ana Klimovic
2025μFork: Supporting POSIX fork Within a Single-Address-Space OS.John Alistair Kressel, Hugo Lefeuvre, Pierre Olivier
2025Scalable Address Spaces using Concurrent Interval Skiplist.Tae Woo Kim, Youngjin Kwon, Jeehoon Kang
2025Running Consistent Applications Closer to Users with Radical for Lower Latency.Nicolaas Kaashoek, Oleg Aleksandrovich Golev, Austin T. Li, Amit Levy, Wyatt Lloyd
2025Optimistic 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
2025Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation.Jonguk Jeon, Subeen Park, Sanidhya Kashyap, Sudarsun Kannan, Diyu Zhou, Jeehoon Kang
2025WASIT: Deep and Continuous Differential Testing of WebAssembly System Interface Implementations.Yage Hu, Wen Zhang, Botang Xiao, Qingchen Kong, Boyang Yi, Suxin Ji, Songlan Wang, Wenwen Wang
2025Mitigating Application Resource Overload with Targeted Task Cancellation.Yigong Hu, Zeyin Zhang, Yicheng Liu, Yile Gu, Shuangyu Lei, Baris Kasikci, Peng Huang
2025HedraRAG: Co-Optimizing Generation and Retrieval for Heterogeneous RAG Workflows.Zhengding Hu, Vibha Murthy, Zaifeng Pan, Wanlu Li, Xiaoyi Fang, Yufei Ding, Yuke Wang
2025Demeter: A Scalable and Elastic Tiered Memory Solution for Virtualized Cloud via Guest Delegation.Junliang Hu, Zhisheng Hu, Chun-Feng Wu, Ming-Chang Yang
2025How 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
2025Mercury: 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
2025Pie: A Programmable Serving System for Emerging LLM Applications.In Gim, Zhiyao Ma, SeungSeob Lee, Lin Zhong
2025Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks.Jinkun Geng, Shuai Mu, Anirudh Sivaraman, Balaji Prabhakar
2025PrefillOnly: 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
2025Tai Chi: A General High-Efficiency Scheduling Framework for SmartNICs in Hyperscale Clouds.Bang Di, Yun Xu, Kaijie Guo, Yibin Shen, Yu Li, Sanchuan Cheng, Hao Zheng, Fudong Qiu, Xiaokang Hu, Naixuan Guan, Dongdong Huang, Jinhu Li, Yi Wang, Yifang Yang, Jintao Li, Hang Yang, Chen Liang, Yilong Lv, Zikang Chen, Zhenwei Lu, Xiaohan Ma, Jiesheng Wu
2650 of 1,068← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.