OSDI 2026

136 papers

RT: Regular Types for the Streaming Shell

Zekai Li, Lukas Lazarek, Evangelos Lamprou, George Kapetanakis, Konstantinos Mamouras

Spain: Succinct Proofs for Numerical Computations

Zachary DeStefano, Noah Golub, Zile Huang, Julius Zhang, Sam Frank

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification

Baoding He, Zenan Li, Wei Sun, Yuan Yao, Taolue Chen

jwmalloc: A Verified Memory Allocator for Mobile Devices

Jiawei Wang, Ming Fu, Ruixian Wang, Chao Xu, Jonas Oberhauser

All Along the Watchtower: Achieving the Trinity of Observability in Cloud with DiTing

Zhenyu Ren, Shuzhi Feng, Erci Xu, Changsheng Niu, Haoyu Mao

TypeCraft: A Lightweight Data Type Profiler with High Resolution

Zecheng Li, Xu Liu, Namhyung Kim, Blake Jones, Alexey Alexandrov

PeeR: First-Class Scheduling for Latency-Critical eBPF Applications

Jeremy Carin, Ben Holmes, Weiyang Wang, Ankit Bhardwaj, Manya Ghobadi

Svalinn: Overload Control in Large-Scale Servers with Multiple Resource Bottlenecks

Bhaskar Subhash Pardeshi, Peidi Song, Ahmed Saeed

SMARTTalk: Teaching SMART Logs to Talk to LLMs

Mayur Akewar, Dongsheng Luo, Sandeep Madireddy, Janki Bhimani

Drs.NAS: Ultra-Efficient Neural Architecture Search for Recommendation Systems

Ruixuan Wang, Xun Jiao

Acumen: A Platform for Encrypted and Accountable Collaborative Editing

Ryan Cottone, Darya Kaviani, Conor Power, Will Giorza, Evelyn Koo

qTPU: Hybrid Tensor Networks for Quantum-Classical Acceleration

Nathaniel Tornow, Emmanouil Giortamis, Dennis Sprokholt, Christian Mendl, Pramod Bhatotia

Surviving the Impossible Trinity: Revisiting CPU Scheduling Problem on Modern COTS Mobile Devices (Operational Systems)

Jun Xiao, Qinhui Gu, Ligeng Chen, Lizhi Sun, Zicheng Wang

Unleash All Cores: Asymmetry-Aware Scalable DNN Inference on Mobile CPUs

Qianlong Sang, Puyi He, Huanghuang Liang, Yili Gong, Chuang Hu

LifeLine: An Object-Page Lifetime Alignment GC Enabling Minimal Memory Copying for Mobile Devices

Jiacheng Huang, Yunmo Zhang, Qingan Li, Junqiao Qiu, Chun Jason Xue

Inference in the Shadows: Taming Memory Bandwidth Contention in Mobile LLM Inference with Sereno

Tong Xin, Xinrui Shi, Mingkai Dong, Zeyu Mi

MEGALON: Efficient Data Sharing for Partly Coherent CXL Memory

Jiyu Hu, Seokjoo Cho, Landon Johnson, Kiran Hombal, Shreesha Gopalakrishna Bhat

WriteGuards: Distributed Storage Support for Strongly Consistent Caches

Ziming Mao, Atul Adya, Jonathan Ellithorpe, Rishabh Iyer, Matei Zaharia

Learning-Augmented Heuristics: Simple Yet Smart, Robust and Interpretable Cache Eviction

Haocheng Xia, William Nixon, Bintang Dwi Marthen, Pranav Bhandari, Juncheng Yang

Merlin: An Efficient Adaptive Cache Eviction Algorithm via Fine-Grained Characterization

Liujia Li, Jinhao Guo, Yi Fan, Jianyu Wu, Zhenlin Wang

Mimesys: Generating Realistic Executable Testing Environments from Resource Usage Traces

Donghyun Kim, Zichao Hu, Joydeep Biswas, Aditya Akella, Daehyeok Kim

Heterogeneity at Hyperscale: Characterization and Scheduling of Large Production AI Clusters at Alibaba (Operational Systems)

Suyi Li, Lingyun Yang, Haoxuan Yu, Sheng Yao, Tianyuan Wu

PIMS: Fleet-Wide Datacenter Maintenance with Minimal Capacity Buffer and Predictable Latency (Operational Systems)

Benjamin Leonhardi, Evangelia Kalyvianaki, Yang Wang, Abdelrahman Adam, Agshin Nabiyev

DVLA: Dynamic VM Lifetime Aware Scheduling for Drifting Lifetime Distributions and Long-Lived VM Placement Debt (Operational Systems)

Zhengtong Zhang, Zihan Xu, Zhidong Hu, Yanbo Shan, Fei Peng

