OSDI 2025

53 papers

MettEagle: Costs and Benefits of Implementing Containers on Microkernels

Till Miemietz, Viktor Reusch, Matthias Hille, Lars Wrenger, Jana Eisoldt

Paralegal: Practical Static Analysis for Privacy Bugs

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison

Weave: Efficient and Expressive Oblivious Analytics at Scale

Mahdi Soleimani, Grace Jia, Anurag Khandelwal

Compass: Encrypted Semantic Search with High Accuracy

Jinhao Zhu, Liana Patel, Matei Zaharia, Raluca Ada Popa

Okapi: Decoupling Data Striping and Redundancy Grouping in Cluster File Systems

Sanjith Athlur, Timothy Kim, Saurabh Kadekodi, Francisco Maturana, Xavier Ramos

Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery

Yaotian Cui, Zhiqi Wang, Renhai Chen, Zili Shao

Fast and Synchronous Crash Consistency with Metadata Write-Once File System

Yanqi Pan, Wen Xia, Yifeng Zhang, Xiangyu Zou, Hao Huang

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection

Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao

Stripeless Data Placement for Erasure-Coded In-Memory Storage

Jian Gao, Jiwu Shu, Bin Yan, Yuhao Zhang, Keji Huang

DecDEC: A Systems Approach to Advancing Low-Bit LLM Quantization

Yeonhong Park, Jake Hyun, Hojoon Kim, Jae W. Lee

WLB-LLM: Workload-Balanced 4D Parallelism for Large Language Model Training

Zheng Wang, Anna Cai, Xinfeng Xie, Zaifeng Pan, Yue Guan

PipeThreader: Software-Defined Pipelining for Efficient DNN Execution

Yu Cheng, Lei Wang, Yining Shi, Yuqing Xia, Lingxiao Ma

NanoFlow: Towards Optimal Large Language Model Serving Throughput

Kan Zhu, Yufei Gao, Yilong Zhao, Liangyu Zhao, Gefei Zuo

Tiered Memory Management Beyond Hotness

Jinshu Liu, Hamid Hadian, Hanchen Xu, Huaicheng Li

EMT: An OS Framework for New Memory Translation Architectures

Siyuan Chai, Jiyuan Zhang, Jongyul Kim, Alan Wang, Fan Chung

OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit

Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Yang Yu

XSched: Preemptive Scheduling for Diverse XPUs

Weihang Shen, Mingcong Han, Jialong Liu, Rong Chen, Haibo Chen

Disentangling the Dual Role of NIC Receive Rings

Boris Pismenny, Adam Morrison, Dan Tsafrir

Deterministic Client: Enforcing Determinism on Untrusted Machine Code

Zachary Yedidia, Geoffrey Ramseyer, David Mazières

KRR: Efficient and Scalable Kernel Record Replay

Tianren Zhang, Sishuai Gong, Pedro Fonseca

Building Bridges: Safe Interactions with Foreign Languages through Omniglot

Leon Schuermann, Jack Toubes, Tyler Potyondy, Pat Pannuto, Mae Milano

Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty

Ao Li, Marion Sudvarg, Zihan Li, Sanjoy Baruah, Chris Gill

Extending Applications Safely and Efficiently

Yusheng Zheng, Tong Yu, Yiwei Yang, Yanpeng Hu, Xiaozheng Lai

ZEN: Empowering Distributed Training with Sparsity-driven Data Synchronization

Zhuang Wang, Zhaozhuo Xu, Jingyi Xi, Yuke Wang, Anshumali Shrivastava

Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling

David Domingo, Hugo Barbalho, Marco Molinaro, Kuan Liu, Abhisek Pan

Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems

Xiaohu Chai, Tianyu Zhou, Keyang Hu, Jianfeng Tan, Tiwei Bie

Understanding Stragglers in Large Model Training Using What-if Analysis

Jinkun Lin, Ziheng Jiang, Zuquan Song, Sida Zhao, Menghan Yu

Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering

