In the news | AP News
Vatican, Microsoft create AI-generated St. Peter’s Basilica to allow virtual visits, log damage
The Vatican and Microsoft on Monday unveiled a digital twin of St. Peter’s Basilica that uses artificial intelligence to explore one of the world’s most important monument’s while helping the Holy See manage visitor flows and identify conservation problems.
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…
In the news | Khaleej Times
How AI can change the world
Artificial intelligence is changing the landscape of how we think, process and analyse data. And at the forefront of the shift in thought is AI for Good Lab at Microsoft, which uses AI to further data collection for things like…
AI2BMD登上Nature，以量子级精度推进蛋白质动力学
编者按：随着人工智能在蛋白质研究中的重要性日益提升，预测静态的蛋白质晶体结构已不再是难题。然而，如何在原子级别精确刻画蛋白质动态变化仍是一项亟需解决的挑战。微软研究院科学智能中心王童研究员及其团队，历时四年研究推出的基于 AI 的分子动力学模拟系统 AI2BMD，对蛋白质等生物大分子进行量子级精度的全原子模拟，实现了比经典模拟更高的精度，和比密度泛函理论更快的速度，为包括生物分子建模等在内的生物研...
From static prediction to dynamic characterization: AI2BMD advances protein dynamics with ab initio accuracy
| Tong Wang, Yatao Li, Ran Bi, Haiguang Liu, and Tao Qin
Microsoft Research’s AI2BMD, an AI-based system that efficiently simulates a wide range of proteins in all-atom resolution, can advance drug discovery and biomolecular research.
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.
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,…
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.