Virtualizing eBPF with Late-Binding

Jing Zhang, Xiaguannan Song, Dong Du, Yubin Xia, Binyu Zang

μShell: A Microkernel-based FPGA Shell Architecture

Jiyang Chen, Anubhav Panda, Harshavardhan Unnibhavi, Atsushi Koshiba, Pramod Bhatotia

Nixie: Efficient, Transparent Temporal Multiplexing for Consumer GPUs

Yechen Xu, Yifei Wang, Nathanael Ren, Yiran Chen, Danyang Zhuo

MoonBright: A GPU Memory Allocator with Device-Side Page Table Materialization and Deferred TLB Coherence

Yangyu Zhang, Lei Chen, Chunwei Xia, Shuaijiang Li, Shuoming Zhang

TrainMover: An Interruption-Resilient Runtime for ML Training

ChonLam Lao, Jiaqi Gao, Jiamin Cao, Zhipeng Zhang, Pengcheng Zhang

Distributed Speculative Execution for Resilient Cloud Applications

Tianyu Li, Badrish Chandramouli, Philip A. Bernstein, Sam Madden

Rethinking Process Snapshots for Near-Warm Serverless Cold Starts

Ben Holmes, Baltasar Dinis, Lana Honcharuk, Adam Belay, Joshua Fried

Continuation-Centric Computing with Arca

Akshay Srivatsan, Yuhan Deng, Katherine Mohr, Emma Sudo, Sebastian Ingino

Stop Pretending to Be Busy: A Case for Serverless Paradigms in Co-Located Batch Workloads (Operational Systems)

Xiaohu Chai, Jianfeng Tan, Congsi Yuan, Bowen Yang, Hao Dai

VTC: DNN Compilation with Virtual Tensors for Data Movement Elimination

Muyan Hu, Ahan Gupta, Jiachen Yuan, Vima Gupta, Taeksang Kim

GraCE: Unlocking CUDA Graphs with Compiler Support for ML Workloads

Abhishek Ghosh, Ajay Nayak, Ashish Panwar, Arkaprava Basu

MPK: A Compiler and Runtime for Mega-Kernelizing Tensor Programs

Xinhao Cheng, Zhihao Zhang, Yu Zhou, Jianan Ji, Jinchen Jiang

TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators

Wei Li, Zhenyu Bai, Heru Wang, Pranav Dangi, Zhiqiang Zhang

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs

Rupanshu Soi, Rohan Yadav, Fredrik Kjolstad, Alex Aiken, Maryam Mehri Dehnavi

ADAngel: Accelerating Arbitrary-Precision Quantized LLMs with Adaptive Computing Mapping

Yao Liu, Wenjie Wang, Yifei Feng, Bo Peng, Jianguo Yao

Kairox: Adaptive GPU-CPU Hybrid LLM Inference via Online Neuron Balancing

Yapeng Jiang, Minghao Gan, Zicong Hong, Wuhui Chen, Junyuan Liang

OpenTela: Unifying Decentralized Computing Resources for Heterogeneous LLM Serving (Operational Systems)

Xiaozhe Yao, YOUHE JIANG, Ilia Badanin, Qinghao Hu, Robert Matthew Smith

Revisiting Pipeline Parallelism for LLM Serving

Soonjae Hwang, Jeongseob Ahn

Efficient LLM Serving on Commodity GPU Clusters with Data-Reduced Cross-Instance Orchestration

Jiangsu Du, Hongbin Zhang, Taosheng Wei, Zhenyi Zheng, Jiazhi Jiang

vBOIDs: Taming Chaos via Coarse-Grained Scheduling Abstraction for Containers

Kaesi Manakkal, Nathan Daughety, Yu Sun, Marcus Pendleton, Hui Lu

Inside Out: A Paradigm Shift in VM Introspection

Dufy Teguia, Louis Duval, Teo Pisenti, Kahina Lazri, Daniel Hagimont

Compaction-Free Memory Defragmentation for Virtualization via Infinite Guest Physical Address Space

Peixin Zeng, Hao Huang, Yanqi Pan, Wen Xia, Darong Yang

M3U: Scalable Kernel Memory Management for Efficient Post-Copy Live Migration of High-End Virtual Machines

Yizhe Xu, Yuan Tao, Zhibin Zhang, Kang Yan, Chao Zhang

High Fidelity Models for Large Scale Stateful Services (Operational Systems)

Nouraldin Jaber, Dongyun Jin, Bernhard Kragl, Enrico Magnago, Gustavo Petri

Timelock Drive: Isolated Time-Based Defense for Storage Systems

Jonah Rosenblum, Juechu Dong, Peter Chen, Satish Narayanasamy

