PPaperPicks
← All conferences
Editions202620252024

OSDI 2025

A*

USENIX Symposium on Operating Systems Design and Implementation

Official site ↗
54
accepted papers
364
authors
July 7-9, 2025
dates
USA
location

54 / 54 papers

  1. 1
    19th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2025, Boston, MA, USA, July 7-9, 2025
    Lidong Zhou
    ,
    Yuanyuan Zhou
  2. 2
    Achieving Low-Latency Graph-Based Vector Search via Aligning Best-First Search Algorithm with SSD
    Hao Guo
    ,
    Youyou Lu
  3. 3
    Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols
    Tony Nuda Zhang
    ,
    Keshav Singh
    ,
    Tej Chajed
    ,
    Manos Kapritsos
    ,
    Bryan Parno
  4. 4
    Bayesian Code Diffusion for Efficient Automatic Deep Learning Program Optimization
    Isu Jeong
    ,
    Seulki Lee
  5. 5
    BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching
    Dingyan Zhang
    ,
    Haotian Wang
    ,
    Yang Liu
    ,
    Xingda Wei
    ,
    Yizhou Shan
    ,
    Rong Chen
    ,
    Haibo Chen
  6. 6
    Building Bridges: Safe Interactions with Foreign Languages through Omniglot
    Leon Schuermann
    ,
    Jack Toubes
    ,
    Tyler Potyondy
    ,
    Pat Pannuto
    ,
    Mae Milano
    ,
    Amit Levy
  7. 7
    Compass: Encrypted Semantic Search with High Accuracy
    Jinhao Zhu
    ,
    Liana Patel
    ,
    Matei Zaharia
    ,
    Raluca Ada Popa
  8. 8
    DecDEC: A Systems Approach to Advancing Low-Bit LLM Quantization
    Yeonhong Park
    ,
    Jake Hyun
    ,
    Hojoon Kim
    ,
    Jae W. Lee
  9. 9
    Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery
    Yaotian Cui
    ,
    Zhiqi Wang
    ,
    Renhai Chen
    ,
    Zili Shao
  10. 10
    Decouple and Decompose: Scaling Resource Allocation with DeDe
    Zhiying Xu
    ,
    Minlan Yu
    ,
    Francis Y. Yan
  11. 11
    Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems
    Chang Lou
    ,
    Dimas Shidqi Parikesit
    ,
    Yujin Huang
    ,
    Zhewen Yang
    ,
    Senapati Diwangkara
    ,
    Yuzhuo Jing
    ,
    Achmad Imam Kistijantoro
    ,
    Ding Yuan
    ,
    Suman Nath
    ,
    Peng Huang
  12. 12
    Deterministic Client: Enforcing Determinism on Untrusted Machine Code
    Zachary Yedidia
    ,
    Geoffrey Ramseyer
    ,
    David Mazières
  13. 13
    Disentangling the Dual Role of NIC Receive Rings
    Boris Pismenny
    ,
    Adam Morrison
    ,
    Dan Tsafrir
  14. 14
    EMT: An OS Framework for New Memory Translation Architectures
    Siyuan Chai
    ,
    Jiyuan Zhang
    ,
    Jongyul Kim
    ,
    Alan Wang
    ,
    Fan Chung
    ,
    Jovan Stojkovic
    ,
    Weiwei Jia
    ,
    Dimitrios Skarlatos
    ,
    Josep Torrellas
    ,
    Tianyin Xu
  15. 15
    Enabling Efficient GPU Communication over Multiple NICs with FuseLink
    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
  16. 16
    Extending Applications Safely and Efficiently
    Yusheng Zheng
    ,
    Tong Yu
    ,
    Yiwei Yang
    ,
    Yanpeng Hu
    ,
    Xiaozheng Lai
    ,
    Dan Williams
    ,
    Andi Quinn
  17. 17
    Fast and Synchronous Crash Consistency with Metadata Write-Once File System
    Yanqi Pan
    ,
    Wen Xia
    ,
    Yifeng Zhang
    ,
    Xiangyu Zou
    ,
    Hao Huang
    ,
    Zhenhua Li
    ,
    Chentao Wu
  18. 18
    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
    ,
    Yinlong Xu
  19. 19
    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
    ,
    Anqi Shen
    ,
    Dawei Shen
    ,
    Qi Xing
    ,
    Shun Song
    ,
    Tongkai Yang
    ,
    Le Gao
    ,
    Feng Yu
    ,
    Zhengyu He
    ,
    Dong Du
    ,
    Yubin Xia
    ,
    Kang Chen
    ,
    Yu Chen
  20. 20
    Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling
    David Domingo
    ,
    Hugo Barbalho
    ,
    Marco Molinaro
    ,
    Kuan Liu
    ,
    Abhisek Pan
    ,
    David Dion
    ,
    Thomas Moscibroda
    ,
    Sudarsun Kannan
    ,
    Ishai Menache
  21. 21
    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
    ,
    Zhongkai Yu
    ,
    Yufei Ding
    ,
    Adnan Aziz
  22. 22
    KRR: Efficient and Scalable Kernel Record Replay
    Tianren Zhang
    ,
    Sishuai Gong
    ,
    Pedro Fonseca
  23. 23
    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
    ,
    Ramnatthan Alagappan
  24. 24
    Mako: Speculative Distributed Transactions with Geo-Replication
    Weihai Shen
    ,
    Yang Cui
    ,
    Siddhartha Sen
    ,
    Sebastian Angel
    ,
    Shuai Mu
  25. 25
    MettEagle: Costs and Benefits of Implementing Containers on Microkernels
    Till Miemietz
    ,
    Viktor Reusch
    ,
    Matthias Hille
    ,
    Lars Wrenger
    ,
    Jana Eisoldt
    ,
    Jan Klötzke
    ,
    Max Kurze
    ,
    Adam Lackorzynski
    ,
    Michael Roitzsch
    ,
    Hermann Härtig
  26. 26
    Mirage: A Multi-Level Superoptimizer for Tensor Programs
    Mengdi Wu
    ,
    Xinhao Cheng
    ,
    Shengyu Liu
    ,
    Chunan Shi
    ,
    Jianan Ji
    ,
    Man Kit Ao
    ,
    Praveen Velliengiri
    ,
    Xupeng Miao
    ,
    Oded Padon
    ,
    Zhihao Jia
  27. 27
    NanoFlow: Towards Optimal Large Language Model Serving Throughput
    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
  28. 28
    Neutrino: Fine-grained GPU Kernel Profiling via Programmable Probing
    Songlin Huang
    ,
    Chenshu Wu
  29. 29
    Okapi: Decoupling Data Striping and Redundancy Grouping in Cluster File Systems
    Sanjith Athlur
    ,
    Timothy Kim
    ,
    Saurabh Kadekodi
    ,
    Francisco Maturana
    ,
    Xavier Ramos
    ,
    Arif Merchant
    ,
    K. V. Rashmi
    ,
    Gregory R. Ganger
  30. 30
    OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit
    Yuanpei Wu
    ,
    Chao Xu
    ,
    Yubin Xia
    ,
    Yang Yu
    ,
    Ming Fu
    ,
    Binyu Zang
    ,
    Haibo Chen
  31. 31
    Paralegal: Practical Static Analysis for Privacy Bugs
    Justus Adam
    ,
    Carolyn Zech
    ,
    Livia Zhu
    ,
    Sreshtaa Rajesh
    ,
    Nathan Harbison
    ,
    Mithi Jethwa
    ,
    Will Crichton
    ,
    Shriram Krishnamurthi
    ,
    Malte Schwarzkopf
  32. 32
    Picsou: Enabling Replicated State Machines to Communicate Efficiently
    Reginald Frank
    ,
    Micah Murray
    ,
    Chawinphat Tankuranand
    ,
    Junseo Yoo
    ,
    Ethan Xu
    ,
    Natacha Crooks
    ,
    Suyash Gupta
    ,
    Manos Kapritsos
  33. 33
    PipeThreader: Software-Defined Pipelining for Efficient DNN Execution
    Yu Cheng
    ,
    Lei Wang
    ,
    Yining Shi
    ,
    Yuqing Xia
    ,
    Lingxiao Ma
    ,
    Jilong Xue
    ,
    Yang Wang
    ,
    Zhiwen Mo
    ,
    Feiyang Chen
    ,
    Fan Yang
    ,
    Mao Yang
    ,
    Zhi Yang
  34. 34
    PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
    Hayley LeBlanc
    ,
    Jacob R. Lorch
    ,
    Chris Hawblitzel
    ,
    Cheng Huang
    ,
    Yiheng Tao
    ,
    Nickolai Zeldovich
    ,
    Vijay Chidambaram
  35. 35
    Principles and Methodologies for Serial Performance Optimization
    Sujin Park
    ,
    Mingyu Guan
    ,
    Xiang Cheng
    ,
    Taesoo Kim
  36. 36
    QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
    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
  37. 37
    QOS: Quantum Operating System
    Emmanouil Giortamis
    ,
    Francisco Romão
    ,
    Nathaniel Tornow
    ,
    Pramod Bhatotia
  38. 38
    Quake: Adaptive Indexing for Vector Search
    Jason Mohoney
    ,
    Devesh Sarda
    ,
    Mengze Tang
    ,
    Shihabur Rahman Chowdhury
    ,
    Anil Pacaci
    ,
    Ihab F. Ilyas
    ,
    Theodoros Rekatsinas
    ,
    Shivaram Venkataraman
  39. 39
    Quantum Virtual Machines
    Runzhou Tao
    ,
    Hongzheng Zhu
    ,
    Jason Nieh
    ,
    Jianan Yao
    ,
    Ronghui Gu
  40. 40
    Scalio: Scaling up DPU-based JBOF Key-value Store with NVMe-oF Target Offload
    Xun Sun
    ,
    Mingxing Zhang
    ,
    Yingdi Shan
    ,
    Kang Chen
    ,
    Jinlei Jiang
    ,
    Yongwei Wu
  41. 41
    Skybridge: Bounded Staleness for Distributed Caches
    Robert Lyerly
    ,
    Scott Pruett
    ,
    Kevin Doherty
    ,
    Greg Rogers
    ,
    Nathan Bronson
    ,
    John Hugg
  42. 42
    Stripeless Data Placement for Erasure-Coded In-Memory Storage
    Jian Gao
    ,
    Jiwu Shu
    ,
    Bin Yan
    ,
    Yuhao Zhang
    ,
    Keji Huang
  43. 43
    Söze: One Network Telemetry Is All You Need for Per-flow Weighted Bandwidth Allocation at Scale
    Weitao Wang
    ,
    T. S. Eugene Ng
  44. 44
    Tiered Memory Management Beyond Hotness
    Jinshu Liu
    ,
    Hamid Hadian
    ,
    Hanchen Xu
    ,
    Huaicheng Li
  45. 45
    Tigon: A Distributed Database for a CXL Pod
    Yibo Huang
    ,
    Haowei Chen
    ,
    Newton Ni
    ,
    Yan Sun
    ,
    Vijay Chidambaram
    ,
    Dixin Tang
    ,
    Emmett Witchel
  46. 46
    Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty
    Ao Li
    ,
    Marion Sudvarg
    ,
    Zihan Li
    ,
    Sanjoy K. Baruah
    ,
    Chris Gill
    ,
    Ning Zhang
  47. 47
    To PRI or Not To PRI, That's the question
    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
  48. 48
    Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks
    Yuxuan Jiang
    ,
    Ziming Zhou
    ,
    Boyu Xu
    ,
    Beijie Liu
    ,
    Runhui Xu
    ,
    Peng Huang
  49. 49
    Understanding Stragglers in Large Model Training Using What-if Analysis
    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
  50. 50
    WaferLLM: Large Language Model Inference at Wafer Scale
    Congjie He
    ,
    Yeqi Huang
    ,
    Pei Mu
    ,
    Ziming Miao
    ,
    Jilong Xue
    ,
    Lingxiao Ma
    ,
    Fan Yang
    ,
    Luo Mai