Microsoft Research Lab – Redmond
News & features
In the news | Analytics India Magazine
Top 10 AI Innovations Of 2021 So Far
Listed as one of the top 10 AI innovations of 2021 by Analytics India Magazine, Microsoft’s FLAML is a python package that can tell us the best-fit ML model for low computation. It helps eliminate the manual process of choosing…
New Future of Work: Redefining workspaces as hybrid and remote work become more prevalent with Jaime Teevan and Ginger Hudson
In this episode of The New Future of Work series, Chief Scientist Jaime Teevan and Principal User Research Manager Ginger Hudson share how people evolved their home office setups throughout the COVID-19 pandemic, and they explore how information workers used…
New Future of Work: Managing IT and security in remote scenarios with Jaime Teevan and Matt Brodsky
In this episode of the podcast, Chief Scientist Jaime Teevan and Senior User Research Manager Matt Brodsky examine how the level of IT support available during the shift, including the ability to provide hardware and software, made the difference between laying…
In the news | Quanta Magazine
Proof Assistant Makes Jump to Big-League Math
Computer proof assistants have been an intriguing subplot in mathematics for years — promising to automate core aspects of the way mathematicians work, but in practice having little effect on the field. But a new result, completed in early June,…
The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. In this nomination, CAV proposed to recognize contributors whose pioneering works laid the groundwork for the theory and practice of SMT. …
Project Arno: How Microsoft Research created the technology and industry momentum for Azure to empower telecom operators in the cloud
| Yongguang Zhang and Bozidar Radunovic
Editor’s note: In recent years, telecommunications operators have faced a growing challenge to meet surging global demand for immersive online services and collaboration tools. Upgrading their proprietary networks to prepare for 5G and beyond would require major capital expenditures, even…
In the news | Microsoft Azure Blog
How cloud computing can improve 5G wireless networks
A great deal has been written about the technologies fueling 5G, especially how those technologies will improve the experience that users have regarding connectivity. Similarly, much has been said about how ongoing developments in technology will usher in a new…
Awards | ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Christian Bird, Brendan Murphy receive the Test of Time Award for ESEC/FSE 2021
Christian Bird, Brendan Murphy received the Test of Time Award for ESEC/FSE (opens in new tab) 2021 for their 2011 paper, Don’t Touch My Code! Examining the Effects of Ownership on Software Quality. The Test of Time Award is given…
New Future of Work: How developer collaboration and productivity are changing in a hybrid work model
In this episode of The New Future of Work series, Chief Scientist Jaime Teevan and Principal Productivity Engineer Brian Houck discuss what the massive shift to remote work meant for developers—both employees of Microsoft and customers using Microsoft developer platforms…