The LogDrive: Composable Durability for Cloud-Based Shared Logs

Gardner Vickers, Lucas Bradstreet, Mahesh Balakrishnan, Prince Mahajan, David Mao

WiseCode: Breaking the Scalability Barriers of Wide-Stripe Vector Codes

Sijie Cai, Guangyan Zhang, Xiao Niu

The Clustering Strikes Back: Building Cost-Effective and High-Performance ANNS at Scale with Helmsman (Operational Systems)

Yuchen Huang, Baiteng Ma, Yiping Sun, Yang Shi, Xiao Chen

Pluto: High-Performance, Memory-Efficient Distributed Graph Analytics through Advanced Mirroring

Ying-Wei Wu, Christopher J. Rossbach, Mattan Erez

Efficient GPU-Centric Evolving Graph Processing at Scale

Yunmo Zhang, Jiacheng Huang, Xizhe Yin, Junqiao Qiu, Hong Xu

Disentangling Graph Dependencies for Efficient Billion-Scale GPU Vector Search

Haoru Zhao, Jingkai He, Jingyao Zeng, Mingkai Dong, Dong Du

When DDIO Meets Page Coloring: Revisiting DDIO Performance with Sepia

Changwoo Song, Sanghyun Kim, Jinhyeok Oh, Qizhe Cai, Joonsung Kim

FARLock: Asymmetric RDMA Locking Made Fair

Yuehao Hu, Jiatang Zhou, Tianzheng Wang, Keval Vora

DPA-Store: An Ordered Network Data Path Key-Value Store

Frederic Schimmelpfennig, Jan Sass, Reza Salkhordeh, Martin Kröning, Stefan Lankes

RoCE BALBOA: Service-Enhanced RDMA Offload Engine for Data Center SmartNICs

Maximilian Jakob Heer, Benjamin Ramhorst, Yu Zhu, Luhao Liu, Zhiyi Hu

CoPilotIO: CPU as a Co-Pilot for GPU I/O to Free GPU Compute

Guanyi Chen, Qi Chen, Shu Yin, Jian Zhang

Umap: Revisiting Memory-Mapped I/O on Distributed File Systems for Efficient Matrix Access (Operational Systems)

Yongchao He, Guangyan Zhang, Zane Cao, Wenfei Wu

Scaling the IO Wall with Declarative IO

Sanjith Athlur, Sara Mcallister, Theo Gregersen, Timothy Kim, Yiwei Chen

Oxbow: A Coordinated Architecture for Multi-Component File Systems

Jongyul Kim, Jaehwan Lee, Inhoe Koo, Peizhe Liu, Jiyuan Zhang

RobustRL: Role-Based Fault Tolerance System for RL Post-Training

Zhenqian Chen, Baoquan Zhong, Xiang Li, Qing Dai, Xinkui Zhao

OpGuard: Bitwise Alignment for Precise and General Debugging of Production LLM Training

Ziming Zhou, Yinjie Zhao, Hang Zhu, Wenxiao Wang, Zhihao Bai

Safeguarding LLM Training at Scale: Online SDC Detection and Insights from 35 Million GPU Hours

Kinman Lei, Liyan Zheng, Xiang Li, Hongmin Chen, Yun Zhang

SDCs in the Wild: Characterizing and Diagnosing SDC-Defective GPUs in Production LLM Training (Operational Systems)

Wenxin Zheng, Wenxiao Wang, Yun Zhang, Mingcong Han, Bin Xu

Ambulance: Saving BFT through Racing

Neil Giridharan, Shubham Mishra, Lorenzo Alvisi, Natacha Crooks, Benjamin Marsh

Jetpack: Consensus Made Generally Fast

Ze Tang, Zihao Zhang, Weihai Shen, Jicheng Shi, Shuai Mu

Equal Opportunity: A Correctness Condition for Ordered Consensus

Yunhao Zhang, Haobin Ni, Soumya Basu, Shir Cohen, Maofan Yin

Bodega: Localized Linearizable Reads at Anywhere Anytime via Roster Leases

Guanzhou Hu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau

Quota Marketplace: Dynamic Pricing for Efficient Allocation of ML Training Resources

Balasubramanian Sivan, Renato Paes Leme, Mihai Tiuca, Ian McFarlane, Vasilis Gkatzelis

SPADE: Signal-Aware DAG Scheduling and Dynamic Provisioning for Data Processing Clusters

Adam Lechowicz, Rohan Shenoy, Noman Bashir, Mohammad Hajiesmaili, Adam Wierman

Kareus: Joint Reduction of Dynamic and Static Energy in Large Model Training

Ruofan Wu, Jae-Won Chung, Mosharaf Chowdhury

