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

  • This Week
  • This Month
  • All Time
  • Filter content by language
  • Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
    15 minutes, 29 seconds
  • Nikolai Tillmann: Moles - Replace any .NET method with a delegate
    5 minutes, 48 seconds
  • CHESS: An Automated Concurrency Testing Tool
    47 minutes, 55 seconds
  • C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of n
    1 hour, 21 minutes, 16 seconds
  • Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com
    6 minutes, 19 seconds
  • Mike Barnett - Getting started with Code Contracts in Visual Studio 2008
    23 minutes, 18 seconds
  • ICSE 2011: Conversation with Baris Aktemur
    14 minutes, 15 seconds
  • Patrice Godefroid - Automated Whitebox Fuzz Testing with SAGE
    10 minutes, 44 seconds
  • The Verification Corner - Loop Termination
    21 minutes, 26 seconds
  • C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 3 of 3
    1 hour, 2 minutes, 17 seconds