Microsoft Research Lab – Redmond
News & features
Awards | ACM SIGHPC and IEEE TCHPC
Karin Strauss awarded SC2020 Test of Time Award at SC2020
Karin Strauss and many co-authors received the SuperComputing 2020 Test of Time Award for their paper An Overview of the BlueGene/L Supercomputer. This BlueGene/L project (opens in new tab) was the top computer on the Top500 supercomputer list for a…
Awards | ACM
DeLine, Hinckley and Ringel-Morris receive Lasting Impact Award at Interactive Surfaces and Spaces 2020
The Lasting Impact Award at Interactive Surfaces and Spaces (ISS) 2020 goes to a paper that is at least 10 years old and has had an impact on ISS as a field. The 2020 Lasting Impact Award was awarded to Rob…
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…