photo of the Redmond lab building entrance

Microsoft Research Lab – Redmond

ニュース&特集

ニュース | MSR Tech Minutes: Future of Haptics in Virtual Reality

MSR Tech Minutes: Future of Haptics in Virtual Reality 

Rendering haptics, or touch-sensing, in …

アワード | ACM – SOSP

Daniel Berger receives SOSP 2021 Best Paper Award 

Daniel Berger’s paper, Kangaroo: Caching…

Graphic shows abstract image of 3D shape and text displays
Microsoft Research ブログ

| Ashley Llorens

For 30 years, Microsoft Research has bro…

アワード | X-Rings: A Hand-mounted 360 Degree Shape Display for Grasping in Virtual Reality

Best Paper: Honorable Mention Paper, UIST 2021 

ニュース | MSPoweruser

Microsoft Research shows off AirConstellations for the Ultimate Flexible Workstation 

Microsoft Research has shown off a new t…

ニュース | Paul G. Allen School News

A snapshot of the future: Computing goes molecular with DNA-based similarity search from University of Washington and Microsoft researchers 

Picture this: You are a researcher in th…

ニュース | Anyscale Blog

Fast AutoML with FLAML + Ray Tune 

FLAML is a lightweight Python library fr…

Portraits of Microsoft researchers Sid Suri and Jaime Teevan photographed in black and white. Both smile and look forward. Teevan, on the right, is holding a cell phone in the lower right of the frame.
Microsoft Research ポッドキャスト

In this episode of The New Future of Wor…

An illustration of resolving a bad merge into a safe merge. Moving from left to right, circles on a continuous line represent code commits in a version control system. A circle labeled “Base” is the most common ancestor of the commits marked A and B, respectively. All three commits pass the project’s quality gates, denoted by green check marks alongside each of these commits. The subsequent merge results in a failure of some quality gate, denoted by a blue circle labeled “Bad merge” with a red x above it. The repair uses machine learning, denoted by an abstract image of a neural network, and program verification and synthesis, denoted by a formal inference rule containing math symbols, to construct a safe merge that passes the quality gate, denoted by a circle outlined in green with a green check mark above it.   
Microsoft Research ブログ

| Shuvendu Lahiri

Since the computing world began embracin…