58 posts

  • Filter content by language
  • Microsoft Research Demonstrates Software-driven Breakthroughs
  • Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs
  • Research: Contract Checking and Automated Test Generation with Pex
  • Research: BAM, AjaxScope, and Doloto
  • Research: Designing the World Wide Telescope
  • Are Gene Scans Effective? Microsoft Funds Research To Find Out
  • Microsoft Research: A look at tomorrow's health solutions today - part II
    15 minutes, 36 seconds
  • Microsoft Research:  A look at tomorrow’s health solutions today: Part I
    17 minutes, 17 seconds
  • EMIC - Information Overload and Crisis of Choice
    20 minutes, 54 seconds
  • European Microsoft Innovation Center
    2 minutes, 11 seconds