RiSE at the International Conference on Software Engineering
RiSE
72 postsFilters
List of Episodes
Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex
Herman Venter - The Common Compiler Infrastruture goes Open Source
Ben Livshits and Ben Zorn - Heap Spraying Attack Detection with Nozzle
Mike Barnett - Getting started with Code Contracts in Visual Studio 2008
Ben Zorn - Memory robustness with RobustHeap
Michal Moskal - VCC, The Verifying C Compiler
Ethan Jackson - Specifying Cloud Applications
Getting started with Pex in Visual Studio 2008
Madan Musuvathi - Getting started with CHESS in Visual Studio 2008
EMIC - Software Verification
CHESS: An Automated Concurrency Testing Tool
Pagination