default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th OSDI 2025: Boston, MA, USA
- Lidong Zhou, Yuanyuan Zhou:
19th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2025, Boston, MA, USA, July 7-9, 2025. USENIX Association 2025
Database Systems
- Yibo Huang, Haowei Chen, Newton Ni, Yan Sun, Vijay Chidambaram, Dixin Tang, Emmett Witchel:
Tigon: A Distributed Database for a CXL Pod. 109-128 - Weihai Shen, Yang Cui, Siddhartha Sen, Sebastian Angel, Shuai Mu:
Mako: Speculative Distributed Transactions with Geo-Replication. 129-152 - Jason Mohoney, Devesh Sarda, Mengze Tang, Shihabur Rahman Chowdhury, Anil Pacaci, Ihab F. Ilyas, Theodoros Rekatsinas, Shivaram Venkataraman:
Quake: Adaptive Indexing for Vector Search. 153-169 - Hao Guo, Youyou Lu:
Achieving Low-Latency Graph-Based Vector Search via Aligning Best-First Search Algorithm with SSD. 171-186 - Robert Lyerly, Scott Pruett, Kevin Doherty, Greg Rogers, Nathan Bronson, John Hugg:
Skybridge: Bounded Staleness for Distributed Caches. 187-204
Distributed Systems and Data Centers I
- Tony Nuda Zhang, Keshav Singh, Tej Chajed, Manos Kapritsos, Bryan Parno:
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols. 1-17 - Chang Lou, Dimas Shidqi Parikesit, Yujin Huang, Zhewen Yang, Senapati Diwangkara, Yuzhuo Jing, Achmad Imam Kistijantoro, Ding Yuan, Suman Nath, Peng Huang:
Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems. 19-38 - Reginald Frank, Micah Murray, Chawinphat Tankuranand, Junseo Yoo, Ethan Xu, Natacha Crooks, Suyash Gupta, Manos Kapritsos:
Picsou: Enabling Replicated State Machines to Communicate Efficiently. 39-56 - Xiaoyang Wang, Yongkun Li, Kan Wu, Wenzhe Zhu, Yuqi Li, Yinlong Xu:
FineMem: Breaking the Allocation Overhead vs. Memory Waste Dilemma in Fine-Grained Disaggregated Memory Management. 57-74 - Yun Wang, Liang Chen, Jie Ji, Xianting Tian, Ben Luo, Zhixiang Wei, Zhibai Huang, Kailiang Xu, Kaihuan Peng, Kaijie Guo, Ning Luo, Guangjian Wang, Shengdong Dai, Yibin Shen, Jiesheng Wu, Zhengwei Qi:
To PRI or Not To PRI, That's the question. 75-89 - Zhenghang Ren, Yuxuan Li, Zilong Wang, Xinyang Huang, Wenxue Li, Kaiqiang Xu, Xudong Liao, Yijun Sun, Bowen Liu, Han Tian, Junxue Zhang, Mingfei Wang, Zhizhen Zhong, Guyue Liu, Ying Zhang, Kai Chen:
Enabling Efficient GPU Communication over Multiple NICs with FuseLink. 91-108
AI + Systems I
- Yue Guan, Yuanwei Fang, Keren Zhou, Corbin Robeck, Manman Ren, Zhongkai Yu, Yufei Ding, Adnan Aziz:
KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads. 205-220 - Mengdi Wu, Xinhao Cheng, Shengyu Liu, Chunan Shi, Jianan Ji, Man Kit Ao, Praveen Velliengiri, Xupeng Miao, Oded Padon, Zhihao Jia:
Mirage: A Multi-Level Superoptimizer for Tensor Programs. 21-38 - Shouyang Dong, Jun Bi, Di Huang, Jiaming Guo, Jianxing Xu, Ruibai Xu, Xinkai Song, Yifan Hao, Ling Li, Xuehai Zhou, Tianshi Chen, Qi Guo, Yunji Chen:
QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach. 239-255 - Congjie He, Yeqi Huang, Pei Mu, Ziming Miao, Jilong Xue, Lingxiao Ma, Fan Yang, Luo Mai:
WaferLLM: Large Language Model Inference at Wafer Scale. 257-273
AI + Systems II
- Dingyan Zhang, Haotian Wang, Yang Liu, Xingda Wei, Yizhou Shan, Rong Chen, Haibo Chen:
BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching. 275-293 - Isu Jeong, Seulki Lee:
Bayesian Code Diffusion for Efficient Automatic Deep Learning Program Optimization. 295-311 - Yuxuan Jiang, Ziming Zhou, Boyu Xu, Beijie Liu, Runhui Xu, Peng Huang:
Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks. 313-329 - Songlin Huang, Chenshu Wu:
Neutrino: Fine-grained GPU Kernel Profiling via Programmable Probing. 331-355 - Sujin Park, Mingyu Guan, Xiang Cheng, Taesoo Kim:
Principles and Methodologies for Serial Performance Optimization. 357-373
Scheduling and Resource Management
- Weitao Wang, T. S. Eugene Ng:
Söze: One Network Telemetry Is All You Need for Per-flow Weighted Bandwidth Allocation at Scale. 375-392 - Zhiying Xu, Minlan Yu, Francis Y. Yan:
Decouple and Decompose: Scaling Resource Allocation with DeDe. 393-409 - Runzhou Tao, Hongzheng Zhu, Jason Nieh, Jianan Yao, Ronghui Gu:
Quantum Virtual Machines. 411-428 - Emmanouil Giortamis, Francisco Romão, Nathaniel Tornow, Pramod Bhatotia:
QOS: Quantum Operating System. 429-447 - Xun Sun, Mingxing Zhang, Yingdi Shan, Kang Chen, Jinlei Jiang, Yongwei Wu:
Scalio: Scaling up DPU-based JBOF Key-value Store with NVMe-oF Target Offload. 449-464
Distributed Systems and Data Centers II
- Shreesha G. Bhat, Tony Hong, Xuhao Luo, Jiyu Hu, Aishwarya Ganesan, Ramnatthan Alagappan:
Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering. 465-481 - Jinkun Lin, Ziheng Jiang, Zuquan Song, Sida Zhao, Menghan Yu, Zhanghan Wang, Chenyuan Wang, Zuocheng Shi, Xiang Shi, Wei Jia, Zherui Liu, Shuguang Wang, Haibin Lin, Xin Liu, Aurojit Panda, Jinyang Li:
Understanding Stragglers in Large Model Training Using What-if Analysis. 483-498 - Xiaohu Chai, Tianyu Zhou, Keyang Hu, Jianfeng Tan, Tiwei Bie, Anqi Shen, Dawei Shen, Qi Xing, Shun Song, Tongkai Yang, Le Gao, Feng Yu, Zhengyu He, Dong Du, Yubin Xia, Kang Chen, Yu Chen:
Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems. 199-218 - David Domingo, Hugo Barbalho, Marco Molinaro, Kuan Liu, Abhisek Pan, David Dion, Thomas Moscibroda, Sudarsun Kannan, Ishai Menache:
Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling. 519-535 - Zhuang Wang, Zhaozhuo Xu, Jingyi Xi, Yuke Wang, Anshumali Shrivastava, T. S. Eugene Ng:
ZEN: Empowering Distributed Training with Sparsity-driven Data Synchronization. 537-556
Kernel and Operating Systems I
- Yusheng Zheng, Tong Yu, Yiwei Yang, Yanpeng Hu, Xiaozheng Lai, Dan Williams, Andi Quinn:
Extending Applications Safely and Efficiently. 557-574 - Ao Li, Marion Sudvarg, Zihan Li, Sanjoy K. Baruah, Chris Gill, Ning Zhang:
Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty. 575-593 - Leon Schuermann, Jack Toubes, Tyler Potyondy, Pat Pannuto, Mae Milano, Amit Levy:
Building Bridges: Safe Interactions with Foreign Languages through Omniglot. 595-613 - Tianren Zhang, Sishuai Gong, Pedro Fonseca:
KRR: Efficient and Scalable Kernel Record Replay. 615-632 - Zachary Yedidia, Geoffrey Ramseyer, David Mazières:
Deterministic Client: Enforcing Determinism on Untrusted Machine Code. 633-649
Kernel and Operating Systems II
- Boris Pismenny, Adam Morrison, Dan Tsafrir:
Disentangling the Dual Role of NIC Receive Rings. 651-669 - Weihang Shen, Mingcong Han, Jialong Liu, Rong Chen, Haibo Chen:
XSched: Preemptive Scheduling for Diverse XPUs. 671-692 - Yuanpei Wu, Chao Xu, Yubin Xia, Yang Yu, Ming Fu, Binyu Zang, Haibo Chen:
OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit. 693-710 - Siyuan Chai, Jiyuan Zhang, Jongyul Kim, Alan Wang, Fan Chung, Jovan Stojkovic, Weiwei Jia, Dimitrios Skarlatos, Josep Torrellas, Tianyin Xu:
EMT: An OS Framework for New Memory Translation Architectures. 711-729 - Jinshu Liu, Hamid Hadian, Hanchen Xu, Huaicheng Li:
Tiered Memory Management Beyond Hotness. 731-747
AI + Systems III
- Kan Zhu, Yufei Gao, Yilong Zhao, Liangyu Zhao, Gefei Zuo, Yile Gu, Dedong Xie, Zihao Ye, Keisuke Kamahori, Chien-Yu Lin, Ziren Wang, Stephanie Wang, Arvind Krishnamurthy, Baris Kasikci:
NanoFlow: Towards Optimal Large Language Model Serving Throughput. 749-765 - Yu Cheng, Lei Wang, Yining Shi, Yuqing Xia, Lingxiao Ma, Jilong Xue, Yang Wang, Zhiwen Mo, Feiyang Chen, Fan Yang, Mao Yang, Zhi Yang:
PipeThreader: Software-Defined Pipelining for Efficient DNN Execution. 767-783 - Zheng Wang, Anna Cai, Xinfeng Xie, Zaifeng Pan, Yue Guan, Weiwei Chu, Jie Wang, Shikai Li, Jianyu Huang, Chris Cai, Yuchen Hao, Yufei Ding:
WLB-LLM: Workload-Balanced 4D Parallelism for Large Language Model Training. 785-801 - Yeonhong Park, Jake Hyun, Hojoon Kim, Jae W. Lee:
DecDEC: A Systems Approach to Advancing Low-Bit LLM Quantization. 803-819
File and Storage Systems
- Jian Gao, Jiwu Shu, Bin Yan, Yuhao Zhang, Keji Huang:
Stripeless Data Placement for Erasure-Coded In-Memory Storage. 821-838 - Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram:
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection. 839-857 - Yanqi Pan, Wen Xia, Yifeng Zhang, Xiangyu Zou, Hao Huang, Zhenhua Li, Chentao Wu:
Fast and Synchronous Crash Consistency with Metadata Write-Once File System. 859-878 - Yaotian Cui, Zhiqi Wang, Renhai Chen, Zili Shao:
Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery. 879-895 - Sanjith Athlur, Timothy Kim, Saurabh Kadekodi, Francisco Maturana, Xavier Ramos, Arif Merchant, K. V. Rashmi, Gregory R. Ganger:
Okapi: Decoupling Data Striping and Redundancy Grouping in Cluster File Systems. 897-914
Privacy and Security
- Jinhao Zhu, Liana Patel, Matei Zaharia, Raluca Ada Popa:
Compass: Encrypted Semantic Search with High Accuracy. 915-938 - Mahdi Soleimani, Grace Jia, Anurag Khandelwal:
Weave: Efficient and Expressive Oblivious Analytics at Scale. 939-955 - Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf:
Paralegal: Practical Static Analysis for Privacy Bugs. 957-978 - Till Miemietz, Viktor Reusch, Matthias Hille, Lars Wrenger, Jana Eisoldt, Jan Klötzke, Max Kurze, Adam Lackorzynski, Michael Roitzsch, Hermann Härtig:
MettEagle: Costs and Benefits of Implementing Containers on Microkernels. 979-996
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-12-05 22: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:
