Microsoft Research Blog

Microsoft Research Open Data Project: Evolving our standards for data access and reproducible research 

December 5, 2019 | Vani Mandava
Last summer we announced Microsoft Research Open Data—an Azure-based repository-as-a-service for sharing datasets—to encourage the reproducibility of research and make research data assets readily available in the cloud. Among other things, the project started a conversation between the community and Microsoft’s legal team about dataset…

Recent Posts

  1. Graphic showing the components of the Icebreaker model

    Icebreaker: New model with novel element-wise information acquisition method reduces cost and data needed to train machine learning models 

    November 25, 2019 | Cheng Zhang and Sebastian Tschiatschek

    In many real-life scenarios, obtaining information is costly, and getting fully observed data is almost impossible. For example, in the recruiting world, obtaining relevant information (in other words, a feature value) for a company could mean performing time-consuming interviews. The same applies to many other…

  2. An overview of PipeDream's workflow

    PipeDream: A more effective way to train deep neural networks using pipeline parallelism 

    October 28, 2019 | Amar Phanishayee

    Deep Neural Networks (DNNs) have facilitated tremendous progress across a range of applications, including image classification, translation, language modeling, and video captioning. DNN training is extremely time-consuming, needing efficient multi-accelerator parallelization. In “PipeDream: Generalized Pipeline Parallelism for DNN Training,” published at the 27th ACM Symposium…

  3. Mixed reality scene

    A new era of spatial computing brings fresh challenges—and solutions—to VR 

    October 21, 2019

    Virtual reality (VR) has continually pushed the boundaries of how we perceive, from its early days of Ivan Sutherland’s Sword of Damocles to today. With the technology emerging from its early stages of bulky equipment tethered to one place out of necessity, researchers now are working with increased possibilities derived from hardware and new input sensors. The result is a unique set of challenges requiring innovative approaches to answering some of…

  4. Microsoft researchers Nikolaj Bjørner (left) and Leonardo de Moura (center) received the 2019 Herbrand Award for Distinguished Contributions to Automated Reasoning in recognition of their work in advancing theorem proving. They’re pictured with Jürgen Giesl (right) of the award committee.

    The inner magic behind the Z3 theorem prover 

    October 16, 2019 | Nikolaj Bjørner and Leonardo de Moura

    It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in 2006, the design was motivated by two emerging use cases:…

Explore More

  • Events & conferences

    Events & conferences 

    Meet our community of researchers, learn about exciting research topics, and grow your network

  • Podcasts

    Podcasts 

    Ongoing conversations at the cutting edge of research

  • Microsoft Research Forum

    Microsoft Research Forum 

    Join us for a continuous exchange of ideas about research in the era of general AI