Peli at RiSE

News about the Research in Software Engineering area (RiSE)
  • 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
  • Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
    15 minutes, 29 seconds
  • Mike Barnett - Getting started with Code Contracts in Visual Studio 2008
    23 minutes, 18 seconds
  • TouchDevelop - Script Your Phone ON Your Phone!
    10 minutes, 50 seconds
  • TouchDevelop - Script Your Phone on Your Phone Reloaded
    13 minutes, 42 seconds
  • Mike Barnett and Daryl Zuniga: Code Contracts Editor Extensions
    4 minutes, 59 seconds
  • Herman Venter - The Common Compiler Infrastruture goes Open Source
    3 minutes, 32 seconds
  • Margus Veanes - Rex - Symbolic Regular Expression Exploration
    12 minutes, 9 seconds
  • The Verification Corner: Loop Invariants
    21 minutes, 45 seconds