RiSE Videos and Posts

72 posts

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

  • Filter content by language
  • RiSE at the International Conference on Software Engineering
  • Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex
    11 minutes, 30 seconds
  • Herman Venter - The Common Compiler Infrastruture goes Open Source
    3 minutes, 32 seconds
  • Ben Livshits and Ben Zorn - Heap Spraying Attack Detection with Nozzle
    25 minutes, 7 seconds
  • Mike Barnett - Getting started with Code Contracts in Visual Studio 2008
    23 minutes, 18 seconds
  • Ben Zorn - Memory robustness with RobustHeap
    14 minutes, 15 seconds
  • Michal Moskal - VCC, The Verifying C Compiler
    22 minutes, 4 seconds
  • Ethan Jackson - Specifying Cloud Applications
    28 minutes, 18 seconds
  • Getting started with Pex in Visual Studio 2008
    20 minutes, 15 seconds
  • Madan Musuvathi - Getting started with CHESS in Visual Studio 2008
    15 minutes, 11 seconds