Linked Presentation: Coccinelle: 10 Years of Automated Evolution in the Linux KernelDSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel ModulesThe Battle of the Schedulers: FreeBSD ULE vs. Linux CFS