新闻与深度文章

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

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

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.

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…

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