Microsoft Research Lab – Redmond
뉴스 & 기능
Ideas: The journey to DNA data storage
| Karin Strauss, Bichlien Nguyen, Jake Smith, 그리고 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, 그리고 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.
뉴스에서 | 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, 그리고 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, 그리고 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.
뉴스에서 | 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 그리고 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…