Microsoft Research Lab – Redmond
News & features
Awards | ACM SIGOPS
Anuj Kalia receives Dennis M. Ritchie Doctoral Dissertation Honorable Mention Award
Anuj Kalia received “Honorable Mention” for the Dennis M. Ritchie Doctoral Dissertation Award for his Doctoral research thesis, Efficient Remote Procedure Calls for Datacenters. The award recognizes research in software systems and encourages the creativity that Dennis Ritchie embodied, providing…
Awards | The Multikernel: A New OS Architecture for Scalable Multicore Systems
Andrew Baumann SIGOPS Hall of Fame Award 2020
Andrew Baumann was awarded the 2020 SIGOPS Hall of Fame Award for his paper published with his colleagues, The Multikernel: A new OS architecture for scalable multicore systems, published in the SOSP ’09: Proceedings of the ACM SIGOPS 22nd symposium…
Awards | USENIX OSDI 2020
Jay Lepreau Best Paper Award at OSDI 2020
Our paper titled “Byzantine Ordered Consensus without Byzantine Oligarchy” won the Jay Lepreau Best Paper Award at the 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI) conference.
In the news | Wired
The Effort to Build the Mathematical Library of the Future
Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean. It’s a “proof assistant” that, in principle,…
Awards | 23rd ACM Conference on Computer-Supported Cooperative Work and Social Computing
Kori Inkpen receives 2020 Lasting impact Award at CSCW
The Lasting Impact Award goes to a paper that is at least 10 years old and has had an impact on CSCW as a field. Nominations are taken from the community, and the decision is made by a committee of…
Awards | Muse: Multi-query Event Trend Aggregation
Best short paper award in CIKM’20
In the news | SearchEngineLand
Bing applies AI and natural language models to autosuggest, People Also Ask
Bing is now using natural language generation models (models that generate text) to improve its autosuggest and People Also Ask (PAA) features, the company announced Wednesday. It is also expanding the use of natural language representation models to extend its…
In the news | VentureBeat
Microsoft details how it improved Bing’s autosuggest recommendations with AI
Earlier in the year, Microsoft detailed the ways Bing has benefited from AI at Scale, an initiative to apply large-scale AI and supercomputing to language processing across Microsoft’s apps, services, and managed products. AI at Scale chiefly bolstered the search…
In the news | Bing Blogs
Introducing the next wave of AI at Scale innovations in Bing
Bing users around the globe perform hundreds of millions of search queries every day. These queries are diverse in many ways, from the intent the users are seeking to fulfill, to the languages and regions where these queries are issued.…