Systems & networking

Publication

Dorami: Privilege Separating Security Monitor on RISC-V TEEs

Mark Kuhne, Stavros Volos, Shweta Shinde

34th USENIX Security Symposium | August 2025

Publication

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

Event

OSDI 2025

Upcoming: July 7, 2025 – July 9, 2025 | Boston, MA, USA

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…

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

To appear

Project

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

Warbler: Speculative Distributed Transactions with Geo-Replication

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

OSDI 2025 | 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

LongRoPE2: Near-Lossless LLM Context Window Scaling

Ning Shang , Li Lyna Zhang, Siyuan Wang, Gaokai Zhang, Gilsinia Lopez, Fan Yang, Weizhu Chen, Mao Yang

ICML 2025 | July 2025

Publication

Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation

Haoxiang Lin, Yang Wang, Yanjie Gao, Hongyu Zhang, Ming Wu, Mao Yang

FSE 2025 | June 2025

The ACM International Conference on the Foundations of Software Engineering, Ideas, Visions and Reflections Track

Project

Publication

dl²: Detecting Communication Deadlocks in Deep Learning Jobs

Yanjie Gao, Jiyu Luo, Haoxiang Lin, Hongyu Zhang, Ming Wu, Mao Yang

FSE 2025 | June 2025

The ACM International Conference on the Foundations of Software Engineering, Industry Track

Project

Efficient AI | Making Azure's big bet possible

What’s Your Story: Weishung Liu | Microsoft Research Podcast

AI Infrastructure | Towards efficient AI/ML deployment

Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications

Dorami: Privilege Separating Security Monitor on RISC-V TEEs

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

OSDI 2025

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

LLMoC: Large Language Model Inference at Wafer Scale

Warbler: Speculative Distributed Transactions with Geo-Replication

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

LongRoPE2: Near-Lossless LLM Context Window Scaling

Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation

dl²: Detecting Communication Deadlocks in Deep Learning Jobs

Systems & networking

Highlights