Microsoft at OSDI 2025

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

OSDI’25: 19th USENIX Symposium on Operating Systems Design and Implementation | July 2025

Publication

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

OSDI 2025 | July 2025

Publication Publication

LLMoC: Large Language Model Inference at Wafer Scale

Congjie He, Yeqi Huang, Pei Mu, Ziming Miao, Jilong Xue, Lingxiao Ma, Fan Yang, Luo Mai

OSDI 2025 | July 2025

Publication

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

Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025

Distinguished Artifact Award

Publication Projet

Warbler: Speculative Distributed Transactions with Geo-Replication

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

OSDI 2025 | July 2025

Publication

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

OSDI | July 2025

Publication

My CXL Pool Obviates Your PCIe Switch

Yuhong Zhong, Daniel S. Berger, Pantea Zardoshti, Enrique Saurez, Jacob Nelson, Antonis Psistakis, Joshua Fried, Asaf Cidon

OSDI 2025 | March 2025

DOI Publication Publication

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

Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025

Distinguished Artifact Award

Publication Projet

My CXL Pool Obviates Your PCIe Switch

Yuhong Zhong, Daniel S. Berger, Pantea Zardoshti, Enrique Saurez, Jacob Nelson, Antonis Psistakis, Joshua Fried, Asaf Cidon

OSDI 2025 | March 2025

DOI Publication Publication

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

OSDI 2025 | July 2025

Publication Publication

Warbler: Speculative Distributed Transactions with Geo-Replication

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

OSDI 2025 | July 2025

Publication

LLMoC: Large Language Model Inference at Wafer Scale

Congjie He, Yeqi Huang, Pei Mu, Ziming Miao, Jilong Xue, Lingxiao Ma, Fan Yang, Luo Mai

OSDI 2025 | July 2025

Publication

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

Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025

Distinguished Artifact Award

Publication Projet

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

OSDI’25: 19th USENIX Symposium on Operating Systems Design and Implementation | July 2025

Publication

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

OSDI | July 2025

Publication

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

OSDI 2025 | July 2025

Publication Publication

Warbler: Speculative Distributed Transactions with Geo-Replication

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

OSDI 2025 | July 2025

Publication

LLMoC: Large Language Model Inference at Wafer Scale

Congjie He, Yeqi Huang, Pei Mu, Ziming Miao, Jilong Xue, Lingxiao Ma, Fan Yang, Luo Mai

OSDI 2025 | July 2025

Publication

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

Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025

Distinguished Artifact Award

Publication Projet

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

OSDI’25: 19th USENIX Symposium on Operating Systems Design and Implementation | July 2025

Publication

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

OSDI | July 2025

Publication

My CXL Pool Obviates Your PCIe Switch

Yuhong Zhong, Daniel S. Berger, Pantea Zardoshti, Enrique Saurez, Jacob Nelson, Antonis Psistakis, Joshua Fried, Asaf Cidon

OSDI 2025 | March 2025

DOI Publication Publication