{"id":958641,"date":"2023-09-11T08:44:10","date_gmt":"2023-09-11T15:44:10","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=958641"},"modified":"2023-10-24T10:13:11","modified_gmt":"2023-10-24T17:13:11","slug":"sosp-2023","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/sosp-2023\/","title":{"rendered":"SOSP 2023"},"content":{"rendered":"\n\n\n\n\n

Microsoft is proud to sponsor the 29th<\/sup> ACM Symposium on Operating Systems Principles (opens in new tab)<\/span><\/a> (SOSP 2023), held in Koblenz, Germany from October 23\u201326, 2023. <\/p>\n\n\n\n

Our global ecosystem is comprised of dedicated teams and interdisciplinary experts collaborating on multiple projects that are shaping the future of technology. Our research contributions at SOSP encompass a wide spectrum, from operating systems and cloud computing to mobile and edge systems. <\/p>\n\n\n\n

Additional topics include secure and reliable systems, systems aspects of big data and ML, embedded and real-time systems, virtualization, and managing and troubleshooting complex systems, to name a few.  <\/p>\n\n\n\n

View our booth schedule on the next tab and stop by the Microsoft booth to learn more about our work and meet members of our research teams. <\/p>\n\n\n\n

General Chair<\/strong><\/p>\n\n\n\n

Jonathan Mace<\/a><\/p>\n\n\n\n

DEI Chair<\/strong><\/p>\n\n\n\n

Irene Zhang<\/a><\/p>\n\n\n\n

Program Committee<\/strong><\/p>\n\n\n\n

Shan Lu, Jonathan Mace<\/a>, Lidong Zhou<\/a><\/p>\n\n\n\n

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

Microsoft Booth Schedule at SOSP<\/h2>\n\n\n\n

Talk to our experts and learn more about our research and open opportunities.<\/p>\n\n\n\n

Tuesday, October 24<\/h3>\n\n\n\n

10:30-11:00 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Quanlu Zhang<\/td>ML Systems<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr>
Qi Chen<\/td>Vector store, ML Systems<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

15:30-16:00 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Ioan Stefanovici<\/td>Cloud systems and storage, Machine Learning<\/td>Principal Research Manager<\/td>Project Silica Demo<\/td><\/tr>
Burcu Canakci<\/td>Cloud systems and storage<\/td>Senior Researcher<\/td>Project Silica Demo<\/td><\/tr>
Richard Black<\/td>Cloud systems and storage<\/td>Sr. Principal Research Manager<\/td>Project Silica Demo<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Wednesday, October 25<\/h3>\n\n\n\n

10:00-10:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Richard Black<\/td>Cloud systems and storage<\/td>Sr. Principal Research Manager<\/td>Project Silica<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

13:00-13:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Burcu Canakci<\/td>Cloud systems and storage<\/td>Senior Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

14:30-15:00 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Ioan Stefanovici<\/td>Cloud systems and storage, Machine Learning<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr>
Sergey Legtchenko<\/td>Cloud systems and storage<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

16:30-17:00 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Quanlu Zhang<\/td>ML Systems<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr>
Qi Chen<\/td>Vector store, ML Systems<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Thursday, October 26<\/h3>\n\n\n\n

10:00-10:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Jonathan Mace<\/td>Cloud Systems Reliability Group<\/td>Senior Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n\n\n

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

Microsoft systems research spans cloud sustainability, hardware innovation, robust security and privacy, and beyond. Learn more about our system groups, current projects, long-term initiatives, and cutting-edge tools across our global ecosystem. <\/p>\n\n\n\n

AI Infrastructure <\/h2>\n\n\n\n

The AI Infrastructure group at Microsoft Research Vancouver, BC, lays the foundation for systems, networking, and infrastructure essential to the future of the cloud and AI. They drive innovation by co-evolving AI and infrastructure through continuous feedback. This new group collaborates with the Azure team to realize ambitious objectives and welcomes candidates passionate about advancing AI-centric systems. <\/p>\n\n\n\n

Team member at SOSP: Qi Chen<\/a> <\/p>\n\n\n\n

AI Systems<\/h2>\n\n\n\n

At Microsoft Research in Redmond, WA, research teams pioneer AI systems that are safe, efficient, reliable, programmable, scalable, secure, privacy-preserving, and fault tolerant. The work spans novel hardware and interconnects, efficient compute and communication infrastructure, whole-system compilation, optimization, and orchestration. Research directly impacts training, serving state-of-the-art large ML models and their applications at Microsoft, such as GitHub Copilot.<\/p>\n\n\n\n

Research in Software Engineering (RiSE) (opens in new tab)<\/span><\/a><\/p>\n\n\n\n

Systems Research Group \u2013 Redmond (opens in new tab)<\/span><\/a><\/p>\n\n\n\n

Azure for Operators (AFO) Research<\/h2>\n\n\n\n

As former systems & networking researchers and engineers at Microsoft Research, they are now the Office of the CTO team in Azure for Operators (AFO OCTO). They are building research & technology in distributed systems, mobile systems, network verification, security, wide-area networking, and wireless networking to bring the power of the cloud to the 5G telecommunications industry.<\/p>\n\n\n\n

Azure for Operators (AFO) Research<\/a><\/p>\n\n\n\n

Azure Security and Privacy Research Group <\/h2>\n\n\n\n

This group tackles public cloud security and privacy in Azure. Their pioneering work influences Microsoft products, industry vendors, and services. They focus on secure distributed computing, privacy-preserving ML, secure hardware, software security, and verified security\/cryptography.<\/p>\n\n\n\n

Azure Research (opens in new tab)<\/span><\/a> <\/p>\n\n\n\n

Azure Systems Research<\/h2>\n\n\n\n

This group drives cutting-edge systems research in Azure. They focus on enhancing cost efficiency across Microsoft’s online services and datacenters. Projects include power management, sustainability, resource optimization, disaggregation, next-generation cloud platforms, and AI-driven systems.\u202f<\/p>\n\n\n\n

Azure Systems Research (opens in new tab)<\/span><\/a><\/p>\n\n\n\n

Datacenter Performance and Efficiency<\/h2>\n\n\n\n

At Microsoft Research in Redmond, WA, research teams are devoted to advancing the performance and efficiency of cloud and operating systems. Some of their research projects include Demikernel datacenter OS, new programmable hardware and accelerators in datacenter systems, optimizing serverless infrastructure, power management and sustainability, VM allocation and resource harvesting, and disaggregation and oversubscription. In addition to system innovations, the team also designs new scalable algorithms. Many of these algorithms use ML in real-time to increase efficiency further. <\/p>\n\n\n\n

Cloud Operations Research (CORE) (opens in new tab)<\/span><\/a> <\/p>\n\n\n\n

Systems Research Group \u2013 Redmond (opens in new tab)<\/span><\/a> <\/p>\n\n\n\n

Networking Research Group (opens in new tab)<\/span><\/a> <\/p>\n\n\n\n

Team member at SOSP: Irene Zhang <\/p>\n\n\n\n

Microsoft Research @ 198<\/h2>\n\n\n\n

Microsoft Research @ 198, located in Cambridge, UK, is committed to creating a sustainable cloud for the future. The team\u2019s interdisciplinary experts in systems, optics, AI, and engineering reimagine cloud storage, computation, and networking. Projects include sustainable storage, optical optimization, and innovations in datacenter technology, robotics, and AI-driven design solutions. <\/p>\n\n\n\n

Cloud Systems Futures (opens in new tab)<\/span><\/a> <\/p>\n\n\n\n

Team members at SOSP: Ant Rowstron<\/a>, Burcu Canakci<\/a>, Ioan Stefanovici<\/a>, Miguel Castro<\/a>, Richard Black<\/a>, Sergey Legtchenko<\/a> <\/p>\n\n\n\n

Systems and Networking Research Group\u202f<\/h2>\n\n\n\n

Located in Microsoft Research Asia, this group has a rich history of designing, building, and optimizing systems and tools that drive Microsoft’s internal infrastructure and external services. The group collaborates with other teams to develop next-generation technologies, advancing both academia and industry.\u202f<\/p>\n\n\n\n

Systems and Networking Research Group (Asia)<\/a><\/p>\n\n\n\n

Shanghai System and Engineering Group (opens in new tab)<\/span><\/a>\u202f<\/p>\n\n\n\n

Team member at SOSP: Quanlu Zhang<\/a> <\/p>\n\n\n\n

Systems at Microsoft Research India <\/h2>\n\n\n\n

Microsoft Research India is an interdisciplinary team with expertise in programming languages, networking, distributed systems, cryptography, privacy and security. They are currently interested in candidates working at the intersection of AI\/ML and systems to augment efforts in optimizing AI infrastructure and improving efficiency of AI\/ML training and inference workloads. <\/p>\n\n\n\n

Systems | India (opens in new tab)<\/span><\/a><\/p>\n\n\n\n

Systems Reliability and Security<\/h2>\n\n\n\n

At Microsoft Research in Redmond, WA, researchers come together to focus on systems reliability and security. Their goal is to develop tools for system developers to verify and secure protocols, debug, test, and enhance system reliability. Research combines distributed systems, networking, programming languages, software engineering, and ML techniques. They focus on safeguarding real-world systems, services, and sensitive data with recent work in confidential computing, zero-knowledge proof systems, and identity management.\u202f<\/p>\n\n\n\n

Cloud Systems Reliability \u2013 Redmond (opens in new tab)<\/span><\/a>\u202f<\/p>\n\n\n\n

CRYSP – Cryptography, Security, and Privacy (opens in new tab)<\/span><\/a> <\/p>\n\n\n\n

Team member at SOSP: Jonathan Mace<\/a><\/p>\n\n\n","protected":false},"excerpt":{"rendered":"

Microsoft is proud to sponsor the 29th ACM Symposium on Operating Systems Principles (opens in new tab) (SOSP 2023), held in Koblenz, Germany from October 23\u201326, 2023.  Our global ecosystem is comprised of dedicated teams and interdisciplinary experts collaborating on multiple projects that are shaping the future of technology. Our research contributions at SOSP encompass […]<\/p>\n","protected":false},"featured_media":967035,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"msr_startdate":"2023-10-23","msr_enddate":"2023-10-26","msr_location":"Koblenz, Germany","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"Central European Summer Time (UTC +2) ","msr_hide_region":false,"msr_private_event":false,"footnotes":""},"research-area":[13560,13547],"msr-region":[239178],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-958641","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-programming-languages-software-engineering","msr-research-area-systems-and-networking","msr-region-europe","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"\n\n\n\n\n

