{"id":1139807,"date":"2025-05-30T07:39:53","date_gmt":"2025-05-30T14:39:53","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=1139807"},"modified":"2025-07-08T07:23:52","modified_gmt":"2025-07-08T14:23:52","slug":"osdi-2025","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/osdi-2025\/","title":{"rendered":"OSDI 2025"},"content":{"rendered":"\n\n\n\n\n

Microsoft is a proud sponsor of the 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’25) (opens in new tab)<\/span><\/a>. It will take place on July 7\u20139, 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.<\/p>\n\n\n\n

Explore Microsoft’s contribution to OSDI 2025 by checking out our accepted papers<\/a> and more.<\/p>\n\n\n\n

\n\t\n\t
\n\t\t
\n\t\t\t

Distinguished Artifact Award<\/h2>\n\n\n\n

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection<\/strong><\/a>
Hayley LeBlanc<\/a>, Jay Lorch<\/a>, Chris Hawblitzel<\/a>, Cheng Huang<\/a>, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram<\/em><\/p>\n\n\n\n

<\/div>\t\t<\/div>\n\t<\/div>\n\n\t<\/div>\n\n\n\n
<\/div>\n\n\n\n

Conference Sessions<\/h2>\n\n\n\n

Monday, July 7<\/strong><\/p>\n\n\n\n

Opening Remarks and Awards
Lidong Zhou, Microsoft Research<\/p>\n\n\n\n

Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems (opens in new tab)<\/span><\/a>
Suman Nath, Microsoft Research<\/p>\n\n\n\n

Warbler: Speculative Distributed Transactions with Geo-Replication (opens in new tab)<\/span><\/a>
Siddhartha Sen, Microsoft Research<\/p>\n\n\n\n

LLMoC: Large Language Model Inference at Wafer Scale (opens in new tab)<\/span><\/a>
Ziming Miao, Jilong Xue, Lingxiao Ma, and Fan Yang, Microsoft Research<\/p>\n\n\n\n

Tuesday, July 8<\/strong><\/p>\n\n\n\n

Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling (opens in new tab)<\/span><\/a>
Hugo Barbalho, Marco Molinaro, Ishai Menache, Microsoft Research; Kuan Liu, Abhisek Pan, Thomas Moscibroda, Microsoft; David Dion, Microsoft Azure<\/p>\n\n\n\n

Wednesday, July 9<\/strong><\/p>\n\n\n\n

PipeThreader: Software-Defined Pipelining for Efficient DNN Execution (opens in new tab)<\/span><\/a>
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<\/p>\n\n\n\n

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection (opens in new tab)<\/span><\/a>
Hayley LeBlanc, Jacob R. Lorch and Chris Hawblitzel, Microsoft Research; Cheng Huang and Yiheng Tao, Microsoft; Nickolai Zeldovich, MIT CSAIL and Microsoft Research<\/p>\n\n\n\n

Closing Remarks
Lidong Zhou, Microsoft Research<\/p>\n\n\n\n

\n\n\n\n

Symposium Organizers<\/h2>\n\n\n\n

Lidong Zhou<\/a>, Program Co-Chair<\/p>\n\n\n\n

<\/div>\n\n\n\n
\"Research<\/figure>
\n

Microsoft Research Forum<\/h3>\n\n\n\n

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.<\/p>\n\n\n\n

\n
Register now<\/a><\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n\n\n

Systems research at Microsoft<\/h2>\n\n\n\n

Discover the diverse and interdisciplinary systems work at Microsoft, where research and product teams innovate and drive progress across various fields. Explore more about each team below.<\/p>\n\n\n\n

Microsoft Research<\/h3>\n\n\n\n