Hardware Lifecycle-Aware Power Planning in Commercial Hyperscale Datacenters (Operational Systems)

Ruihao Li, Leonardo Piga, Wei Su, Carlos Torres, Jovan Stojkovic

UCCL-Tran: An Extensible Software Transport Layer for GPU Networking

Yang Zhou, Zhongjie Chen, Ziming Mao, ChonLam Lao, Shuo Yang

BatchGen: An Architecture for Scalable and Efficient Batch Inference

Tairan Xu, Leyang Xue, Zhan Lu, Jinfu Deng, Hongyang Xiao

UEP: Portable Expert-Parallel Communication

Ziming Mao, Yihan Zhang, Chihan Cui, Zhen Huang, Kaichao You

Achieving Cloud-Grade SLOs for Local Mixture-of-Experts Inference through CPU–GPU Hybrid Design

Wenxin Wang, Yule Hou, Yu Ji, Peng Qu, Youhui Zhang

μUSB: Practical and Safe USB Driver Reuse for Arm TrustZone

Xuankai Zhang, Sijin Li, Pei Meng, Meng Wang, Yongzhao Zhang

Nested SEV: Secure and Generic SEV Support for Nested Virtualization

Kazuki Takiguchi, Kenichi Kourai

Osprey: Transparent and Efficient Virtual Memory for Secure Computation

Yicheng Liu, Alice Yeh, Harry Xu, Raluca Ada Popa, Sam Kumar

JANUS: Cross-World, Cooperative Nested Virtualization for Secure Containers

Jiangshan Lai, Hang Huang, Quan Xu, Zhen Ren, Wenlong Hou

Accelerating Confidential Databases with Crypto-Free Mappings

Wenxuan Huang, Zhanbo Wang, Mingyu Li

FORGE: Mitigating Synchronization Amplification for Memory-Disaggregated Caching Systems

Zhijun Yang, Yu Hua, Ming Zhang, Menglei Chen, Yixiao Wang

Espresso: Constructing Cost-Efficient CXL JBOF via Inter-SSD Computing Resource Sharing

Shushu Yi, Yuda An, Li Peng, Xiurui Pan, Qiao Li

Blowfish: Elastic Virtual Machine Memory for Disaggregated Memory

Yulong Zhang, Yilong Luo, Diyu Zhou, Quan Chen, Quanxi Li

Duhu: Shared Disaggregated Memory for Distributed Data Processing Frameworks

Qiutong Men, Tao Wang, Jongryool Kim, Hane (Stella) Yie, Emmanuel Amaro

Harvesting Sub-Microsecond CXL Memory Stalls with LiteSwitch

Nanqinqin Li, Yuhong Zhong, Asaf Cidon, Michael J. Freedman

Seer: Online Context Learning for Fast Synchronous LLM Reinforcement Learning

Ruoyu Qin, Weiran He, Weixiao Huang, Yangkun Zhang, Yikai Zhao

RollArt: Disaggregated Multi-Task Agentic RL Training at Scale

Wei Gao, Yuheng Zhao, Tianyuan Wu, Shaopan Xiong, Weixun Wang

DynaRL: Flexible and Dynamic Scheduling of Large-Scale Reinforcement Learning Training

Yuanqing Wang, Hao Lin, Junhao Hu, Chunyang Zhu, Quanlu Zhang

RLinf: Flexible and Efficient Large-Scale Reinforcement Learning via Macro-to-Micro Flow Transformation

Chao Yu, Yuanqing Wang, Zhen Guo, Hao Lin, Si Xu

Weave: Efficient Co-Scheduling for Disaggregated RL Post-Training

Tianyuan Wu, Lunxi Cao, Yining Wei, Wei Gao, Yuheng Zhao

DeLFS: A Decentralized Log-Structured File System for Manycores

Taehwan Ahn, Chanhyeong Yu, Sangjin Lee, Yongseok Son

Shaving the Peaks: Taming Tail Latency for Managed Workloads via Disaggregated Garbage Collection

Hongtao Lyu, Yuhan Li, Mingyu Wu

Efficient and Scalable Synchronization via Generalized Cache Coherence

Yanpeng Yu, Seung-seob Lee, Lin Zhong, Anurag Khandelwal

Arctic: A Practical Lock-Free Adaptive Radix Tree

Newton Ni, Nicolas Garza, Jenny Stinehour, Michael Goppert, Michal Friedman

Aletheia: Automated Detection of Data Integrity Violations in Microservices

Mafalda Sofia Ferreira, João Ferreira Loff, João Garcia, Rodrigo Rodrigues

A Compilation-Based Under-Constrained Execution Engine

Mingjun Yin, Zhaorui Li, Ju Chen, Haochen Zeng, Chengyu Song