Microsoft is a proud sponsor of the 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’25) (opens in new tab). It will take place on July 7–9, 2025, at the Sheraton Boston in Boston, MA, USA. OSDI brings together professionals from academic and industrial backgrounds in what has become a premier forum for discussing the design, implementation, and implications of systems software. The symposium emphasizes innovative research as well as quantified or insightful experiences in systems design and implementation.
Explore Microsoft’s contribution to OSDI 2025 by checking out our accepted papers and more.
Conference Sessions
Monday, July 7
Opening Remarks and Awards
Lidong Zhou, Microsoft Research
Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems (opens in new tab)
Suman Nath, Microsoft Research
Warbler: Speculative Distributed Transactions with Geo-Replication (opens in new tab)
Siddhartha Sen, Microsoft Research
LLMoC: Large Language Model Inference at Wafer Scale (opens in new tab)
Ziming Miao, Jilong Xue, Lingxiao Ma, and Fan Yang, Microsoft Research
Tuesday, July 8
Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling (opens in new tab)
Hugo Barbalho, Marco Molinaro, Ishai Menache, Microsoft Research; Kuan Liu, Abhisek Pan, Thomas Moscibroda, Microsoft; David Dion, Microsoft Azure
Wednesday, July 9
PipeThreader: Software-Defined Pipelining for Efficient DNN Execution (opens in new tab)
Yu Cheng and Lei Wang, Peking University and Microsoft Research; Yuqing Xia, Lingxiao Ma, Jilong Xue, Yang Wang, Fan Yang and Mao Yang, Microsoft Research; Zhiwen Mo, Imperial College London and Microsoft Research Asia; Feiyang Chen, Shanghai Jiao, Tong University and Microsoft Research Asia
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection (opens in new tab)
Jacob R. Lorch and Chris Hawblitzel, Microsoft Research; Cheng Huang and Yiheng Tao, Microsoft; Nickolai Zeldovich, MIT CSAIL and Microsoft Research
Closing Remarks
Lidong Zhou, Microsoft Research
Symposium Organizers
Lidong Zhou, Program Co-Chair

Microsoft Research Forum
Join us for a continuous exchange of ideas about science and technology research in the era of general AI. This series explores recent research advances, bold new ideas, and important discussions with the global research community. Register to attend upcoming episodes and watch previous episodes available on demand.