Entries:
Comments:
Posts:

Loading User Information from Channel 9

Something went wrong getting user information from Channel 9

Activity Profile

Latest Achievement:

Loading User Information from MSDN

Something went wrong getting user information from MSDN

Visual Studio Achievements

Latest Achievement:

Loading Visual Studio Achievements

Something went wrong getting the Visual Studio Achievements

Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz

Posted: Jul 16, 2010 at 10:23 AM
By: Peli de Halleux
Avg Rating: 5

(2)
40,214 Views
4 Comments
reddit

Tweet

8 minutes, 13 seconds

format
< > embed
+ queue

Sign In first to access your queue.
Close

Sorry, video was not added to the queue, an error occurred. Please Contact Us and let us know.
Close

Embed code for this video

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

Video format

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

Auto
Use our suggested format for this video.
Smooth Streaming
Adaptive bitrate streaming - little buffering but lower video quality at times of low bandwidth. Silverlight 5 required
Progressive
Traditional buffered video format. Silverlight 5 required
HTML5
For browsers that support H.264 MP4 or WebM video playback such as:
IE9+, Firefox 4+, Chrome 5+, or Safari 4+.
Flash
For browsers that have the Adobe Flash Player plugin installed.

Download

Right click “Save as…”

High Quality WMV (PC, Xbox, MCE)

File size
94.8 MB
MP3 (Audio only)

File size
3.8 MB
MP4 (iPod, Zune HD)

File size
49.7 MB
Mid Quality WMV (Lo-band, Mobile)

File size
62.3 MB

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.

Follow the Discussion

Follow
Oops, something didn't work.

Try again?

Sign In to be begin to follow these comments

What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in. You need to be signed in to Channel 9 to use this feature.

Getting "follow" information

Stop following these comments

Start following these comments

What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in and view them all on your notifications page.

Removing your "follow"

Setting up your "follow"

Did you know you can
sign up for email notifications?
- Subscribe to this comments

Mr Crash

Jul 17, 2010 at 5:31 AM

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 The Bandito Coder

Jul 17, 2010 at 6:30 PM

How is this different to Chess?

http://research.microsoft.com/en-us/projects/chess/
LukePuplett

Jul 20, 2010 at 3:50 AM

Does Chess work with VS 2010 Ultimate??
Ben C

Jul 20, 2010 at 2:47 PM

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

Remove this comment

Remove this thread

Comments Closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums,
or Contact Us and let us know.