Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication SRC: A Scalable Reliable Connection for RDMA with Decoupled QPs and Connections Yiren Zhao, Ran Shu, Yongqiang Xiong APNet | August 2025
Publication Dorami: Privilege Separating Security Monitor on RISC-V TEEs Mark Kuhne, Stavros Volos, Shweta Shinde 34th USENIX Security Symposium | August 2025
Publication LEOScope: Building a Global Testbed for Low-Earth Orbit Satellite Networks Saeed Fadaei, Shubham Tiwari, Aryan Taneja, Saksham Bhushan, Mohamed M. Kassem, Aravindh Raman, Debopam Bhattacherjee, Lili Qiu, Alan Woodward, Nishanth R. Sastry ACM SIGCOMM Computer Communication Review | July 2025, Vol 55(2): pp. 13-21
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
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 Project
Publication WaferLLM: 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 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