Algorithms
Publication
Combinatorial Pure Exploration of Causal Bandits
Microsoft Research Blog
TLA+ Foundation aims to bring math-based software modeling to the mainstream
TLA+ is a high level, open-source, math-based language for modeling computer programs and systems–especially concurrent and distributed ones. It comes with tools to help eliminate fundamental design errors, which are hard to find and expensive to…
Microsoft Research Blog
Research Focus: Week of April 10, 2023
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. To improve the utilization of computing resources, cloud…
Microsoft Research Blog
Building toward more autonomous and proactive cloud technologies with AI
In the first blog post in this series, Cloud Intelligence/AIOps – Infusing AI into Cloud Computing Systems, we presented a brief overview of Microsoft’s research on Cloud Intelligence/AIOps (AIOps), which innovates AI and machine learning…
