Microsoft Research Blog

Systems

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

  2. 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:…

  4. EverCrypt cryptographic provider offers developers greater security assurances 

    April 2, 2019 | Jonathan Protzenko and Bryan Parno

    Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the high-performance industrial-grade EverCrypt cryptographic provider, is the second in a series exploring the groundbreaking work,…

  5. Researchers seek to simplify the complex in cloud computing 

    March 13, 2019

    From February 26–28, researchers gathered in Boston for the 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI), one of the top conferences in the networking and systems field. Microsoft, a silver sponsor of the event, was represented by researchers serving on the program…

  7. High performance container networking 

    February 26, 2019 | Victor Bahl

    Researchers and engineers from Microsoft Research and Microsoft Azure have contributed nine scientific papers to the technical program of the 16th Annual USENIX Symposium on Networked Systems Design and Implementation – NSDI ‘19 – to be held in Boston, Massachusetts between February 26 and February…

  10. The Microsoft Simple Encrypted Arithmetic Library goes open source

    The Microsoft Simple Encrypted Arithmetic Library goes open source 

    December 3, 2018 | Kristin Lauter, Kim Laine, and Sreekanth Kannepalli

    Today we are extremely excited to announce that our Microsoft Simple Encrypted Arithmetic Library (Microsoft SEAL), an easy-to-use homomorphic encryption library developed by researchers in the Cryptography Research group at Microsoft, is open source on GitHub under an MIT License for free use. The library…

  11. networking with a personal touch

    Hyperscale cloud reliability and the art of organic collaboration 

    November 20, 2018

    What does it take to build one of the most reliable hyperscale clouds on the planet? It clearly requires astronomical investments and a vast organization that operates at global scale in near seamless coordination. Yet the breakthroughs that fuel this story emerged organically, from a…

  12. mobicom

    Peeking into the future of mobile systems 

    October 29, 2018 | Venkat Padmanabhan

    Mobile computing and communications have transformed the world over the past decade in ways scarcely imaginable. What exciting advances does the future hold in store? The aptly named MobiCom conference, the flagship conference of Association for Computing Machinery SIGMOBILE, is the place where the research…