Coccinelle workshop 2009 – Københavns Universitet

Coccinelle workshop 2009


9:00-9:15: Welcome and introductions

9:15-9:45: Julia Lawall on a foundation for flow-based program matching using temporal logic and model checking
9:45-10:15: Bjørn Haagensen on isomorphisms

10:15-10:30: Break

10:30-11:15: Jesper Andersen on semantic patch inference
11:15-11:45: Sune Rievers on finding bugs in OpenSSL using Coccinelle
11:45-12:15: Open slot

12:15-1:15: Lunch

1:15-1:45: René Rydhof Hansen on security
1:45-2:15: Nicolas Palix on bug history
2:15-2:45: Vegard Nossum on kmemcheck

2:45-3:15: Break

3:15-4:00: Gorel Hedin on reference attribute grammars

4:00-5:30: Discussion


Coccinelle is a program matching and transformation engine that was originally developed for performing collateral evolutions in Linux device drivers. A novel feature of Coccinelle is that matching and transformation specifications are described using a notation based on the syntax of standard patches, that is very close to C source code. Coccinelle is currently being used for a variety of program matching and transformation tasks. The purpose of this workshop is to allow developers and users of Coccinelle to come together, to discuss the current state of the project.

The workshop is sponsored by the research project Improving the Security of Infrastructure Software funded by the Danish Research Council (FTP). This project is concerned with using Coccinelle to find bugs in systems code, and is a joint project between the University of Copenhagen and Aalborg University.

More information about Coccinelle is available here.


The workshop is open to anyone, and should especially be of interest to anyone working on Linux code or other systems code written in C. If you would like to attend, please contact