To take full advantage of the latest multi-core hardware, developers must utilize multiple threads in their applications. Mutli-threaded applications introduce an entirely new class of hard-to-find software failures, commonly known as concurrency defects. To date, testing for Concurrency defects such as Race Conditions, Thread Blocks, Atomicity and Deadlocks have been extremely difficult due to the complexity inherent in multi-threaded run-time environments.
In this session, Ben Chelf, CTO of Coverity will explain how developers can find and eliminate concurrency defects early in the development cycle to avoid lengthy QA cycles or costly field bugs. In addition to an overview of the challenges between single-threaded and multi-threaded development styles, Chelf will also provide specific examples of how the use of combined static and dynamic code analysis can pinpoint the most dangerous Concurrency defects.
Ben Chelf, Chief Technology Officer and Co-Founder: Before he co-founded Coverity, Ben was a founding member of the Stanford Computer Science Laboratory team that architected and developed Coverity's underlying technology. He is one of the world's leading experts on the commercial use of static source code analysis. In his role at Coverity, Ben works with organizations such as the U.S. Department of Homeland Security, Cisco, Symantec, and IBM to improve the security and quality of software globally. He holds an M.S. and B.S. in Computer Science from Stanford University. Ben frequently provides expert insight into software security and quality to the press, public audiences, and in published writings.
