Oliver R. A. Chick, Lucian Carata, James Snee, Nikilesh Balakrishnan, Ripduman Sohan: Shadow Kernels: A General Mechanism For Kernel Specialization in Existing Operating Systems. APSys 2015: 1:1-1:7