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
Most published authors
SOSP papers
1,068 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2024 | DNS Congestion Control in Adversarial Settings. | Huayi Duan, Jihye Kim, Marc Wyss, Adrian Perrig |
| 2024 | NOPE: Strengthening domain authentication with succinct proofs. | Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish |
| 2024 | Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving. | Yinwei Dai, Rui Pan, Anand P. Iyer, Kai Li, Ravi Netravali |
| 2024 | Dirigent: Lightweight Serverless Orchestration. | Lazar Cvetkovic, Franois Costa, Mihajlo Djokic, Michal Friedman, Ana Klimovic |
| 2024 | Reducing Energy Bloat in Large Model Training. | Jae-Won Chung, Yile Gu, Insu Jang, Luoxi Meng, Nikhil Bansal, Mosharaf Chowdhury |
| 2024 | Practical Verification of System-Software Components Written in Standard C. | Can Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clment Pit-Claudel |
| 2024 | Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. | Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich |
| 2024 | Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions. | Kinan Dak Albab, Artem Agvanian, Allen Aby, Corinn Tiffany, Alexander Portland, Sarah Ridley, Malte Schwarzkopf |
| 2024 | Verus: A Practical Foundation for Systems Verification. | Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno |
| 2023 | Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture. | Diyu Zhou, Vojtech Aschenbrenner, Tao Lyu, Jian Zhang, Sudarsun Kannan, Sanidhya Kashyap |
| 2023 | Automated Verification of an In-Production DNS Authoritative Engine. | Naiqian Zheng, Mengqi Liu, Yuxing Xiang, Linjian Song, Dong Li, Feng Han, Nan Wang, Yong Ma, Zhuo Liang, Dennis Cai, Ennan Zhai, Xuanzhe Liu, Xin Jin |
| 2023 | PIT: Optimization of Dynamic Sparse Deep Learning Models via Permutation Invariant Transformation. | Ningxin Zheng, Huiqiang Jiang, Quanlu Zhang, Zhenhua Han, Lingxiao Ma, Yuqing Yang, Fan Yang, Chengruidong Zhang, Lili Qiu, Mao Yang, Lidong Zhou |
| 2023 | Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory. | Mingxing Zhang, Teng Ma, Jinqi Hua, Zheng Liu, Kang Chen, Ning Ding, Fan Du, Jinlei Jiang, Tao Ma, Yongwei Wu |
| 2023 | FIFO queues are all you need for cache eviction. | Juncheng Yang, Yazhuo Zhang, Ziyue Qiu, Yao Yue, Rashmi Vinayak |
| 2023 | SPFresh: Incremental In-Place Update for Billion-Scale Vector Search. | Yuming Xu, Hengyu Liang, Jin Li, Shuotao Xu, Qi Chen, Qianxi Zhang, Cheng Li, Ziyue Yang, Fan Yang, Yuqing Yang, Peng Cheng, Mao Yang |
| 2023 | TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. | Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen |
| 2023 | Understanding Silent Data Corruptions in a Large Production CPU Population. | Shaobu Wang, Guangyan Zhang, Junyu Wei, Yang Wang, Jiesheng Wu, Qingchao Luo |
| 2023 | GEMINI: Fast Failure Recovery in Distributed Training with In-Memory Checkpoints. | Zhuang Wang, Zhen Jia, Shuai Zheng, Zhen Zhang, Xinwei Fu, T. S. Eugene Ng, Yida Wang |
| 2023 | Edna: Disguising and Revealing User Data in Web Applications. | Lillian Tsai, Hannah Gross, Eddie Kohler, M. Frans Kaashoek, Malte Schwarzkopf |
| 2023 | QuePaxa: Escaping the tyranny of timeouts in consensus. | Pasindu Tennage, Cristina Basescu, Lefteris Kokoris-Kogias, Ewa Syta, Philipp Jovanovic, Vero Estrada-Galianes, Bryan Ford |
| 2023 | Sia: Heterogeneity-aware, goodput-optimized ML-cluster scheduling. | Suhas Jayaram Subramanya, Daiyaan Arfeen, Shouxu Lin, Aurick Qiao, Zhihao Jia, Gregory R. Ganger |
| 2023 | UGACHE: A Unified GPU Cache for Embedding-based Deep Learning. | Xiaoniu Song, Yiwen Zhang, Rong Chen, Haibo Chen |
| 2023 | Ditto: An Elastic and Adaptive Memory-Disaggregated Caching System. | Jiacheng Shen, Pengfei Zuo, Xuchuan Luo, Yuxin Su, Jiazhen Gu, Hao Feng, Yangfan Zhou, Michael R. Lyu |
| 2023 | Grove: a Separation-Logic Library for Verifying Distributed Systems. | Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2023 | A Cloud-Scale Characterization of Remote Procedure Calls. | Korakit Seemakhupt, Brent E. Stephens, Samira Manabi Khan, Sihang Liu, Hassan M. G. Wassel, Soheil Hassas Yeganeh, Alex C. Snoeren, Arvind Krishnamurthy, David E. Culler, Henry M. Levy |
101–125 of 1,068← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*INFOCOMIEEE International Conference on Computer Communications
- A*WWWInternational World Wide Web Conference
- AICDCSInternational Conference on Distributed Computing Systems
- A*SIGCOMMACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
- A*MOBICOMACM International Conference on Mobile Computing and Networking
- ADSNIEEE/IFIP International Conference on Dependable Systems and Networks
- AICWSIEEE International Conference on Web Services
- A*PODCACM Symposium on Principles of Distributed Computing