Concurrency Fuzzing & Data Races

Embed code for this video

Copy the code above to embed our video on your website/blog.

Close

Video format

Option selected may change based on video formats available and browser capability.

Close

Download

How do I download the videos?

  • To download, right click the file type you would like and pick “Save target as…” or “Save link as…”

Why should I download videos from Channel9?

  • It's an easy way to save the videos you like locally.
  • You can save the videos in order to watch them offline.
  • If all you want is to hear the audio, you can download the MP3!

Which version should I choose?

  • If you want to view the video on your PC, Xbox or Media Center, download the High Quality WMV file (this is the highest quality version we have available).
  • If you'd like a lower bitrate version, to reduce the download time or cost, then choose the Medium Quality WMV file.
  • If you have a Zune, WP7, iPhone, iPad, or iPod device, choose the low or medium MP4 file.
  • If you just want to hear the audio of the video, choose the MP3 file.

Right click “Save as…”

Learn about two concurrency tools from Microsoft Research: "Cuzz" and "FeatherLite". Cuzz (for Concurrency Fuzzing) is a tool that significantly improves the concurrency coverage achieved with existing stress tests. Cuzz uses a randomized algorithm to fuzz thread schedules and is very effective in finding bugs. Cuzz also helps reproducing the bug once found. FeatherLite is a light-weight data-race detection tool. FeatherLite uses sampling techniques for finding data races without adding prohibitive runtime overhead.

Comment on this Session

Already have a Channel 9 account? Please sign in

Event Homepage

More sessions in this event

See More

Creative Commons License

© 2013 Microsoft. Except where designated as licensed by
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License,
Microsoft reserves all rights associated with the materials on this site.