Microsoft Research Lab – Redmond
News & features
AIOpsLab: Building AI agents for autonomous clouds
| Minghua Ma, Gagan Somashekar, Rujia Wang, Chetan Bansal, and Saravan Rajmohan
AIOpsLab is an open-source framework designed to evaluate and improve AI agents for cloud operations, offering standardized, scalable benchmarks for real-world testing, enhancing cloud system reliability.
Ideas: AI and democracy with Madeleine Daepp and Robert Osazuwa Ness
| Ginny Badanes, Madeleine Daepp, and Robert Osazuwa Ness
As the “biggest election year in history” comes to an end, researchers Madeleine Daepp and Robert Osazuwa Ness and Democracy Forward GM Ginny Badanes discuss AI’s impact on democracy, including Daepp and Ness’s research into the tech’s use in Taiwan…
Research Focus: Week of December 16, 2024
NeoMem: hardware/software co-design for CXL-native memory tiering; Chimera: accurate retrosynthesis prediction by ensembling models with diverse inductive biases; GA4GH task execution API enables multicloud task execution.
Awards | ACM MobiCom
ACM MobiCom Best Community Paper Award
CosMAC won the Best Community Paper Award at ACM MobiCom 2024!
Ideas: The journey to DNA data storage
| Karin Strauss, Bichlien Nguyen, Jake Smith, and Sergey Yekhanin
Research manager Karin Strauss and members of the DNA Data Storage Project reflect on the path to developing a synthetic DNA–based system for archival data storage, including the recent open-source release of its most powerful algorithm for DNA error correction.
Orca-AgentInstruct: Agentic flows can be effective synthetic-data generators
| Arindam Mitra, Ahmed Awadallah, and Yash Lara
Orca-AgentInstruct, from Microsoft Research, can generate diverse, high-quality synthetic data at scale to post-train and fine-tune base LLMs for expanded capabilities, continual learning, and increased performance.
Research Focus: Week of November 11, 2024
Holistic motion-capture calibration technique without calibration, manual intervention or custom hardware; Research on AI agents for autonomous clouds; Automating proof-oriented program construction; One-to-many testing for natural language code generation.
In the news | Various news outlets
AI-Infused canvas for live drawing
The EPIC team is devising novel interaction paradigms with AI, with the ambition to elevate human capabilities. People do, AI elevates. Some of our latest research to turn AI into a new medium by infusing it into the canvas shipped…
Abstracts: November 5, 2024
| 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.