Haifeng He, John Trimble, Somu Perianayagam, Saumya K. Debray, Gregory R. Andrews: Code Compaction of an Operating System Kernel. CGO 2007: 283-298