News & features
Hunting speculative information leaks with Revizor
| Boris Köpf and Oleksii Oleksenko
Spectre and Meltdown are two security vulnerabilities that affect the vast majority of CPUs in use today. CPUs, or central processing units, act as the brains of a computer, directing the functions of its other components. By targeting a feature…
Research Focus: Week of April 10, 2023
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. To improve the utilization of computing resources, cloud providers often offer underutilized capacity…
Research Focus: Week of February 6, 2023
Welcome to Research Focus, a new series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. In the latest episode of Behind the Tech, Microsoft CTO Kevin Scott…
Awards | Views: Compositional reasoning for concurrent programs
Views paper wins “Most Influential POPL 2013 paper”
In the news | Data Center Dynamics
Issue 46 – The Last Data Center
Long-term data storage enters a new epoch. What will remain of the human race? We don’t know how long our species will survive, and even if we can hold on for thousands more tears it is not clear that the…
Research Focus: Week of October 24, 2022
Welcome to Research Focus, a new series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Microsoft is thrilled to announce the 2022 Microsoft Research Global PhD Fellows…
AI Models vs. AI Systems: Understanding Units of Performance Assessment
| Anja Thieme and Cecily Morrison
As AI becomes more deeply integrated into every aspect of our lives, it is essential that AI systems perform appropriately for their intended use. We know AI models can never be perfect, so how do we decide when AI performance…
Confidential Containers: Verifiably secure computation in the cloud
| Sean T. Allen
For many organizations, trusting their data to the cloud requires having a complete understanding of and control over the environment in which that data resides and how it’s being processed. Microsoft understands this, and we are committed to building a…
In the news | Microsoft AI Blog
Online math tutoring service uses AI to help boost students’ skills and confidence
Online math tutoring service uses AI to help boost students’ skills and confidence – The AI Blog (microsoft.com) highlights the use of causal ML models developed by researchers at the Microsoft Research Cambridge Lab by a UK-based online tutoring service,…