Research

57 Entries

  • This Week
  • This Month
  • All Time
  • Language(s)
  • Research: Contract Checking and Automated Test Generation with Pex
  • Michal Moskal - VCC, The Verifying C Compiler
    22 minutes, 4 seconds
  • Microsoft PEX/MOLES & advanced Unit-Testing aspects 3/3
    2 hours, 26 minutes, 34 seconds
  • MySong: Sing to Your Computer to Write Music
  • Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs
  • Microsoft Research Demonstrates Software-driven Breakthroughs
  • TechFest: Commute UX: The next level of in-car infotainment
    6 minutes, 50 seconds
  • Photos tagged and organized to create the searchable Urban Archives...your city, yo
    10 minutes, 7 seconds
  • Microsoft Research Summit: WWT in 3D
    5 minutes, 18 seconds
  • Microsoft Research Summit: Revolutionary DDR
    3 minutes, 26 seconds