|
|
|
| e-Pub |
Previous | 
Home
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/).