SOSPSoftware Engineering / System Software / Programming Languages
ACM Symposium on Operating Systems Principles
2021 - 2025官方网站
最新论文
- Aegaeon: Effective GPU Pooling for Concurrent LLM Serving on the MarketYuxing Xiang, Xue Li, Kun Qian, Yufan Yang 等 · 2025 · 被引用 2 次
- 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 次
- AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual OptimizationsZihao Zhang, Ti Zhou, Christa Jenkins, Omar Chowdhury 等 · 2025 · 被引用 2 次
- cache_ext: Customizing the Page Cache with eBPFTal Zussman, Ioannis Zarkadas, Jeremy Carin, Andrew Cheng 等 · 2025 · 被引用 8 次
- Characterizing Mobile SoC for Accelerating Heterogeneous LLM InferenceLe Chen, Dahu Feng, Erhu Feng, Yingrui Wang 等 · 2025 · 被引用 3 次
- 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 次
- 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 次
- Coyote v2: Raising the Level of Abstraction for Data Center FPGAsBenjamin Ramhorst, Dario Korolija, Maximilian Jakob Heer, Jonas Dann 等 · 2025 · 被引用 6 次
- 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 次
- Device-Assisted Live Migration of RDMA DevicesArtem Y. Polyakov, Gal Shalom, Asaf Schwartz, Aviad Yehezkel 等 · 2025 · 被引用 2 次
- 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 次
- 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 次
- How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS ServiceJingkai He, Yunpeng Dong, Dong Du, Mo Zou 等 · 2025 · 被引用 2 次
- 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