Mbench: Benchmarking a Multicore Operating System Using Mixed Workloads. - Gang Lu; Xinlong Lin; Runlin Zhou (BPOE, 2015)

On Horizontal Decomposition of the Operating System. - Gang Lu; Jianfeng Zhan; Xinlong Lin; Chongkang Tan; Lei Wang 004 (CoRR, 2016)