Microsoft is proud to sponsor the 29th<\/sup> ACM Symposium on Operating Systems Principles<\/a> (SOSP 2023), held in Koblenz, Germany from October 23\u201326, 2023. <\/p>\n\n\n\n

Our global ecosystem is comprised of dedicated teams and interdisciplinary experts collaborating on multiple projects that are shaping the future of technology. Our research contributions at SOSP encompass a wide spectrum, from operating systems and cloud computing to mobile and edge systems. <\/p>\n\n\n\n

Additional topics include secure and reliable systems, systems aspects of big data and ML, embedded and real-time systems, virtualization, and managing and troubleshooting complex systems, to name a few.  <\/p>\n\n\n\n

View our booth schedule on the next tab and stop by the Microsoft booth to learn more about our work and meet members of our research teams. <\/p>\n\n\n\n

General Chair<\/strong><\/p>\n\n\n\n

Jonathan Mace<\/a><\/p>\n\n\n\n

DEI Chair<\/strong><\/p>\n\n\n\n

Irene Zhang<\/a><\/p>\n\n\n\n

Program Committee<\/strong><\/p>\n\n\n\n

Shan Lu, Jonathan Mace<\/a>, Lidong Zhou<\/a><\/p>\n\n\n\n

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

Microsoft Booth Schedule at SOSP<\/h2>\n\n\n\n

