Presenter: Haonan Wang Gerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe Decoupling Cores, Kernels, and Operating Systems.