Download this episode
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.
Available formats for this video:
Actual format may change based on video formats available and browser capability.