Talk to our experts and learn more about our research and open opportunities.<\/p>\n\n\n\n

Tuesday, October 24<\/h3>\n\n\n\n

10:30-11:00 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Quanlu Zhang<\/td>ML Systems<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr>
Qi Chen<\/td>Vector store, ML Systems<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

15:30-16:00 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Ioan Stefanovici<\/td>Cloud systems and storage, Machine Learning<\/td>Principal Research Manager<\/td>Project Silica Demo<\/td><\/tr>
Burcu Canakci<\/td>Cloud systems and storage<\/td>Senior Researcher<\/td>Project Silica Demo<\/td><\/tr>
Richard Black<\/td>Cloud systems and storage<\/td>Sr. Principal Research Manager<\/td>Project Silica Demo<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Wednesday, October 25<\/h3>\n\n\n\n

10:00-10:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Richard Black<\/td>Cloud systems and storage<\/td>Sr. Principal Research Manager<\/td>Project Silica<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

13:00-13:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Burcu Canakci<\/td>Cloud systems and storage<\/td>Senior Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

14:30-15:00 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Ioan Stefanovici<\/td>Cloud systems and storage, Machine Learning<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr>
Sergey Legtchenko<\/td>Cloud systems and storage<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

16:30-17:00 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Quanlu Zhang<\/td>ML Systems<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr>
Qi Chen<\/td>Vector store, ML Systems<\/td>Principal Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Thursday, October 26<\/h3>\n\n\n\n

