Session Lead

Session information has not yet been published for this event.


One Line Summary

Tools to aid in the development of Linux code


The Linux kernel is one of the largest and highly configurable open source software projects. It has hundreds of developers and these developers have a wide range of expertise. Tools to help developers and maintainers are becoming increasingly important in the Linux development process. Some familiar examples are git for source code management, checkpatch for enforcing coding style, and quilt for managing patches.

In recent years, a number of new tools have been created to aide in various aspects of the development process. These include tools for understanding the source code, finding various kinds of bugs, and performing source code evolutions. This track will present some of these tools. There will additionally be an opportunity to discuss how tool usage can be improved and what kind of tools are still needed.


bug finding, code evolution, code navigation, tools


  • Julia Lawall

    DIKU, University of Copenhagen


    Julia Lawall is an Associate Professor in the Computer Science Department at the University of Copenhagen. She is the co-PI and main developer of Coccinelle, a tool for program matching and transformation in C code. Coccinelle has been extensively used for finding bugs and performing source code evolutions in Linux kernel code.