RiSE

List of Episodes

Wolfram

RiSE at the International Conference on Software Engineering

Peli at RiSE

Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex

11:30

Peli at RiSE

Herman Venter - The Common Compiler Infrastruture goes Open Source

03:32

Peli at RiSE

Ben Livshits and Ben Zorn - Heap Spraying Attack Detection with Nozzle

25:07

Peli at RiSE

Mike Barnett - Getting started with Code Contracts in Visual Studio 2008

23:18

Peli at RiSE

Ben Zorn - Memory robustness with RobustHeap

14:15

Peli at RiSE

Michal Moskal - VCC, The Verifying C Compiler

22:04

Peli at RiSE

Ethan Jackson - Specifying Cloud Applications

28:18

Peli at RiSE

Getting started with Pex in Visual Studio 2008

20:15

Peli at RiSE

Madan Musuvathi - Getting started with CHESS in Visual Studio 2008

15:11

Lori

EMIC - Software Verification

29:49

Going Deep

CHESS: An Automated Concurrency Testing Tool

47:55