dblp: OSDI 2025 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

19th OSDI 2025: Boston, MA, USA

• 

• 

• 

• 

• 
  jump to

  • Database Systems
  • Distributed Systems and Data Centers I
  • AI + Systems I
  • AI + Systems II
  • Scheduling and Resource Management
  • Distributed Systems and Data Centers II
  • Kernel and Operating Systems I
  • Kernel and Operating Systems II
  • AI + Systems III
  • File and Storage Systems
  • Privacy and Security

• 

• > Home > Conferences and Workshops > OSDI

SPARQL queries

⚠

Please note that none of the items listed on this page have a DOI stored with their dblp record. Therefore, DOI-based queries won't return any results.

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: