{"id":1073397,"date":"2024-08-19T15:39:47","date_gmt":"2024-08-19T22:39:47","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=1073397"},"modified":"2024-11-06T15:43:39","modified_gmt":"2024-11-06T23:43:39","slug":"sosp-2024","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/sosp-2024\/","title":{"rendered":"SOSP 2024"},"content":{"rendered":"\n\n\n\n\n<div class=\"wp-block-media-text has-vertical-margin-small  has-vertical-padding-none  has-media-on-the-right is-stacked-on-mobile is-vertically-aligned-top\" style=\"grid-template-columns:auto 30%\" data-bi-an=\"media-text\"><div class=\"wp-block-media-text__content\" data-bi-an=\"media-text\">\n<p>Microsoft is proud to be a sponsor of <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/sigops.org\/s\/conferences\/sosp\/2024\/\" target=\"_blank\" rel=\"noreferrer noopener\">Symposium on Operating Systems Principles (SOSP)<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, the world&#8217;s premier forum for researchers, developers, programmers, and teachers of computer systems technology. Academic and industrial participants present research and experience papers that cover the full range of theory and practice of computer systems.<\/p>\n\n\n\n<p><em>Congratulations to the authors of &#8220;Verus: A Practical Foundation for Systems Verification&#8221; on winning the Distinguished Artifact Award<\/em>.<\/p>\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--5992aee1e74871834a67d77c5e92ad14\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/verus-a-practical-foundation-for-systems-verification\/\">Read the paper<\/a><\/div>\n<\/div>\n\n\n\n<p><strong>Program Committee: <\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/daberg\/\">Daniel Berger<\/a><\/li>\n\n\n\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lorch\/\">Jay Lorch<\/a><\/li>\n\n\n\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jonathanmace\/\">Jonathan Mace<\/a><\/li>\n\n\n\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/sidsen\/\">Siddhartha Sen<\/a><\/li>\n\n\n\n<li>Tim Harris<\/li>\n<\/ul>\n<\/div><figure class=\"wp-block-media-text__media\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/verus-a-practical-foundation-for-systems-verification\/\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-1024x576.png\" alt=\"Distinguished Artifact Award at SOSP 2024: Verus: A Practical Foundation for Systems Verification\" class=\"wp-image-1101630 size-full\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-1024x576.png 1024w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-300x169.png 300w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-768x432.png 768w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-1066x600.png 1066w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-655x368.png 655w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-240x135.png 240w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-640x360.png 640w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-960x540.png 960w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-1280x720.png 1280w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788.png 1400w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/a><\/figure><\/div>\n\n\n\n<div class=\"wp-block-media-text has-vertical-margin-small  has-vertical-padding-none  is-stacked-on-mobile is-style-border\" style=\"grid-template-columns:40% auto\" data-bi-an=\"media-text\"><figure class=\"wp-block-media-text__media\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-1024x576.png\" alt=\"Microsoft Research Forum - abstract with shapes\" class=\"wp-image-1024539 size-full\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-1024x576.png 1024w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-300x169.png 300w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-768x432.png 768w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-1066x600.png 1066w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-655x368.png 655w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-240x135.png 240w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-640x360.png 640w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-960x540.png 960w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-1280x720.png 1280w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788.png 1400w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><div class=\"wp-block-media-text__content\" data-bi-an=\"media-text\">\n<h4 class=\"wp-block-heading\" id=\"microsoft-research-forum\">Microsoft Research Forum<\/h4>\n\n\n\n<p>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<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/researchforum.microsoft.com\/?OCID=msr_researchforum_Accelerator_SOSP24_conference_Webpage\" target=\"_blank\" rel=\"noreferrer noopener\">Register now<\/a><\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n<div style=\"height:30px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n\n\n<h2 class=\"wp-block-heading\" id=\"microsoft-booth-schedule\">Microsoft booth schedule<\/h2>\n\n\n\n<p>Stop by our&nbsp;booth&nbsp;to chat with our experts to learn more about&nbsp;our research and our open career opportunities.<\/p>\n\n\n\n<figure class=\"wp-block-table\"><table><thead><tr><th>Date<\/th><th>Time<\/th><th>Session<\/th><th>Researcher(s)<\/th><\/tr><\/thead><tbody><tr><td><strong>Monday, November 4<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Future AI Infrastructure<\/strong><\/td><td><strong>Richard Black<\/strong><br><em>Partner Research Manager, Microsoft Research Cambridge<\/em><br><br><strong>Burcu Canakci<br><\/strong><em>Senior Researcher, Microsoft Research Cambridge<\/em><br><br><strong>Dushyanth Narayanan<br><\/strong><em>Senior Principal Researcher, Microsoft Research Cambridge<\/em><br><br><strong>Ant Rowstron<br><\/strong><em>VP, Distinguished Engineer and Deputy Director, Microsoft Research Cambridge<\/em><br><\/td><\/tr><tr><td><strong>Monday, November 4<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Foundation Models | Generative AI | Learning Agents<\/strong><\/td><td><strong>Siddhartha Sen<\/strong><br><em>Principal Research Manager<\/em>, <em>AI Frontiers<\/em><\/td><\/tr><tr><td><strong>Monday, November 4<\/strong><\/td><td><strong>4:00-4:30pm<\/strong><\/td><td><strong>Cloud platform sustainability and efficiency in Azure<\/strong><\/td><td><strong>Daniel Berger<\/strong><br><em>Principal Researcher, Azure Research<\/em><br><br><strong>Rodrigo Fonseca<\/strong><br><em>Senior Principal Research Manager, Azure Research<\/em><br><\/td><\/tr><tr><td><strong>Monday, November 4<\/strong><\/td><td><strong>4:00-4:30pm<\/strong><\/td><td><strong>Foundation Models | Generative AI | Learning Agents<\/strong><\/td><td><strong>Siddhartha Sen<\/strong><br><em>Principal Research Manager<\/em>, <em>AI Frontiers<\/em><br><\/td><\/tr><tr><td><strong>Monday, November 4<\/strong><\/td><td><strong>4:00-4:30 PM<\/strong><\/td><td><strong>System Foundation for AI Agents<\/strong><\/td><td><strong>Peng Cheng<\/strong><br><em>Senior Principal Research Manager, Microsoft Research Asia<\/em><br><br><strong>Changho Hwang<br><\/strong><em>Senior Researcher, Microsoft Research Asia Vancouver<\/em><br><br><strong>Jay Lorch<\/strong><br><em>Senior Principal Researcher, Microsoft Research Redmond<\/em><br><br><strong>Shan Lu<\/strong><br><em>Senior Principal Research Manager, Microsoft Research Redmond<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Privacy and Security Research<\/strong><\/td><td><strong>Manuel Costa<\/strong><br><em>VP, Distinguished Engineer, Azure Research<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Cloud platform sustainability and efficiency in Azure<\/strong><\/td><td><strong>Daniel Berger<\/strong><br><em>Principal Researcher, Azure Research<\/em><br><br><strong>Rodrigo Fonseca<\/strong><br><em>Senior Principal Research Manager, Azure Research<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Data Systems Research at MSR<\/strong><\/td><td><strong>Kaushik Rajan<br><\/strong><em>Principal Researcher, Microsoft Research Redmond<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Future AI Infrastructure<\/strong><\/td><td><strong>Burcu Canakci<\/strong><br><em>Senior Researcher, Microsoft Research Cambridge<\/em><br><br><strong>Dushyanth Narayanan<\/strong><br><em>Senior Principal Researcher, Microsoft Research Cambridge<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>3:30-4:00 PM<\/strong><\/td><td><strong>Privacy and Security Research<\/strong><\/td><td><strong>Manuel Costa<\/strong><br><em>VP, Distinguished Engineer, Azure Research<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>3:30-4:00 PM<\/strong><\/td><td><strong>System Research at Microsoft Research Asia<\/strong><\/td><td><strong>Ying Cao<br><\/strong><em>Senior Researcher, Microsoft Research Asia<\/em><br><br><strong>Peng Cheng<\/strong><br><em>Senior Principal Research Manager, Microsoft Research Asia<\/em><br><br><strong>Lingxiao Ma<br><\/strong><em>Senior Researcher, Microsoft Research Asia<\/em><br><\/td><\/tr><tr><td><strong>Wednesday, November 6<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>System Research at Microsoft Research Asia<\/strong><\/td><td><strong>Ying Cao<br><\/strong><em>Senior Researcher, Microsoft Research Asia<\/em><br><br><strong>Peng Cheng<\/strong><br><em>Senior Principal Research Manager, Microsoft Research Asia<\/em><br><br><strong>Lingxiao Ma<br><\/strong><em>Senior Researcher, Microsoft Research Asia<\/em><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<div style=\"height:25px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n\n\n<h2 class=\"wp-block-heading\" id=\"systems-research-at-microsoft\">Systems research at Microsoft<\/h2>\n\n\n\n<p>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<h4 class=\"wp-block-heading\" id=\"microsoft-research\">Microsoft Research<\/h4>\n\n\n\n<p>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<p><strong>Team members attending SOSP 2024:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rjblack\/\">Richard Black<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/burcucanakci\/\">Burcu Canakci<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/yincao\/\">Ying Cao<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/chrishaw\/\">Chris Hawblitzel<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/changhohwang\/\">Changho Hwang<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lorch\/\">Jay Lorch<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shanlu\/\">Shan Lu<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lingm\/\">Lingxiao Ma<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dnarayan\/\">Dushyanth Narayanan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/sumann\/\">Suman Nath<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/krajan\/\">Kaushik Rajan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/antr\/\">Ant Rowstron<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/aashakashah\/\">Aashaka Shah<\/a><\/p>\n\n\n<div class=\"msr-cards__card msr-cards__card--top-highlight col\">\n\t<div class=\"card material-card h-100 msr-spectrum-bar msr-spectrum-bar--top msr-spectrum-bar--hover\" data-mount=\"click-group\">\n\t\t<div class=\"card-body p-4\">\n\t\t\t\t\t\t\t\t<\/div>\n\t<\/div>\n<\/div>\n\n\n\n<h4 class=\"wp-block-heading\" id=\"azure-research\">Azure Research<\/h4>\n\n\n\n<p>Azure Research conducts world-class research relevant to Azure. The Security and Privacy group focuses on cloud security and privacy, shaping Microsoft&#8217;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<p><strong>Team members attending SOSP 2024<\/strong>: <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/daberg\/\">Daniel Berger<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/manuelc\/\">Manuel Costa<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rofons\/\">Rodrigo Fonseca<\/a><\/p>\n\n\n<div class=\"msr-cards__card msr-cards__card--top-highlight col\">\n\t<div class=\"card material-card h-100 msr-spectrum-bar msr-spectrum-bar--top msr-spectrum-bar--hover\" data-mount=\"click-group\">\n\t\t<div class=\"card-body p-4\">\n\t\t\t\t\t\t\t\t<\/div>\n\t<\/div>\n<\/div>\n\n\n\n<h4 class=\"wp-block-heading\" id=\"azure-research\">M365 Research<\/h4>\n\n\n\n<p>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<p><strong>Team members attending SOSP 2024<\/strong>: <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/srbharadwaj\/\">Srikant Bharadwaj<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/saravar\/\">Saravan Rajmohan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/reneestamant\/\">Renee St Amant<\/a><\/p>\n\n\n<div class=\"msr-cards__card msr-cards__card--top-highlight col\">\n\t<div class=\"card material-card h-100 msr-spectrum-bar msr-spectrum-bar--top msr-spectrum-bar--hover\" data-mount=\"click-group\">\n\t\t<div class=\"card-body p-4\">\n\t\t\t\t\t\t\t\t<\/div>\n\t<\/div>\n<\/div>\n\n\n\n\n<div class=\"msr-cards__card msr-cards__card--default col\">\n\t<div class=\"card has-spectrum-border-top__hover material-card h-100 p-0\" data-mount=\"click-group\">\n\n\t\t\n\t\t<div class=\"card-body bg-white p-4 pt-3\">\n\t\t\t\t\t\t\n\t\t\t\t\t<\/div>\n\t<\/div>\n<\/div>\n\n\n","protected":false},"excerpt":{"rendered":"<p>Microsoft is proud to be a sponsor of Symposium on Operating Systems Principles (SOSP) (opens in new tab), the world&#8217;s premier forum for researchers, developers, programmers, and teachers of computer systems technology. Academic and industrial participants present research and experience papers that cover the full range of theory and practice of computer systems. Congratulations to [&hellip;]<\/p>\n","protected":false},"featured_media":1077318,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2024-11-04","msr_enddate":"2024-11-06","msr_location":"Austin, Texas","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"Central Standard Time (UTC -6)","msr_hide_region":false,"msr_private_event":false,"footnotes":""},"research-area":[13547],"msr-region":[197900],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-1073397","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-systems-and-networking","msr-region-north-america","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"<!-- wp:msr\/event-details {\"title\":\"Microsoft at SOSP 2024\",\"image\":{\"id\":1077318,\"url\":\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_header_1920x720.png\",\"alt\":\"SOSP 2024 event banner\"}} \/-->\n\n<!-- wp:msr\/content-tabs -->\n<!-- wp:msr\/content-tab -->\n<!-- wp:media-text {\"mediaPosition\":\"right\",\"mediaId\":1101630,\"mediaLink\":\"https:\/\/www.microsoft.com\/en-us\/research\/event\/sosp-2024\/sosp_artifiactaward_1400x788\/\",\"linkDestination\":\"custom\",\"mediaType\":\"image\",\"mediaWidth\":30,\"verticalAlignment\":\"top\",\"backgroundColor\":\"\"} -->\n<div class=\"wp-block-media-text has-media-on-the-right is-stacked-on-mobile is-vertically-aligned-top\" style=\"grid-template-columns:auto 30%\"><div class=\"wp-block-media-text__content\"><!-- wp:paragraph {\"placeholder\":\"Add Event Overview content\u2026\"} -->\n<p>Microsoft is proud to be a sponsor of <a href=\"https:\/\/sigops.org\/s\/conferences\/sosp\/2024\/\" target=\"_blank\" rel=\"noreferrer noopener\">Symposium on Operating Systems Principles (SOSP)<\/a>, the world's premier forum for researchers, developers, programmers, and teachers of computer systems technology. Academic and industrial participants present research and experience papers that cover the full range of theory and practice of computer systems.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><em>Congratulations to the authors of \"Verus: A Practical Foundation for Systems Verification\" on winning the Distinguished Artifact Award<\/em>.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:buttons -->\n<div class=\"wp-block-buttons\"><!-- wp:button {\"className\":\"is-style-outline\"} -->\n<div class=\"wp-block-button is-style-outline\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/verus-a-practical-foundation-for-systems-verification\/\">Read the paper<\/a><\/div>\n<!-- \/wp:button --><\/div>\n<!-- \/wp:buttons -->\n\n<!-- wp:paragraph -->\n<p><strong>Program Committee: <\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul class=\"wp-block-list\"><!-- wp:list-item -->\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/daberg\/\">Daniel Berger<\/a><\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lorch\/\">Jay Lorch<\/a><\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jonathanmace\/\">Jonathan Mace<\/a><\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/sidsen\/\">Siddhartha Sen<\/a><\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Tim Harris<\/li>\n<!-- \/wp:list-item --><\/ul>\n<!-- \/wp:list --><\/div><figure class=\"wp-block-media-text__media\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/verus-a-practical-foundation-for-systems-verification\/\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-1024x576.png\" alt=\"Distinguished Artifact Award at SOSP 2024: Verus: A Practical Foundation for Systems Verification\" class=\"wp-image-1101630 size-full\"\/><\/a><\/figure><\/div>\n<!-- \/wp:media-text -->\n\n<!-- wp:media-text {\"mediaId\":1024539,\"mediaLink\":\"https:\/\/www.microsoft.com\/en-us\/research\/event\/iclr-2024\/mrf-24_webimage_1400x788-2\/\",\"mediaType\":\"image\",\"mediaWidth\":40,\"backgroundColor\":\"\",\"hasBorder\":true} -->\n<div class=\"wp-block-media-text is-stacked-on-mobile is-style-border\" style=\"grid-template-columns:40% auto\"><figure class=\"wp-block-media-text__media\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/03\/MRF-24_WebImage_1400x788-1024x576.png\" alt=\"Microsoft Research Forum - abstract with shapes\" class=\"wp-image-1024539 size-full\"\/><\/figure><div class=\"wp-block-media-text__content\"><!-- wp:heading {\"level\":4} -->\n<h4 class=\"wp-block-heading\" id=\"microsoft-research-forum\">Microsoft Research Forum<\/h4>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>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<!-- \/wp:paragraph -->\n\n<!-- wp:buttons -->\n<div class=\"wp-block-buttons\"><!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/researchforum.microsoft.com\/?OCID=msr_researchforum_Accelerator_SOSP24_conference_Webpage\" target=\"_blank\" rel=\"noreferrer noopener\">Register now<\/a><\/div>\n<!-- \/wp:button --><\/div>\n<!-- \/wp:buttons --><\/div><\/div>\n<!-- \/wp:media-text -->\n\n<!-- wp:spacer {\"height\":\"30px\"} -->\n<div style=\"height:30px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n<!-- \/wp:msr\/content-tab -->\n\n<!-- wp:msr\/content-tab {\"title\":\"Booth sessions\"} -->\n<!-- wp:heading -->\n<h2 class=\"wp-block-heading\" id=\"microsoft-booth-schedule\">Microsoft booth schedule<\/h2>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>Stop by our&nbsp;booth&nbsp;to chat with our experts to learn more about&nbsp;our research and our open career opportunities.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:table {\"hasFixedLayout\":false} -->\n<figure class=\"wp-block-table\"><table><thead><tr><th>Date<\/th><th>Time<\/th><th>Session<\/th><th>Researcher(s)<\/th><\/tr><\/thead><tbody><tr><td><strong>Monday, November 4<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Future AI Infrastructure<\/strong><\/td><td><strong>Richard Black<\/strong><br><em>Partner Research Manager, Microsoft Research Cambridge<\/em><br><br><strong>Burcu Canakci<br><\/strong><em>Senior Researcher, Microsoft Research Cambridge<\/em><br><br><strong>Dushyanth Narayanan<br><\/strong><em>Senior Principal Researcher, Microsoft Research Cambridge<\/em><br><br><strong>Ant Rowstron<br><\/strong><em>VP, Distinguished Engineer and Deputy Director, Microsoft Research Cambridge<\/em><br><\/td><\/tr><tr><td><strong>Monday, November 4<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Foundation Models | Generative AI | Learning Agents<\/strong><\/td><td><strong>Siddhartha Sen<\/strong><br><em>Principal Research Manager<\/em>, <em>AI Frontiers<\/em><\/td><\/tr><tr><td><strong>Monday, November 4<\/strong><\/td><td><strong>4:00-4:30pm<\/strong><\/td><td><strong>Cloud platform sustainability and efficiency in Azure<\/strong><\/td><td><strong>Daniel Berger<\/strong><br><em>Principal Researcher, Azure Research<\/em><br><br><strong>Rodrigo Fonseca<\/strong><br><em>Senior Principal Research Manager, Azure Research<\/em><br><\/td><\/tr><tr><td><strong>Monday, November 4<\/strong><\/td><td><strong>4:00-4:30pm<\/strong><\/td><td><strong>Foundation Models | Generative AI | Learning Agents<\/strong><\/td><td><strong>Siddhartha Sen<\/strong><br><em>Principal Research Manager<\/em>, <em>AI Frontiers<\/em><br><\/td><\/tr><tr><td><strong>Monday, November 4<\/strong><\/td><td><strong>4:00-4:30 PM<\/strong><\/td><td><strong>System Foundation for AI Agents<\/strong><\/td><td><strong>Peng Cheng<\/strong><br><em>Senior Principal Research Manager, Microsoft Research Asia<\/em><br><br><strong>Changho Hwang<br><\/strong><em>Senior Researcher, Microsoft Research Asia Vancouver<\/em><br><br><strong>Jay Lorch<\/strong><br><em>Senior Principal Researcher, Microsoft Research Redmond<\/em><br><br><strong>Shan Lu<\/strong><br><em>Senior Principal Research Manager, Microsoft Research Redmond<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Privacy and Security Research<\/strong><\/td><td><strong>Manuel Costa<\/strong><br><em>VP, Distinguished Engineer, Azure Research<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Cloud platform sustainability and efficiency in Azure<\/strong><\/td><td><strong>Daniel Berger<\/strong><br><em>Principal Researcher, Azure Research<\/em><br><br><strong>Rodrigo Fonseca<\/strong><br><em>Senior Principal Research Manager, Azure Research<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Data Systems Research at MSR<\/strong><\/td><td><strong>Kaushik Rajan<br><\/strong><em>Principal Researcher, Microsoft Research Redmond<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>Future AI Infrastructure<\/strong><\/td><td><strong>Burcu Canakci<\/strong><br><em>Senior Researcher, Microsoft Research Cambridge<\/em><br><br><strong>Dushyanth Narayanan<\/strong><br><em>Senior Principal Researcher, Microsoft Research Cambridge<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>3:30-4:00 PM<\/strong><\/td><td><strong>Privacy and Security Research<\/strong><\/td><td><strong>Manuel Costa<\/strong><br><em>VP, Distinguished Engineer, Azure Research<\/em><br><\/td><\/tr><tr><td><strong>Tuesday, November 5<\/strong><\/td><td><strong>3:30-4:00 PM<\/strong><\/td><td><strong>System Research at Microsoft Research Asia<\/strong><\/td><td><strong>Ying Cao<br><\/strong><em>Senior Researcher, Microsoft Research Asia<\/em><br><br><strong>Peng Cheng<\/strong><br><em>Senior Principal Research Manager, Microsoft Research Asia<\/em><br><br><strong>Lingxiao Ma<br><\/strong><em>Senior Researcher, Microsoft Research Asia<\/em><br><\/td><\/tr><tr><td><strong>Wednesday, November 6<\/strong><\/td><td><strong>10:30-11:00 AM<\/strong><\/td><td><strong>System Research at Microsoft Research Asia<\/strong><\/td><td><strong>Ying Cao<br><\/strong><em>Senior Researcher, Microsoft Research Asia<\/em><br><br><strong>Peng Cheng<\/strong><br><em>Senior Principal Research Manager, Microsoft Research Asia<\/em><br><br><strong>Lingxiao Ma<br><\/strong><em>Senior Researcher, Microsoft Research Asia<\/em><\/td><\/tr><\/tbody><\/table><\/figure>\n<!-- \/wp:table -->\n\n<!-- wp:spacer {\"height\":\"25px\"} -->\n<div style=\"height:25px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n<!-- \/wp:msr\/content-tab -->\n\n<!-- wp:msr\/content-tab {\"title\":\"Systems at Microsoft\"} -->\n<!-- wp:heading -->\n<h2 class=\"wp-block-heading\" id=\"systems-research-at-microsoft\">Systems research at Microsoft<\/h2>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>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<!-- \/wp:paragraph -->\n\n<!-- wp:heading {\"level\":4} -->\n<h4 class=\"wp-block-heading\" id=\"microsoft-research\">Microsoft Research<\/h4>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>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<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><strong>Team members attending SOSP 2024:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rjblack\/\">Richard Black<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/burcucanakci\/\">Burcu Canakci<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/yincao\/\">Ying Cao<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/chrishaw\/\">Chris Hawblitzel<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/changhohwang\/\">Changho Hwang<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lorch\/\">Jay Lorch<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shanlu\/\">Shan Lu<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lingm\/\">Lingxiao Ma<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dnarayan\/\">Dushyanth Narayanan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/sumann\/\">Suman Nath<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/krajan\/\">Kaushik Rajan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/antr\/\">Ant Rowstron<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/aashakashah\/\">Aashaka Shah<\/a><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:msr\/cards {\"type\":\"top-highlight\",\"hasTitle\":false} -->\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":930582,\"uuid\":\"b656600e-3fbe-4bcf-8dd9-90603f701cae\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":920058,\"uuid\":\"02b27f14-1ca4-4129-8c61-ea017ec1781d\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"manual\",\"title\":\"Data Systems\",\"url\":\"https:\/\/www.microsoft.com\/en-us\/research\/group\/datasystems\/\"} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"manual\",\"title\":\"Intelligent Networked Systems (INS)\",\"url\":\"https:\/\/www.microsoft.com\/en-us\/research\/group\/ins\/\",\"image\":{\"id\":941898,\"url\":\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2023\/05\/rings-hero-banner-1920x640-1-300x100.jpg\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":569136,\"uuid\":\"7e3374bc-3558-4326-bb5e-6a093454d52e\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":1021704,\"uuid\":\"8f308194-b1c7-4ed3-981b-823d923b6e1e\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":398567,\"uuid\":\"37c12fcb-4b1a-4754-9990-f61136611746\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":881388,\"uuid\":\"86b0dda8-dcd0-494a-af6a-99f6aadc1962\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":144899,\"uuid\":\"2a1d1fd3-0de6-409a-9591-115f77ac7eb9\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":144812,\"uuid\":\"719104ee-901a-4972-a805-c4bc4725ac02\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":144939,\"uuid\":\"17eeabcb-10ed-4d88-96f1-3c33b9b2002c\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":510017,\"uuid\":\"82e34b62-89ba-452a-9684-0cc58864b191\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":144927,\"uuid\":\"b5dcfb02-a4b4-42fe-9766-69399aead9a2\",\"type\":\"msr-group\"}} \/-->\n<!-- \/wp:msr\/cards -->\n\n<!-- wp:heading {\"level\":4} -->\n<h4 class=\"wp-block-heading\" id=\"azure-research\">Azure Research<\/h4>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>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<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><strong>Team members attending SOSP 2024<\/strong>: <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/daberg\/\">Daniel Berger<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/manuelc\/\">Manuel Costa<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rofons\/\">Rodrigo Fonseca<\/a><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:msr\/cards {\"type\":\"top-highlight\",\"hasTitle\":false} -->\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":998211,\"uuid\":\"2337317e-3c9e-43a3-8042-a5cc3dbbc97a\",\"type\":\"msr-group\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":282170,\"uuid\":\"8edccb67-7f46-439e-aaf1-27e833fbad6c\",\"type\":\"msr-group\"}} \/-->\n<!-- \/wp:msr\/cards -->\n\n<!-- wp:heading {\"level\":4} -->\n<h4 class=\"wp-block-heading\" id=\"azure-research\">M365 Research<\/h4>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>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<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><strong>Team members attending SOSP 2024<\/strong>: <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/srbharadwaj\/\">Srikant Bharadwaj<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/saravar\/\">Saravan Rajmohan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/reneestamant\/\">Renee St Amant<\/a><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:msr\/cards {\"type\":\"top-highlight\",\"hasTitle\":false} -->\n<!-- wp:msr\/cards-card {\"type\":\"top-highlight\",\"selection\":\"post\",\"post\":{\"id\":793670,\"uuid\":\"dab866f8-7988-43f8-9af0-27451dfd7390\",\"type\":\"msr-group\"}} \/-->\n<!-- \/wp:msr\/cards -->\n<!-- \/wp:msr\/content-tab -->\n\n<!-- wp:msr\/content-tab {\"title\":\"Highlights\"} -->\n<!-- wp:msr\/cards {\"title\":\"Highlights from Microsoft at SOSP 2024\"} -->\n<!-- wp:msr\/cards-card {\"selection\":\"post\",\"post\":{\"id\":1099821,\"uuid\":\"ece4f2e8-b296-4dbd-a344-cde40c612150\",\"type\":\"post\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"selection\":\"post\",\"post\":{\"id\":1099176,\"uuid\":\"6f65a062-eb71-4543-8bce-c8e1f9eea14a\",\"type\":\"post\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"selection\":\"post\",\"post\":{\"id\":1098390,\"uuid\":\"b5f3b610-6d91-401e-8cc0-49a41c595030\",\"type\":\"post\"}} \/-->\n\n<!-- wp:msr\/cards-card {\"selection\":\"manual\",\"title\":\"Verus: A Practical Foundation for Systems Verification\",\"url\":\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/verus-a-practical-foundation-for-systems-verification\/\",\"image\":{\"id\":1101630,\"url\":\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_ArtifiactAward_1400x788-300x169.png\"}} \/-->\n<!-- \/wp:msr\/cards -->\n<!-- \/wp:msr\/content-tab -->\n<!-- \/wp:msr\/content-tabs -->","tab-content":[],"msr_startdate":"2024-11-04","msr_enddate":"2024-11-06","msr_event_time":"Central Standard Time (UTC -6)","msr_location":"Austin, Texas","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"November 4, 2024","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":"<img width=\"960\" height=\"540\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_header_1920x720-960x540.png\" class=\"img-object-cover\" alt=\"SOSP 2024 event banner\" decoding=\"async\" loading=\"lazy\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_header_1920x720-960x540.png 960w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_header_1920x720-1066x600.png 1066w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_header_1920x720-655x368.png 655w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_header_1920x720-640x360.png 640w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2024\/08\/SOSP_header_1920x720-1280x720.png 1280w\" sizes=\"(max-width: 960px) 100vw, 960px\" \/>","event_excerpt":"Microsoft is proud to be a sponsor of Symposium on Operating Systems Principles (SOSP) (opens in new tab), the world's premier forum for researchers, developers, programmers, and teachers of computer systems technology. Academic and industrial participants present research and experience papers that cover the full range of theory and practice of computer systems. Congratulations to the authors of \"Verus: A Practical Foundation for Systems Verification\" on winning the Distinguished Artifact Award. Program Committee: Join us&hellip;","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[1015836,1078644,1085079,1087425,1091463,1091514,1092108,1097919,1098909],"related-publications":[1068138,1068147,1081740,1082997,1083954,1083963,1083984],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/1073397"}],"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":36,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/1073397\/revisions"}],"predecessor-version":[{"id":1101759,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/1073397\/revisions\/1101759"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/1077318"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=1073397"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=1073397"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=1073397"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=1073397"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=1073397"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=1073397"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=1073397"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=1073397"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=1073397"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}