Shreesha G. Bhat, Tony Hong, Xuhao Luo, Jiyu Hu, Aishwarya Ganesan

Scalio: Scaling up DPU-based JBOF Key-value Store with NVMe-oF Target Offload

Xun Sun, Mingxing Zhang, Yingdi Shan, Kang Chen, Jinlei Jiang

QOS: Quantum Operating System

Emmanouil Giortamis, Francisco Romão, Nathaniel Tornow, Pramod Bhatotia

Quantum Virtual Machines

Runzhou Tao, Hongzheng Zhu, Jason Nieh, Jianan Yao, Ronghui Gu

Decouple and Decompose: Scaling Resource Allocation with DeDe

Zhiying Xu, Minlan Yu, Francis Y. Yan

Söze: One Network Telemetry Is All You Need for Per-flow Weighted Bandwidth Allocation at Scale

Weitao Wang, T. S. Eugene Ng

Principles and Methodologies for Serial Performance Optimization

Sujin Park, Mingyu Guan, Xiang Cheng, Taesoo Kim

Neutrino: Fine-grained GPU Kernel Profiling via Programmable Probing

Songlin Huang, Chenshu Wu

Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks

Yuxuan Jiang, Ziming Zhou, Boyu Xu, Beijie Liu, Runhui Xu

Bayesian Code Diffusion for Efficient Automatic Deep Learning Program Optimization

Isu Jeong, Seulki Lee

BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching

Dingyan Zhang, Haotian Wang, Yang Liu, Xingda Wei, Yizhou Shan

WaferLLM: Large Language Model Inference at Wafer Scale

Congjie He, Yeqi Huang, Pei Mu, Ziming Miao, Jilong Xue

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach

Shouyang Dong, Yuanbo Wen, Jun Bi, Di Huang, Jiaming Guo

Mirage: A Multi-Level Superoptimizer for Tensor Programs

Mengdi Wu, Xinhao Cheng, Shengyu Liu, Chunan Shi, Jianan Ji

KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads

Yue Guan, Yuanwei Fang, Keren Zhou, Corbin Robeck, Manman Ren

Skybridge: Bounded Staleness for Distributed Caches

Robert Lyerly, Scott Pruett, Kevin Doherty, Greg Rogers, Nathan Bronson

Achieving Low-Latency Graph-Based Vector Search via Aligning Best-First Search Algorithm with SSD

Hao Guo, Youyou Lu

Quake: Adaptive Indexing for Vector Search

Jason Mohoney, Devesh Sarda, Mengze Tang, Shihabur Rahman Chowdhury, Anil Pacaci

Mako: Speculative Distributed Transactions with Geo-Replication

Weihai Shen, Yang Cui, Siddhartha Sen, Sebastian Angel, Shuai Mu

Tigon: A Distributed Database for a CXL Pod

Yibo Huang, Haowei Chen, Newton Ni, Yan Sun, Vijay Chidambaram

Enabling Efficient GPU Communication over Multiple NICs with FuseLink

Zhenghang Ren, Yuxuan Li, Zilong Wang, Xinyang Huang, Wenxue Li

To PRI or Not To PRI, That's the question

Yun Wang, Liang Chen, Jie Ji, Xianting Tian, Ben Luo

FineMem: Breaking the Allocation Overhead vs. Memory Waste Dilemma in Fine-Grained Disaggregated Memory Management

Xiaoyang Wang, Yongkun Li, Kan Wu, Wenzhe Zhu, Yuqi Li

Picsou: Enabling Replicated State Machines to Communicate Efficiently

Reginald Frank, Micah Murray, Chawinphat Tankuranand, Junseo Yoo, Ethan Xu

Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems

Chang Lou, Dimas Shidqi Parikesit, Yujin Huang, Zhewen Yang, Senapati Diwangkara

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols

Tony Nuda Zhang, Keshav Singh, Tej Chajed, Manos Kapritsos, Bryan Parno