Microsoft Research Lab – Redmond
News & features
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.
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.
Abstracts: November 4, 2024
| 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.
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.
In the news | Cleo Abram (YouTube)
Why Can’t I Vote Online?
Why can’t I vote online? And what would happen if I could? Over the past two months, I called up a bunch of voting and security experts to try to answer that question. And the answer I found is more…
Intern Insights: Vaishnavi Ranganathan with Angela Busheska
| Vaishnavi Ranganathan and Angela Busheska
Undergrad Angela Busheska has a passion for sustainability. She talks with researcher Vaishnavi Ranganathan about the why behind her drive, the work she did at Microsoft on a platform for tracking land use, and her advice for making the internship…
Research Focus: Week of October 7, 2024
Simplifying secure decision tree training; Improving accuracy of audio content detection; A novel neurosymbolic system for converting text to tables; New video series: AI for Business Transformation; TEE security protections for container workloads.