10:00-10:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Research focus<\/strong><\/th>Title<\/strong><\/th>Session title<\/strong><\/th><\/tr><\/thead>
Jonathan Mace<\/td>Cloud Systems Reliability Group<\/td>Senior Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n\n\n

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

Microsoft systems research spans cloud sustainability, hardware innovation, robust security and privacy, and beyond. Learn more about our system groups, current projects, long-term initiatives, and cutting-edge tools across our global ecosystem. <\/p>\n\n\n\n

AI Infrastructure <\/h2>\n\n\n\n

The AI Infrastructure group at Microsoft Research Vancouver, BC, lays the foundation for systems, networking, and infrastructure essential to the future of the cloud and AI. They drive innovation by co-evolving AI and infrastructure through continuous feedback. This new group collaborates with the Azure team to realize ambitious objectives and welcomes candidates passionate about advancing AI-centric systems. <\/p>\n\n\n\n

Team member at SOSP: Qi Chen<\/a> <\/p>\n\n\n\n

AI Systems<\/h2>\n\n\n\n

At Microsoft Research in Redmond, WA, research teams pioneer AI systems that are safe, efficient, reliable, programmable, scalable, secure, privacy-preserving, and fault tolerant. The work spans novel hardware and interconnects, efficient compute and communication infrastructure, whole-system compilation, optimization, and orchestration. Research directly impacts training, serving state-of-the-art large ML models and their applications at Microsoft, such as GitHub Copilot.<\/p>\n\n\n\n

Research in Software Engineering (RiSE)<\/a><\/p>\n\n\n\n

Systems Research Group \u2013 Redmond<\/a><\/p>\n\n\n\n

Azure for Operators (AFO) Research<\/h2>\n\n\n\n

As former systems & networking researchers and engineers at Microsoft Research, they are now the Office of the CTO team in Azure for Operators (AFO OCTO). They are building research & technology in distributed systems, mobile systems, network verification, security, wide-area networking, and wireless networking to bring the power of the cloud to the 5G telecommunications industry.<\/p>\n\n\n\n

Azure for Operators (AFO) Research<\/a><\/p>\n\n\n\n

Azure Security and Privacy Research Group <\/h2>\n\n\n\n

This group tackles public cloud security and privacy in Azure. Their pioneering work influences Microsoft products, industry vendors, and services. They focus on secure distributed computing, privacy-preserving ML, secure hardware, software security, and verified security\/cryptography.<\/p>\n\n\n\n

Azure Research<\/a> <\/p>\n\n\n\n

Azure Systems Research<\/h2>\n\n\n\n

This group drives cutting-edge systems research in Azure. They focus on enhancing cost efficiency across Microsoft's online services and datacenters. Projects include power management, sustainability, resource optimization, disaggregation, next-generation cloud platforms, and AI-driven systems.\u202f<\/p>\n\n\n\n

Azure Systems Research<\/a><\/p>\n\n\n\n

Datacenter Performance and Efficiency<\/h2>\n\n\n\n

At Microsoft Research in Redmond, WA, research teams are devoted to advancing the performance and efficiency of cloud and operating systems. Some of their research projects include Demikernel datacenter OS, new programmable hardware and accelerators in datacenter systems, optimizing serverless infrastructure, power management and sustainability, VM allocation and resource harvesting, and disaggregation and oversubscription. In addition to system innovations, the team also designs new scalable algorithms. Many of these algorithms use ML in real-time to increase efficiency further. <\/p>\n\n\n\n

