Section: Highlights of the Year

Highlights of the Year

The Whisper team published three papers at USENIX ATC, one of the major conferences of our domain:

• Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. J. Lawall and G.Muller. [14]

• DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. J.-J. Bai, Y.-P. Wang, J. Lawall, S.-M. Hu. [12]

• The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. J. Bouron, S. Chevalley, B. Lepers, W. Zwaenepoel, R. Gouicem, J. Lawall, G. Muller, J. Sopena. [13]

Gilles Muller was co-PC chair of DSN 2018, the premier venue for dependable systems.

Julia Lawall was co-PC chair of the ASE 2018 Tool Demo track, in preparation for being the co-PC chair of the main ASE research paper track in 2019.

Awards

The original work on Coccinelle “Documenting and automating collateral evolutions in Linux device drivers” [8] received an ACM EuroSys Test-of-Time award, recognizing it as the paper from EuroSys 2008 that is having the most lasting and current impact (http://eurosys2018.org/awards/).