A Scalable Physical Memory Allocation Scheme for L4 Microkernel. - Chen Tian 005; Daniel G. Waddington; Jilong Kuang (COMPSAC, 2012)

Towards a Scalable Microkernel Personality for Multicore Processors. - Jilong Kuang; Daniel G. Waddington; Chen Tian 005 (Euro-Par, 2013)