Cloud Operations Research (CORE)<\/a> <\/p>\n\n\n\n

Systems Research Group \u2013 Redmond<\/a> <\/p>\n\n\n\n

Networking Research Group<\/a> <\/p>\n\n\n\n

Team member at SOSP: Irene Zhang <\/p>\n\n\n\n

Microsoft Research @ 198<\/h2>\n\n\n\n

Microsoft Research @ 198, located in Cambridge, UK, is committed to creating a sustainable cloud for the future. The team\u2019s interdisciplinary experts in systems, optics, AI, and engineering reimagine cloud storage, computation, and networking. Projects include sustainable storage, optical optimization, and innovations in datacenter technology, robotics, and AI-driven design solutions. <\/p>\n\n\n\n

Cloud Systems Futures<\/a> <\/p>\n\n\n\n

Team members at SOSP: Ant Rowstron<\/a>, Burcu Canakci<\/a>, Ioan Stefanovici<\/a>, Miguel Castro<\/a>, Richard Black<\/a>, Sergey Legtchenko<\/a> <\/p>\n\n\n\n

Systems and Networking Research Group\u202f<\/h2>\n\n\n\n

Located in Microsoft Research Asia, this group has a rich history of designing, building, and optimizing systems and tools that drive Microsoft's internal infrastructure and external services. The group collaborates with other teams to develop next-generation technologies, advancing both academia and industry.\u202f<\/p>\n\n\n\n

Systems and Networking Research Group (Asia)<\/a><\/p>\n\n\n\n

Shanghai System and Engineering Group<\/a>\u202f<\/p>\n\n\n\n

Team member at SOSP: Quanlu Zhang<\/a> <\/p>\n\n\n\n

Systems at Microsoft Research India <\/h2>\n\n\n\n

Microsoft Research India is an interdisciplinary team with expertise in programming languages, networking, distributed systems, cryptography, privacy and security. They are currently interested in candidates working at the intersection of AI\/ML and systems to augment efforts in optimizing AI infrastructure and improving efficiency of AI\/ML training and inference workloads. <\/p>\n\n\n\n

Systems | India<\/a><\/p>\n\n\n\n

Systems Reliability and Security<\/h2>\n\n\n\n

At Microsoft Research in Redmond, WA, researchers come together to focus on systems reliability and security. Their goal is to develop tools for system developers to verify and secure protocols, debug, test, and enhance system reliability. Research combines distributed systems, networking, programming languages, software engineering, and ML techniques. They focus on safeguarding real-world systems, services, and sensitive data with recent work in confidential computing, zero-knowledge proof systems, and identity management.\u202f<\/p>\n\n\n\n

Cloud Systems Reliability \u2013 Redmond<\/a>\u202f<\/p>\n\n\n\n

CRYSP - Cryptography, Security, and Privacy<\/a> <\/p>\n\n\n\n

Team member at SOSP: Jonathan Mace<\/a><\/p>\n\n\n","tab-content":[],"msr_startdate":"2023-10-23","msr_enddate":"2023-10-26","msr_event_time":"Central European Summer Time (UTC +2)","msr_location":"Koblenz, Germany","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"October 23, 2023","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":"\"abstract","event_excerpt":"Microsoft is proud to sponsor the 29th ACM Symposium on Operating Systems Principles (opens in new tab) (SOSP 2023), held in Koblenz, Germany from October 23\u201326, 2023.  Our global ecosystem is comprised of dedicated teams and interdisciplinary experts collaborating on multiple projects that are shaping the future of technology. Our research contributions at SOSP encompass a wide spectrum, from operating systems and cloud computing to mobile and edge systems.  Additional topics include secure and reliable…","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[968490,970014,977703,955587,962919,967023,968400,968427],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/958641"}],"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":37,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/958641\/revisions"}],"predecessor-version":[{"id":978945,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/958641\/revisions\/978945"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/967035"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=958641"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=958641"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=958641"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=958641"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=958641"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=958641"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=958641"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=958641"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=958641"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}