RiSE

72 posts

  • 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
  • CHESS: An Automated Concurrency Testing Tool
    47 minutes, 55 seconds
  • Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com
    6 minutes, 19 seconds
  • Nikolai Tillmann: Moles - Replace any .NET method with a delegate
    5 minutes, 48 seconds
  • Mark Marron - Visualizing and Understanding Heap Structure
    15 minutes, 6 seconds
  • The Verification Corner - Loop Termination
    21 minutes, 26 seconds
  • Getting started with Pex in Visual Studio 2008
    20 minutes, 15 seconds
  • TouchDevelop - Getting Started
    2 minutes, 22 seconds
  • Peter Heldens - Creating Scripts with TouchDevelop
    2 minutes, 47 seconds
  • ICSE 2011: Conversation with Baris Aktemur
    14 minutes, 15 seconds