Peli at RiSE

News about the Research in Software Engineering area (RiSE)
  • Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com
    6 minutes, 19 seconds
  • Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz
    8 minutes, 13 seconds
  • Mark Marron - Visualizing and Understanding Heap Structure
    15 minutes, 6 seconds
  • Margus Veanes - Rex - Symbolic Regular Expression Exploration
    12 minutes, 9 seconds
  • The Verification Corner - Loop Termination
    21 minutes, 26 seconds
  • The Verification Corner - Specifications in Action with Spec#
    14 minutes, 32 seconds
  • Francesco Logozzo: Analisi statica con i Code Contracts per .NET
    10 minutes, 32 seconds
  • Francesco Logozzo: Programmazione per Contratti e runtime checking in .NET con i CodeContracts
    19 minutes, 32 seconds
  • Nikolai Tillmann: Moles - Replace any .NET method with a delegate
    5 minutes, 48 seconds
  • The Verification Corner: Loop Invariants
    21 minutes, 45 seconds