Section: Highlights of the Year

Highlights of the Year

As part of a collaborative effort with Timothy Bourke, Lélio Brun, Marc Pouzet (Parkas team), Xavier Leroy (Gallium team), Lionel Rieg (Collège de France) and Pierre-Évariste Dagand, our work on a certified Lustre compiler was accepted at PLDI [13].

Julia Lawall was invited to present a talk as part of the Colloquium Jacques Morgenstern at Inria - Sophia Antipolis. The talk was entitled "Coccinelle: synergy between programming language research and the Linux kernel". A video of the presentation is available. (https://www.canal-u.tv/video/inria/coccinelle_synergy_between_programming_language_research_and_the_linux_kernel.38185)

The work of Julia Lawall on the Linux kernel was featured in the Linux Foundation's 2017 Linux Kernel Development Report. (https://www.linuxfoundation.org/2017-linux-kernel-report-landing-page)