Our meetings are held at the main Microsoft campus, One Microsoft Way, Redmond, WA 98052, in Building 41/1511 (Townsend). Building 41 is at the corner of NE 31st and 156th Ave NE. Usually, we meet at 7pm on the third Wednesday of the month.
Disclaimer: NWCPP is not associated with Microsoft—although we take advantage of their generosity in providing the venue and occasional speakers.
January 25th, 2012: Finding Race Condition and Data Races Effectively — Madan Musuvathi
Location: 43/1540-Adams (note room change). This meeting was originally scheduled for Jan 18th but postponed due to snow.
Come at 6:30pm for pizza supplied by Microsoft Server and Tools.
In this talk, I will describe two MSR tools Cuzz and DataCollider for finding concurrency errors. Cuzz uses a randomized algorithm to insert delays in a concurrent program to force race conditions with probabilistic guarantees. Cuzz is easy to use and is integrated with Microsoft’s Application Verifier. DataCollider uses hardware facilities in interesting ways to find data races with little runtime overhead. While other data-race detection techniques incur a 1000% runtime overhead or more, DataCollider incurs about 0 to 20% overhead.
Speaker Bio
Madan Musuvathi is a Senior Researcher in the Research in Software Engineering group at Microsoft Research. His research focus is on scalable analysis of concurrent systems. More broadly, his interests include systems, program analysis, model checking, verification, and theorem proving. He also spends a lot of time at Microsoft building analysis tools to improve the productivity of software developers and testers.
Resources
Video | slides | Cuzz paper | DataCollider paper.
December 2011: We took our usual winter break.





