SOSPSoftware Engineering / System Software / Programming Languages2021-2025
ACM Symposium on Operating Systems Principles
207 papersWebsite
Recent papers
- Aegaeon: Effective GPU Pooling for Concurrent LLM Serving on the MarketYuxing Xiang, Xue Li, Kun Qian, Yufan Yang · 2025 · 2 citations
- Aeolia: A Fast and Secure Userspace Interrupt-Based Storage StackChuandong Li, Ran Yi, Zonghao Zhang, Jing Liu · 2025
- Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact EvaluationJonguk Jeon, Subeen Park, Sanidhya Kashyap, Sudarsun Kannan · 2025
- Atmosphere: Practical Verified Kernels with Rust and VerusXiangdong Chen, Zhaofeng Li, Jerry Zhang, Vikram Narayanan · 2025 · 1 citation
- AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual OptimizationsZihao Zhang, Ti Zhou, Christa Jenkins, Omar Chowdhury · 2025 · 2 citations
- cache_ext: Customizing the Page Cache with eBPFTal Zussman, Ioannis Zarkadas, Jeremy Carin, Andrew Cheng · 2025 · 8 citations
- Characterizing Mobile SoC for Accelerating Heterogeneous LLM InferenceLe Chen, Dahu Feng, Erhu Feng, Yingrui Wang · 2025 · 3 citations
- CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded DevicesSaar Amar, Tony Chen, David Chisnall, Nathaniel Wesley Filardo · 2025 · 1 citation
- COpter: Efficient Large-Scale Resource-Allocation via Continual OptimizationSuhas Jayaram Subramanya, Don Kurian Dennis, Virginia Smith, Gregory R. Ganger · 2025
- CortenMM: Efficient Memory Management with Strong Correctness GuaranteesJunyang Zhang, Xiangcan Xu, Yonghao Zou, Zhe Tang · 2025 · 1 citation
- Coyote v2: Raising the Level of Abstraction for Data Center FPGAsBenjamin Ramhorst, Dario Korolija, Maximilian Jakob Heer, Jonas Dann · 2025 · 6 citations
- DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context ParallelismChenyu Jiang, Zhenkun Cai, Ye Tian, Zhen Jia · 2025
- Demeter: A Scalable and Elastic Tiered Memory Solution for Virtualized Cloud via Guest DelegationJunliang Hu, Zhisheng Hu, Chun-Feng Wu, Ming-Chang Yang · 2025 · 1 citation
- Device-Assisted Live Migration of RDMA DevicesArtem Y. Polyakov, Gal Shalom, Asaf Schwartz, Aviad Yehezkel · 2025 · 2 citations
- DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV CompactionYanqi Zhang, Yuwei Hu, Runyuan Zhao, John C. S. Lui · 2025
- eBPF Misbehavior Detection: Fuzzing with a Specification-Based OracleTao Lyu, Kumar Kartikeya Dwivedi, Thomas Bourgeat, Mathias Payer · 2025
- Fast End-to-End Performance Simulation of Accelerated Hardware-Software StacksJiacheng Ma, Jonas Kaufmann, Emilien Guandalino, Rishabh R. Iyer · 2025
- Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State VerificationZhiyong Wu, Jie Liang, Jingzhou Fu, Wenqian Deng · 2025 · 1 citation
- FlexGuard: Fast Mutual Exclusion Independent of SubscriptionVictor Laforet, Sanidhya Kashyap, Calin Iorgulescu, Julia Lawall · 2025
- Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production HypervisorKayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami · 2025
- HedraRAG: Co-Optimizing Generation and Retrieval for Heterogeneous RAG WorkflowsZhengding Hu, Vibha Murthy, Zaifeng Pan, Wanlu Li · 2025 · 1 citation
- How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS ServiceJingkai He, Yunpeng Dong, Dong Du, Mo Zou · 2025 · 2 citations
- IC-Cache: Efficient Large Language Model Serving via In-context CachingYifan Yu, Yu Gan, Nikhil Sarda, Lillian Tsai · 2025
- Jenga: Effective Memory Management for Serving LLM with HeterogeneityChen Zhang, Kuntai Du, Shu Liu, Woosuk Kwon · 2025