Overview:        Markus Levy, Founder, Multicore Association and EEMBC (10-min.)

Speaker:          Madan Musuvathi
                        Researcher, Microsoft Research

Location:         Microsoft Research          (use rear/North door)
                        1288 Pear Ave.                 (parking all around Building 6)
                        Mountain View, CA

 
When:              September 14:   6:30 pm  Networking with food and beverage
                                                 7:00 pm  Presentation
 
Registration:    Free  –  $2 donation requested         [Please bring your PDF ticket.]

Sponsors:        Visit the tables of our 4 sponsors from industry. See below for our industry sponsors.
 

Abstract:
A big impediment in developing and maintaining concurrent software is our inability to effectively deal with race conditions. These “Heisenbugs” are hard to find. Even when found, they are hard to reproduce – making it next to impossible to debug and fix them. In this talk, Madan presents a series of tools from Microsoft Research that help developers and testers find, reproduce, and debug race conditions.

Madan will explain the theory underlying these tools and demonstrate their effectiveness in finding thread-safety violations, data races, deadlocks, and livelocks in product-quality software. The tools include CHESS, which uses model checking techniques to effectively unit test concurrent software, and Cuzz, which uses randomized algorithms to dramatically increase the bug-finding capability of existing concurrency tests. He will also explain various correctness criteria useful for developing reliable concurrent software.

Bio:
Madan Musuvathi is a researcher at Microsoft Research, where he focuses on concurrency analysis. He is interested in developing algorithms and tools that scale to and improve the reliability of large programs. Many of his tools are widely used by developers and testers inside Microsoft. He received his Ph.D. from Stanford University in 2004.

Follow us on Twitter:           twitter.com/IEEEComputerSoc
See us on Facebook:           www.facebook.com/group.php?gid=323745186971
LinkedIn Group**:                www.linkedin.com/groups?gid=2606895
Our web site:                        http://ewh.ieee.org/r6/scv/computer
Subscribe to email news:    http://listserv.ieee.org/cgi-bin/wa?SUBED1=cs-chap-scv&A=1
 

** For IEEE Members only.  Pre and post meeting discussion and posting of presentations.

Thanks to those sponsoring our pizza for this meeting:

Effective Training Associates – Specializing in skill-building engineers and managers, with IEEE Chapters.

Mentor Graphics – Multicore and Multi-OS with Mentor’s Embedded solutions.

Multicore Association – Everything you wanted to know about Multicore is here.

Embedded Microprocessor Benchmark Consortium – Benchmark suites.+Java, browser, telecom, etc.