Back to [[conference:committee:2015-proposals]]\\ \\ **Title**: Coccinelle for the Working Programmer\\ **Proposer**: [[2015:Julia Lawall]]\\ **Type**: Interactive tutorial\\ **Duration**: 90 mins\\ **Description**: \\ Coccinelle is a program matching and transformation tool for C programs that has been extensively applied to the Linux kernel and is used on a number of other C code bases. Coccinelle makes it easy to specify software specific rules for finding bugs and for updating software to use new APIs. These rules can then be applied automatically across an entire code base. Over 40 Coccinelle rules are already available in the Linux kernel source tree. This talk will present the motivations behind Coccinelle, the basics of how to use the tool, and several real case studies drawn from our work on the Linux kernel. Coccinelle is available in open source, and is packaged with a number of widely used Linux distributions (Ubuntu, Debian, Fedora, Suse, etc).\\ \\ JJ: Julia is only available on Saturday, April 25.\\ \\ \\ \\