Research

58 posts

  • This Week
  • This Month
  • All Time
  • Filter content by language
  • Researching with HoloLens (and be awarded Dev Kits and Cash)
  • AURA, scanning with your phone
  • Microsoft Underground Research Lab
    3 minutes, 53 seconds
  • Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex
    11 minutes, 30 seconds
  • 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
  • MySong: Sing to Your Computer to Write Music
  • Intel Projects a Whole New World for Childs Play
  • Where am I?
    9 minutes, 42 seconds