default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st SOSP 2025: Seoul, Korea
- Youjip Won, Youngjin Kwon, Ding Yuan, Rebecca Isaacs:
Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, SOSP 2025, Lotte Hotel World, Seoul, Republic of Korea, October 13-16, 2025. ACM 2025, ISBN 979-8-4007-1870-0 - Patrick H. Coppock
, Brian Zhang, Eliot H. Solomon, Vasilis Kypriotis, Leon Yang, Bikash Sharma, Dan Schatzberg, Todd C. Mowry, Dimitrios Skarlatos:
LithOS: An Operating System for Efficient Machine Learning on GPUs. 1-17 - John Alistair Kressel, Hugo Lefeuvre, Pierre Olivier:
μFork: Supporting POSIX fork Within a Single-Address-Space OS. 18-35 - Leon Schuermann, Brad Campbell, Branden Ghena, Philip Alexander Levis, Amit Levy, Pat Pannuto:
Tock: From Research To Securing 10 Million Computers. 36-49 - Wonkyo Choe, Rongxiang Wang, Afsara Benazir, Felix Xiaozhu Lin:
Proto: A Guided Journey through Modern OS Construction. 50-66 - 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:
CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices. 67-84 - Charly Castes, François Costa, Neelu S. Kalani, Timothy Roscoe, Nate Foster, Thomas Bourgeat, Edouard Bugnion:
The Design and Implementation of a Virtual Firmware Monitor. 85-100 - Yuhong Zhong, Daniel S. Berger, Pantea Zardoshti, Enrique Saurez, Jacob Nelson, Dan R. K. Ports, Antonis Psistakis, Joshua Fried, Asaf Cidon:
Oasis: Pooling PCIe Devices Over CXL to Boost Utilization. 101-119 - SeungSeob Lee, Jachym Putta, Ziming Mao, Anurag Khandelwal:
Spirit: Fair Allocation of Interdependent Resources in Remote Memory Systems. 120-135 - Yueyang Pan, Yash Lala, Musa Unal, Yujie Ren, SeungSeob Lee, Abhishek Bhattacharjee, Anurag Khandelwal, Sanidhya Kashyap:
Scalable Far Memory: Balancing Faults and Evictions. 136-152 - Artem Y. Polyakov, Gal Shalom, Asaf Schwartz, Aviad Yehezkel, Omri Ben David, Omri Kahalon, Ariel Shahar, Liran Liss:
Device-Assisted Live Migration of RDMA Devices. 153-168 - Junliang Hu, Zhisheng Hu, Chun-Feng Wu, Ming-Chang Yang:
Demeter: A Scalable and Elastic Tiered Memory Solution for Virtualized Cloud via Guest Delegation. 169-185 - 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:
Robust LLM Training Infrastructure at ByteDance. 186-203 - Foteini Strati, Zhendong Zhang, George Manos, Ixeia Sánchez Périz, Qinghao Hu, Tiancheng Chen, Berk Buzcu, Song Han, Pamela Delgado, Ana Klimovic:
Sailor: Automating Distributed Training over Dynamic, Heterogeneous, and Geo-distributed Clusters. 204-220 - Chenyu Jiang, Zhenkun Cai, Ye Tian, Zhen Jia, Yida Wang, Chuan Wu:
DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context Parallelism. 221-236 - Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang:
TrainVerify: Equivalence-Based Verification for Distributed LLM Training. 237-253 - 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:
Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training. 254-269 - Yigong Hu, Zeyin Zhang, Yicheng Liu, Yile Gu, Shuangyu Lei, Baris Kasikci, Peng Huang:
Mitigating Application Resource Overload with Targeted Task Cancellation. 270-285 - Chenxiao Liu, Zhenting Zhu, Quanxi Li, Yanwen Xia, Yifan Qiao, Xiangyun Deng, Youyou Lu, Tao Xie, Huimin Cui, Zidong Du, Harry Xu, Chenxi Wang:
Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation. 286-304 - Yuzhuo Jing, Yuqi Mai, Angting Cai, Yi Chen, Wanning He, Xiaoyang Qian, Peter M. Chen, Peng Huang:
Optimistic Recovery for High-Availability Software via Partial Process State Preservation. 305-321 - Suhas Jayaram Subramanya, Don Kurian Dennis, Virginia Smith, Gregory R. Ganger:
COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization. 322-340 - Jiacheng Ma, Jonas Kaufmann, Emilien Guandalino, Rishabh R. Iyer, Thomas Bourgeat, George Candea:
Fast End-to-End Performance Simulation of Accelerated Hardware-Software Stacks. 341-358 - Le Chen, Dahu Feng, Erhu Feng, Yingrui Wang, Rong Zhao, Yubin Xia, Pinjie Xu, Haibo Chen:
Characterizing Mobile SoC for Accelerating Heterogeneous LLM Inference. 359-374 - Yifan Yu, Yu Gan, Nikhil Sarda, Lillian Tsai, Jiaming Shen, Yanqi Zhou, Arvind Krishnamurthy, Fan Lai, Hank Levy, David E. Culler:
IC-Cache: Efficient Large Language Model Serving via In-context Caching. 375-398 - Kuntai Du, Bowen Wang, Chen Zhang, Yiming Cheng, Qing Lan, Hejian Sang, Yihua Cheng, Jiayi Yao, Xiaoxuan Liu, Yifan Qiao, Ion Stoica, Junchen Jiang:
PrefillOnly: An Inference Engine for Prefill-only Workloads in Large Language Model Applications. 399-414 - In Gim, Zhiyao Ma, SeungSeob Lee, Lin Zhong:
Pie: A Programmable Serving System for Emerging LLM Applications. 415-430 - Yanqi Zhang, Yuwei Hu, Runyuan Zhao, John C. S. Lui, Haibo Chen:
DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV Compaction. 431-445 - 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:
Jenga: Effective Memory Management for Serving LLM with Heterogeneity. 446-461 - Tal Zussman, Ioannis Zarkadas, Jeremy Carin, Andrew Cheng, Hubertus Franke, Jonas Pfefferle, Asaf Cidon:
cache_ext: Customizing the Page Cache with eBPF. 462-478 - Chuandong Li, Ran Yi, Zonghao Zhang, Jing Liu, Changwoo Min, Jie Zhang, Yingwei Luo, Xiaolin Wang, Zhenlin Wang, Diyu Zhou:
Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack. 479-495 - Yanbo Zhou, Erci Xu, Anisa Su, Jim Harris, Adam Manzanares, Steven Swanson:
Sleeping with One Eye Open: Fast, Sustainable Storage with Sandman. 496-511 - Franco Solleza, Shihang Li, William Sun, Richard Tang, Malte Schwarzkopf, Andrew Crotty, David Cohen, Nesime Tatbul, Stan Zdonik:
Loom: Efficient Capture and Querying of High-Frequency Telemetry. 512-528 - Florian Suri-Payer, Neil Giridharan, Liam Arzola, Shir Cohen, Lorenzo Alvisi, Natacha Crooks:
Pesto: Cooking up High Performance BFT Queries. 529-554 - Jinkun Geng, Shuai Mu, Anirudh Sivaraman, Balaji Prabhakar:
Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks. 555-571 - Pedro F. Silvestre, Peter R. Pietzuch:
Tempo: Compiled Dynamic Deep Learning with Symbolic Dependence Graphs. 572-588 - Juncheol Ye, Seungkook Lee, Hwijoon Lim, Jihyuk Lee, Uitaek Hong, Youngjin Kwon, Dongsu Han:
SAND: A New Programming Abstraction for Video-based Deep Learning. 589-605 - Siddhant Ray, Rui Pan, Zhuohan Gu, Kuntai Du, Shaoting Feng, Ganesh Ananthanarayanan, Ravi Netravali, Junchen Jiang:
METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation. 606-622 - Zhengding Hu, Vibha Murthy, Zaifeng Pan, Wanlu Li, Xiaoyi Fang, Yufei Ding, Yuke Wang:
HedraRAG: Co-Optimizing Generation and Retrieval for Heterogeneous RAG Workflows. 623-638 - Benjamin Ramhorst, Dario Korolija, Maximilian Jakob Heer, Jonas Dann, Luhao Liu, Gustavo Alonso:
Coyote v2: Raising the Level of Abstraction for Data Center FPGAs. 639-654 - Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang:
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers. 655-669 - Zhiyong Wu, Jie Liang, Jingzhou Fu, Wenqian Deng, Yu Jiang:
Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verification. 670-684 - Kayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami, Peter Sewell:
Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor. 685-700 - Tao Lyu, Kumar Kartikeya Dwivedi, Thomas Bourgeat, Mathias Payer, Meng Xu, Sanidhya Kashyap:
eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle. 701-718 - Yage Hu, Wen Zhang, Botang Xiao, Qingchen Kong, Boyang Yi, Suxin Ji, Songlan Wang, Wenwen Wang:
WASIT: Deep and Continuous Differential Testing of WebAssembly System Interface Implementations. 719-735 - Hao Sun, Zhendong Su:
Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement. 736-751 - Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Vikram Narayanan, Anton Burtsev:
Atmosphere: Practical Verified Kernels with Rust and Verus. 752-767 - Zihao Zhang, Ti Zhou, Christa Jenkins, Omar Chowdhury, Shuai Mu:
AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations. 768-785 - Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy, Pat Pannuto, Stefan Savage, Deian Stefan, Ranjit Jhala:
TickTock: Verified Isolation in a Production Embedded OS. 786-801 - Eli Baum, Sam Buxbaum, Nitin Mathai, Muhammad Faisal, Vasiliki Kalavri, Mayank Varia, John Liagouris:
ORQ: Complex Analytics on Private Data with Strong Security Guarantees. 802-833 - 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-Galiñanes, Bryan Ford:
TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral. 834-874 - Ziyue Qiu, Hojin Park, Jing Zhao, Yu-Kai Wang, Arnav Balyan, Gurmeet Singh, Yangjun Zhang, Suqiang (Jack) Song, Gregory R. Ganger, George Amvrosiadis:
Moirai: Optimizing Placement of Data and Compute in Hybrid Clouds. 875-891 - 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:
Tai Chi: A General High-Efficiency Scheduling Framework for SmartNICs in Hyperscale Clouds. 892-906 - Yuxuan Zhang, Sebastian Angel:
Quilt: Resource-aware Merging of Serverless Workflows. 907-927 - 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:
Mantle: Efficient Hierarchical Metadata Management for Cloud Object Storage Services. 928-943 - Tom Kuchler, Pinghe Li, Yazhuo Zhang, Lazar Cvetkovic, Boris Goranov, Tobias Stocker, Leon Thomm, Simone Kalbermatter, Tim Notter, Andrea Lattuada, Ana Klimovic:
Unlocking True Elasticity for the Cloud-Native Era with Dandelion. 944-961 - Nicolaas Kaashoek, Oleg A. Golev, Austin T. Li, Amit Levy, Wyatt Lloyd:
Running Consistent Applications Closer to Users with Radical for Lower Latency. 962-978 - Shaobo Li, Yirui Eric Zhou, Yuqi Xue, Yuan Xu, Jian Huang:
Managing Scalable Direct Storage Accesses for GPUs with GoFS. 979-995 - Xingda Wei, Zhuobin Huang, Tianle Sun, Yingyi Hao, Rong Chen, Mingcong Han, Jinyu Gu, Haibo Chen:
PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation. 996-1013 - 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:
KTransformers: Unleashing the Full Potential of CPU/GPU Hybrid Inference for MoE Models. 1014-1029 - Yuxing Xiang, Xue Li, Kun Qian, Yufan Yang, Diwen Zhu, Wenyuan Yu, Ennan Zhai, Xuanzhe Liu, Xin Jin, Jingren Zhou:
Aegaeon: Effective GPU Pooling for Concurrent LLM Serving on the Market. 1030-1045 - Yue Guan, Xinwei Qiang, Zaifeng Pan, Daniels Johnson, Yuanwei Fang, Keren Zhou, Yuke Wang, Wanlu Li, Yufei Ding, Adnan Aziz:
Mercury: Unlocking Multi-GPU Operator Optimization for LLMs via Remote Memory Scheduling. 1046-1061 - Jingkai He, Yunpeng Dong, Dong Du, Mo Zou, Zhitai Yu, Yuxin Ren, Ning Jia, Yubin Xia, Haibo Chen:
How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service. 1062-1081 - 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:
CortenMM: Efficient Memory Management with Strong Correctness Guarantees. 1082-1098 - Youmin Chen, Jiwu Shu, Yanyan Shen, Linpeng Huang, Hong Mei:
Rearchitecting the Thread Model of In-Memory Key-Value Stores with μTPS. 1099-1114 - Victor Laforet, Sanidhya Kashyap, Calin Iorgulescu, Julia Lawall, Jean-Pierre Lozi:
FlexGuard: Fast Mutual Exclusion Independent of Subscription. 1115-1130 - Tae Woo Kim, Youngjin Kwon, Jeehoon Kang:
Scalable Address Spaces using Concurrent Interval Skiplist. 1131-1148 - Jonguk Jeon, Subeen Park, Sanidhya Kashyap, Sudarsun Kannan, Diyu Zhou, Jeehoon Kang:
Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation. 1149-1157
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-29 01:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
