RÉSUMÉ:
Finding bugs and defects in a program is a ubiquitous problem both in academia and in the industry. However, many companies resist using automated tools to do so. Coverity, now Synopsys, has developed a static analysis tool that was adopted by more than 1,000 companies, including EA, SAP, Ericsson, etc., in a vast number of fields. What's the secret of this high level adoption? A scalable, ready-to-use tool that fits developers' needs. This presentation will cover the technical, technological and social requirements to achieve this.

BIO:
Thierry Lavoie has a Bachelor degree in computer engineering, and a Master and a Ph.D. degree in software engineering, all from Montreal's Polytechnic school. He has done research in static analysis, compiler technologies and software clone detection for 7 years. He also lectured compilers and data structures for that many years while conducting his research. He currently works on the Coverity product for Synopsys as a software compiler engineer in Calgary. He will have ran the Ottawa Army Run Half-Marathon three days before this presentation.