RiSE

72 Entries

  • This Week
  • This Month
  • All Time
  • Language(s)
  • Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com
    6 minutes, 19 seconds
  • Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
    15 minutes, 29 seconds
  • C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of n
    1 hour, 21 minutes, 16 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
  • Mike Barnett - Getting started with Code Contracts in Visual Studio 2008
    23 minutes, 18 seconds
  • C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 2 of n
    59 minutes, 56 seconds
  • Francesco Logozzo - Static Checking with Code Contracts for .NET
    19 minutes, 9 seconds
  • Code Contracts and Pex: Power Charge Your Assertions and Unit Tests
    1 hour, 41 minutes, 48 seconds
  • Bart De Smet: LINQ to Z3
    1 hour, 16 minutes, 56 seconds