Mark Marron - Visualizing and Understanding Heap Structure
Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz
Description
Madan Musuvathi and
Sebastian Burckhardt, two Researchers at the Research in Software Engineering team (RiSE), explain and demo a new testing tool called
Cuzz. As you will see in this video, Cuzz stands for "Concurrency fuzzing."
Cuzz is a very effective tool for finding concurrency bugs. Cuzz works on unmodified Win32 executables and is designed for maximizing concurrency coverage for your existing (unmodified) tests. It randomizes the thread schedules in a systematic and disciplined way, using an algorithm that provides probabilistic coverage guarantees.
The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.
Share
Download
Download this episode
- High Quality WMV (94.8 MB)
- MP3 (3.8 MB)
- Low Quality MP4 (49.7 MB)
- Mid Quality WMV (62.3 MB)
More episodes in this series
Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com
Related episodes
Sebastian Burckhardt - Data Race Detection with CHESS
CHESS: An Automated Concurrency Testing Tool
ICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential World
ICSE 2011: Victor Pankratius - Developing Manycore Applications with Concurrency…
ICSE 2011: Conversation with Andreas Zeller
E2E: Concurrent Programming with Revisions
Developers: Rise to the Challenge at RiSE4fun.com
The Verification Corner - Stepwise Refinement
The Verification Corner - Loop Termination
Microsoft Research: Tools to Help Resolve Concurrency Problems
The Discussion
-
Mr Crash ah you tease !
i've seen this demo before and i was disappointed when i saw it was not available for download
and it's still not available for download !!
So i ask this why the h*** tease and show this without giving the devs some binaries/src to download and play with ?
( it's like half a b-job ) -
AdamSpeight2008 -
LukePuplett Does Chess work with VS 2010 Ultimate??
-
Ben C If you follow the Cuzz link, it will take you to http://research.microsoft.com/en-us/projects/cuzz/
On that page, there's a link that doesn't work: http://codebox/cuzz