Microsoft Research unites global interdisciplinary teams to advance systems research and foster impactful collaborations with academia and product teams for the benefit of customers, community, and society. By bringing together expertise in systems, networking, programming languages, machine learning, security, and privacy, Microsoft Research innovates on cloud, AI, and datacenter infrastructure. Their focus is on developing solutions that are sustainable, reliable, efficient, and secure.<\/p>\n\n\n

  • \n\t
    \n\t\t
    \n\t\t\t\t\t\t\t\t<\/div>\n\t<\/div>\n<\/li>\n\n\n\n

    Azure Research<\/h3>\n\n\n\n

    Azure Research conducts world-class research relevant to Azure. The Security and Privacy group focuses on cloud security and privacy, shaping Microsoft’s products and services through research on secure distributed computing, privacy-preserving AI, software security, and verified cryptography. Meanwhile, the Systems group enhances the cost efficiency of Microsoft\u2019s online services and datacenters by exploring chip-to-datacenter power management, efficient AI infrastructure, sustainability, resource optimization, next-generation cloud platforms, and AI-driven systems, driving technological innovation and operational efficiency for Azure.<\/p>\n\n\n

  • \n\t
    \n\t\t
    \n\t\t\t\t\t\t\t\t<\/div>\n\t<\/div>\n<\/li>\n\n\n\n

    M365 Research<\/h3>\n\n\n\n

    M365 Research is dedicated to pioneering advancements in AI and systems, driving the transfer of innovative technologies into our products, establishing Microsoft\u2019s leadership in the industry. We are doing cutting edge research leveraging our deep understanding of workloads combining algorithmic research with AI\/ML techniques and hardware innovation to provide a step function improvement in efficiency and reliability enabling us to deliver best in class productivity experiences.<\/p>\n\n\n

  • \n\t
    \n\t\t
    \n\t\t\t\t\t\t\t\t<\/div>\n\t<\/div>\n<\/li>\n\n\n","protected":false},"excerpt":{"rendered":"

    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\u20139, 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 […]<\/p>\n","protected":false},"featured_media":1139809,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2025-07-07","msr_enddate":"2025-07-09","msr_location":"Boston, MA, USA","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":false,"msr_hide_image_in_river":null,"footnotes":""},"research-area":[13552,13547],"msr-region":[256048],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[269148,269142],"msr-impact-theme":[264846],"class_list":["post-1139807","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-hardware-devices","msr-research-area-systems-and-networking","msr-region-global","msr-event-type-conferences","msr-locale-en_us","msr-post-option-approved-for-river","msr-post-option-include-in-river"],"msr_about":"\n\n\n\n\n

    Microsoft is a proud sponsor of the 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI '25)<\/a>. It will take place on July 7\u20139, 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.<\/p>\n\n\n\n

    Explore Microsoft's contribution to OSDI 2025 by checking out our accepted papers<\/a> and more.<\/p>\n\n\n\n\n

    Distinguished Artifact Award<\/h2>\n\n\n\n

    PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection<\/strong><\/a>
    Hayley LeBlanc<\/a>, Jay Lorch<\/a>, Chris Hawblitzel<\/a>, Cheng Huang<\/a>, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram<\/em><\/p>\n\n\n\n

    <\/div>\n\n\n\n\n
    <\/div>\n\n\n\n

    Conference Sessions<\/h2>\n\n\n\n

    Monday, July 7<\/strong><\/p>\n\n\n\n

    Opening Remarks and Awards
    Lidong Zhou, Microsoft Research<\/p>\n\n\n\n

    Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems<\/a>
    Suman Nath, Microsoft Research<\/p>\n\n\n\n

    Warbler: Speculative Distributed Transactions with Geo-Replication<\/a>
    Siddhartha Sen, Microsoft Research<\/p>\n\n\n\n

    LLMoC: Large Language Model Inference at Wafer Scale<\/a>
    Ziming Miao, Jilong Xue, Lingxiao Ma, and Fan Yang, Microsoft Research<\/p>\n\n\n\n

    Tuesday, July 8<\/strong><\/p>\n\n\n\n

    Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling<\/a>
    Hugo Barbalho, Marco Molinaro, Ishai Menache, Microsoft Research; Kuan Liu, Abhisek Pan, Thomas Moscibroda, Microsoft; David Dion, Microsoft Azure<\/p>\n\n\n\n

    Wednesday, July 9<\/strong><\/p>\n\n\n\n

    PipeThreader: Software-Defined Pipelining for Efficient DNN Execution<\/a>
    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<\/p>\n\n\n\n

    PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection<\/a>
    Hayley LeBlanc, Jacob R. Lorch and Chris Hawblitzel, Microsoft Research; Cheng Huang and Yiheng Tao, Microsoft; Nickolai Zeldovich, MIT CSAIL and Microsoft Research<\/p>\n\n\n\n

    Closing Remarks
    Lidong Zhou, Microsoft Research<\/p>\n\n\n\n

    \n\n\n\n

    Symposium Organizers<\/h2>\n\n\n\n

    Lidong Zhou<\/a>, Program Co-Chair<\/p>\n\n\n\n

    <\/div>\n\n\n\n
    \"Research<\/figure>
    \n

    Microsoft Research Forum<\/h3>\n\n\n\n

    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.<\/p>\n\n\n\n

    \n
    Register now<\/a><\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n\n\n

    Systems research at Microsoft<\/h2>\n\n\n\n

    Discover the diverse and interdisciplinary systems work at Microsoft, where research and product teams innovate and drive progress across various fields. Explore more about each team below.<\/p>\n\n\n\n

    Microsoft Research<\/h3>\n\n\n\n

    Microsoft Research unites global interdisciplinary teams to advance systems research and foster impactful collaborations with academia and product teams for the benefit of customers, community, and society. By bringing together expertise in systems, networking, programming languages, machine learning, security, and privacy, Microsoft Research innovates on cloud, AI, and datacenter infrastructure. Their focus is on developing solutions that are sustainable, reliable, efficient, and secure.<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n

    Azure Research<\/h3>\n\n\n\n

    Azure Research conducts world-class research relevant to Azure. The Security and Privacy group focuses on cloud security and privacy, shaping Microsoft's products and services through research on secure distributed computing, privacy-preserving AI, software security, and verified cryptography. Meanwhile, the Systems group enhances the cost efficiency of Microsoft\u2019s online services and datacenters by exploring chip-to-datacenter power management, efficient AI infrastructure, sustainability, resource optimization, next-generation cloud platforms, and AI-driven systems, driving technological innovation and operational efficiency for Azure.<\/p>\n\n\n\n\n\n\n\n\n\n

    M365 Research<\/h3>\n\n\n\n

    M365 Research is dedicated to pioneering advancements in AI and systems, driving the transfer of innovative technologies into our products, establishing Microsoft\u2019s leadership in the industry. We are doing cutting edge research leveraging our deep understanding of workloads combining algorithmic research with AI\/ML techniques and hardware innovation to provide a step function improvement in efficiency and reliability enabling us to deliver best in class productivity experiences.<\/p>\n\n\n\n\n\n\n","tab-content":[],"msr_startdate":"2025-07-07","msr_enddate":"2025-07-09","msr_event_time":"","msr_location":"Boston, MA, USA","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"July 7, 2025","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":"\"background","event_excerpt":"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\u20139, 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…","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":["Computing foundations"],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[1135787,1139493,1140093,1140097,1140100,1141679],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/1139807","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":34,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/1139807\/revisions"}],"predecessor-version":[{"id":1149912,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/1139807\/revisions\/1149912"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/1139809"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=1139807"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=1139807"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=1139807"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=1139807"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=1139807"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=1139807"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=1139807"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=1139807"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=1139807"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}