MEETING POSPONED DUE TO SNOW: January NWCPP Meeting Announcement
Lloyd Moore
Folks,
Due to the current weather conditions and the expected weather conditions on Wednesday THE FOLLOWING MEETING HAS BEEN CANCLED FOR THIS WEDNESDAY!
Please stay home, nice and warm and safe! I’m currently working on rescheduling the meeting for the following Wednesday when all we have to deal with is the normal Seattle rain. Please watch for additional e-mails and check the www.nwcpp.org for additional details.
Thanks and stay safe,
Lloyd
From: nwcppa...@googlegroups.com [mailto:nwcppa...@googlegroups.com] On Behalf Of Lloyd Moore
Sent: Friday, January 13, 2012 10:19 AM
To: nwcppa...@googlegroups.com
Subject: January NWCPP Meeting Announcement
The Northwest C++ Users Group is pleased to welcome Madan Musuvathi as the speaker for the January meeting.
Additionally please note that at this time we do not have a pizza sponsor scheduled. I’m still working on this and will update you before the meeting so you can plan/eat accordingly.
Date: Wednesday, January 18th, 2012
Time: 7:00 PM
Location: Microsoft Eastside Campus, Bldg 41, Townsend (see our website www.nwcpp.org for directions).
Abstract:
Finding Race Condition and Data Races Effectively
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.
Thanks,
Lloyd