| Tong Wang, Yatao Li, Ran Bi, Haiguang Liu, and Tao Qin
Microsoft Research’s AI2BMD, an AI-based system that efficiently simulates a wide range of proteins in all-atom resolution, can advance drug discovery and biomolecular research.
| Amber Tingle, Chris Hawblitzel, and Jay Lorch
Researchers Chris Hawblitzel and Jay Lorch share how progress in programming languages and verification approaches are bringing bug-free software within reach. Their work on the Rust verification tool Verus won the Distinguished Artifact Award at SOSP ’24.
By Adam Fourney, Principal Researcher; Gagan Bansal, Senior Researcher; Hussein Mozannar, Senior Researcher; Victor Dibia, Principal Research Software Engineer; Saleema Amershi, Partner Research Manager Contributors: Adam Fourney, Gagan Bansal, Hussein Mozannar, Cheng Tan, Eduardo Salinas, Erkang (Eric) Zhu, Friederike Niedtner,…
| Gretchen Huizinga, Shan Lu, and 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.
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.
| Peeyush Kumar
When augmented with AI, small power grids can create opportunities for decentralized, equitable, and resilient power. Microsoft’s collaboration shows AI’s potential to optimize energy distribution and empower communities.
New Research | FLASH: Workflow automation agent for diagnosing recurring incidents; METAREFLECTION: Learning instructions for language agents using past reflections; Boosting LLM training efficiency through faster communication between GPUs; and more.
In the news | Microsoft
Through our Accelerating Foundation Models Research program, we’ve made grants to hundreds of projects in AI safety and alignment research, AI-driven scientific discovery, and beneficial applications of AI. And we launched our Global Perspectives Responsible AI Fellowship program, designed to…
| Julian Whiting, Zachary Hills, Alonso Guevara Fernández, Ha Trinh, Adam Bradley, and Jonathan Larson
GraphRAG leverages semantic structuring of data to generate responses to complex user queries. A collaboration with Uncharted expands the frontiers of this technology, developing a new approach to processing local queries: DRIFT search.