Systems Research Group – Redmond
뉴스 & 기능
Ideas: Bug hunting with Shan Lu
| Gretchen Huizinga 그리고 Shan Lu
Struggles with programming languages helped research manager Shan Lu find her calling as a bug hunter. She discusses one bug that really haunted her, the thousands she’s identified since, and how she’s turning to LLMs to help make software more…
Abstracts: November 4, 2024
| Gretchen Huizinga, Shan Lu, 그리고 Bogdan Stoica
In their 2024 SOSP paper, researchers explore a common—though often undertested—software system issue: retry bugs. Research manager Shan Lu and PhD candidate Bogdan Stoica share how they’re combining traditional program analysis and LLMs to address the challenge.
Microsoft at SOSP 2024: Innovations in systems research
Building resilient systems, scaling deep learning computation, and reproducing failures in production are just some of the ways Microsoft researchers are advancing the state of the art in computer systems research at SOSP 2024.
Using AI for tiered cloud platform operation
| Rodrigo Fonseca, Pedro Las-Casas, Alok Kumbhare, 그리고 Ricardo Bianchini
Cloud Intelligence/AIOps research from Microsoft could help organizations autonomously manage the entire cloud platform. Find out how.
Microsoft at ICALP 2023: Deploying cloud capacity robustly against power failures
| Konstantina Mellou, Marco Molinaro, 그리고 Rudy Zhou
Efficiency is vital in the face of escalating demand for cloud resources. And efficient power management strategies address the bottleneck of power availability in datacenters. Learn how we optimize power allocation to support sustainable resource usage.
The brave new world of cloud-scale systems and networking with Dr. Lidong Zhou
If you’re like me, you’re no longer amazed by how all your technologies can work for you. Rather, you’ve begun to take for granted that they simply should work for you. Instantly. All together. All the time. The fact that…
Project Everest: Reaching greater heights in internet communication security
Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the verification tools and techniques the Everest team is using and…
Brokering Peace Talks in the Networking and Storage Arms Race with Dr. Anirudh Badam
Episode 15, March 7, 2018 – Dr. Badam discusses the historic trade-offs between volatile and non-volatile memory, shares how software-defined batteries are changing the power-supply landscape, talks about how his research is aiming for the trifecta of speed, cost and…
Eight computer scientists at Microsoft research labs around the world have been honored as Fellows of the Association of Computing Machinery, the world’s largest computing society. The honors recognize the individuals’ significant contributions and impact to computer science across a range…