I develop the program matching and transformation tool Coccinelle. Coccinelle can be applied to any C code, but I mostly apply it to the Linux kernel.
Where do you get your paycheck?
Inria. Within Inria, I participate in the IRILL, a research center on free and open source software.