Outlined illustrations of Chris Hawblitzel and Jay Lorch for the Microsoft Research Podcast, Abstracts series.
Microsoft Research Podcast

| 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.

An abstract image of the Magentic-One multi-agent team shown as a hierarchy of agents with the top node showing a gear icon to represent the Orchestrator agent, and four leaf nodes with icons representing the Coder, Computer Terminal, Web Surfer, FIle Surfer agents, respectively. The image shows a title with the text "Magentic-One: A Generalist Multi-Agent System for Solving Complex Tasks".
Articles

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,…

Outlined illustrations of Shan Lu and Bogdan Stoica for the Microsoft Research Podcast.
Microsoft Research Podcast

| 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.

SOSP 2024 on a blue and green gradient background
Microsoft Research Blog

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.

Three icons that represent (left to right) ecology and environment, economics, and technology for emerging markets.
Microsoft Research Blog

| 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.

background pattern
Microsoft Research Blog

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…

Three icons that represent (left to right) search, GraphRAG, and the globe.
Microsoft Research Blog

| 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.

Articles

编者按：生成式基座模型（Generative Foundation Model）已成功应用在多个领域，并塑造了全新的生产范式。将这一范式与行业特有数据结合，有望构建具有行业特色的生成式基座模型。对此，微软亚洲研究院从金融场景出发，设计了大市场模型 LMM 和金融市场模拟引擎 MarS，希望帮助金融研究人员为不同场景定制生成式模型，并且构建适用于金融市场所有下游任务的生成式基座模型应用新范式，为金融...