Research Videos and Posts

58 posts

Channel 9 publishes Research videos and information for you to improve your knowledge and skills. This page provides a listing of content tagged with Research to see the most up-to-date information provided by the experts building Microsoft products & services

  • This Week
  • This Month
  • All Time
  • Filter content by language
  • Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs
  • Research: Contract Checking and Automated Test Generation with Pex
  • Michal Moskal - VCC, The Verifying C Compiler
    22 minutes, 4 seconds
  • Research: BAM, AjaxScope, and Doloto
  • Johnny Lee: Microsoft Researcher
    15 minutes, 37 seconds
  • Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex
    11 minutes, 30 seconds
  • Stefan Is… researching the art (or is it Science?) of Search
    15 minutes, 17 seconds
  • Craig Mundie shows off the future of NUI
    17 minutes, 28 seconds
  • Researching with HoloLens (and be awarded Dev Kits and Cash)
  • Microsoft PEX/MOLES & advanced Unit-Testing aspects 3/3
    2 hours, 26 minutes, 34 seconds