RiSE

72 Entries

  • Language(s)
  • RiSE at the International Conference on Software Engineering
  • Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex
    11 minutes, 30 seconds
  • Herman Venter - The Common Compiler Infrastruture goes Open Source
    3 minutes, 32 seconds
  • Ben Livshits and Ben Zorn - Heap Spraying Attack Detection with Nozzle
    25 minutes, 7 seconds
  • Mike Barnett - Getting started with Code Contracts in Visual Studio 2008
    23 minutes, 18 seconds
  • Ben Zorn - Memory robustness with RobustHeap
    14 minutes, 15 seconds
  • Michal Moskal - VCC, The Verifying C Compiler
    22 minutes, 4 seconds
  • Ethan Jackson - Specifying Cloud Applications
    28 minutes, 18 seconds
  • Getting started with Pex in Visual Studio 2008
    20 minutes, 15 seconds
  • Madan Musuvathi - Getting started with CHESS in Visual Studio 2008
    15 minutes, 11 seconds