photo of the Redmond lab building entrance

Microsoft Research Lab – Redmond

新闻与深度文章

GamesBond VR Prototype
微软研究院博客

| Michel Pahud, Mike Sinclair, 和 Andrea Bianchi

Editor’s Note: Bimanual controllers are …

奖项 | Fast Company

This machine monitors mosquitoes to find—and stop—pandemics before they start 

Microsoft’s Premonition platform—a winne…

An animation showing an example of a high-level language message format specified by EverParse. From the message, two arrows labeled “EverParse” point to a rectangle labeled “formal specification” and a rectangle labeled “low-level implementation,” respectively, inside a larger rectangle labeled “F* code.” The figure represents EverParse’s ability to automatically generate safe, correct, and fast F* parsing code. “Correctness” is defined as “Correctness: ​parse (serialize msg) = msg​” and “valid msg ==> serialize (parse msg) = msg​.” The F* logo appears with the description that F* is a type theory–based programming language and proof assistant that can prove theorems about programs​. From the “F* code” rectangle, arrows point from the “low-level implementation” rectangle and a rectangle labeled “verified libraries for combinators” to a rectangle labeled “Safe high-performance C code.”
微软研究院博客

| Tahina Ramananandro, Aseem Rastogi, 和 Nikhil Swamy

EverParse (opens in new tab) is a framew…

新闻报道 | Harvard Business Review

What a Year of WFH Has Done to Our Relationships at Work 

More than a year into the Covid-19 pande…

微软研究院博客

| Sai Vemprala

Editor’s note: This research was conduct…

奖项 | USENIX Conference on File and Storage Technologies (FAST)

Bill Bolosky, John (JD) Douceur, Jay Lorch receive USENIX 2021 Test of Time Award 

Bill Bolosky, John (JD) Douceur, Jay Lor…

新闻报道 | OnMSFT

Microsoft Teams could use AI to analyze people’s expressions during video meetings 

The Microsoft Research Team has develope…

奖项 | IEEE

3 Microsoft researchers elevated to IEEE Fellow for 2021 

Steve Hodges, Ivan Tashev and Tom Zimmer…

diagram
微软研究院博客

| Zeyuan Allen-Zhu 和 Yuanzhi Li

Under now-standard techniques, such as o…