Share this page
  • Share this page on Twitter Share this page on Facebook Share this page on Digg Share this page on Del.icio.us Read the Inside Microsoft Research blog
  • E-mail this page Print this page
  • RSS feeds
Home > Projects > Concurrency Analysis Platform
Concurrency Analysis Platform

Concurrency Analysis Platform (CAP) is a set of tools built using a deterministic scheduler that has the capability of driving any user-mode program along an interleaving of choice. This determistic control enables a wide varieity of concurrency analysis tools.

Analysis Tools

  • CHESS: Unit testing for concurrency
  • Cuzz: Stress testing
  • Sober: Find memory consistency errors
  • FeatherLite: Lightweight data-race detection