Microsoft Research Blog

The Microsoft Research blog provides in-depth views and perspectives from our researchers, scientists and engineers, plus information about noteworthy events and conferences, scholarships, and fellowships designed for academic and scientific communities.

  1. Microsoft Research presents its latest advances in computer systems at OSDI 2018

    Researchers from Microsoft Research will present their latest advances in computer systems at the USENIX Symposium on Operating Systems Design and Implementation 2018 — the biennial flagship conference for systems research — October 8–10 in Carlsbad, California. These advances cover a broad spectrum of topics, as evident by the number of papers coauthored by researchers from Microsoft Research, which constitutes about a quarter of the conference’s technical program. These papers will be presented in nine…

    October 5th, 2018

  2. The Microsoft Infer.NET machine learning framework goes open source

    It isn’t every day that one gets to announce that one of the top-tier cross-platform frameworks for model-based machine learning is open to one and all worldwide. We’re extremely excited today to open source Infer.NET on GitHub under the permissive MIT license for free use in commercial applications. Open sourcing Infer.NET represents the culmination of a long and ambitious journey. Our team at Microsoft Research in Cambridge, UK embarked on developing the framework back in…

    October 5th, 2018

  3. The future is fusion with Asta Roseway

    Episode 44, October 3, 2018 - Asta Roseway gives an inside look at one of the most unconventional labs at Microsoft Research. Located at the intersection of science, technology and art, it’s a lab that insists that technology, like art, should push boundaries, tell stories and feed our souls. Get ready for the unexpected because when Asta asks “what if?” you’re likely to find yourself immersed in a world of responsive clothing, smart tattoos, talking…

    October 3rd, 2018

  4. SPACER and Z3: Accessible, reliable model checking as theorem proving

    “How can one check a routine in the sense of making sure that it is right?” asked Alan Turing in 1949, foreshadowing the science of program proving decades before it became a formally accepted field of computer science. Program proving, model checking, theorem solving – this is the terminology occupying the research space of computer science devoted to making sure programs work correctly. In the years since Turing theorized its necessity, the calculus of computation…

    October 2nd, 2018

  5. Reflections – the Grace Hopper Conference past and present

    This year I will be attending the Grace Hopper Celebration of Women in Computing (GHC), where I will be part of a panel discussion on the topic, “Will Artificial Intelligence Eliminate Accessibility Barriers?” (at noon on Wednesday, Sept. 26th). I’ve attended GHC three times in the past, but I must admit I am simultaneously excited and nervous about the projected attendance of 20,000 people this year! The first time I attended GHC was eighteen years…

    September 26th, 2018

  6. All about automated machine learning with Dr. Nicolo Fusi

    Episode 43, September 26, 2018 - Dr. Nicolo Fusi gives us an inside look at Automated Machine Learning – Microsoft’s version of the industry’s AutoML technology – and shares the story of how an idea he had while working on a gene editing problem with CRISPR/Cas9 turned into a bit of a machine learning side quest and, ultimately, a surprisingly useful instantiation of Automated Machine Learning - now a feature of Azure Machine Learning -…

    September 26th, 2018

  7. Internships Ahoy! with Kirsten Bray, Wei Dai and Sara Beery

    Episode 42, September 19, 2018 - On today’s podcast, you’ll hear the stories of three of these interns, each of whom came to Microsoft Research from a different field, with a different story and a different perspective, but all of whom share MSR’s passion for finding innovative solutions to the world’s toughest challenges.

    September 19th, 2018

  8. Playing to the crowd and other social media mandates with Dr. Nancy Baym

    Episode 41, September 12, 2018 - Dr. Nancy Baym shares her insights on a host of topics ranging from the arduous maintenance requirements of social media, to the dialectic tension between connection and privacy, to the funhouse mirror nature of emerging technologies. She also talks about her new book, Playing to the Crowd: Musicians, Audiences and the Intimate Work of Connection, which explores how the internet transformed – for better and worse – the relationship…

    September 12th, 2018

  9. Deep Learning Indaba 2018: Strengthening African machine learning

    At the 30th conference on Neural Information Processing in 2016, one of the world’s foremost gatherings on machine learning, there was not a single accepted paper from a researcher at an African institution. In fact, for the last decade, the entire African continent has been absent from the contemporary machine learning landscape. The following year, a group of researchers set out to change this, founding a world-class machine learning conference that would strengthen African machine…

    September 10th, 2018

  10. Computer Vision at Microsoft: Uniting fundamental research and industry-defining products

    Microsoft is very proud to be a diamond sponsor of ECCV 2018 and we’re in Munich, Germany from September 8-14 with the global computer vision community to share our research and to learn from our fellow contributors. At Microsoft, in parallel with fundamental research, we build products. Our software products, like Visual Studio, PowerPoint and Linux on Windows are used every day by computer vision researchers and engineers. Hardware products, like Surface, Xbox, and HoloLens,…

    September 7th, 2018

  11. Machine learning, data mining and rethinking knowledge at KDD 2018

    KDD 2018, the 24th ACM Conference on Knowledge Discovery and Data Mining took place in London, United Kingdom on August 19-23 in the heart of London’s historic Royal Docks. KDD is one of the top conferences in the machine learning and data mining domain, bringing together researchers and practitioners across computer science and all verticals. This year’s KDD was the largest ever, with more than 3400 participants from 99 countries and 1588 submissions and included…

    September 6th, 2018

  12. Putting the cloud under the sea with Ben Cutler

    Episode 40, September 5, 2018 - In today’s podcast we find out a bit about what else the Special Projects team is up to, and then we hear all about Project Natick and how Ben and his team conceived of, and delivered on, a novel idea to deal with the increasing challenges of keeping data centers cool, safe, green, and, now, dry as well!

    September 5th, 2018