Full Orientability of the Square of a Cycle. - Fengwei Xu; Wei-Fan Wang 001; Ko-Wei Lih (Ars Comb., 2015)

A Practical Verification Framework for Preemptive OS Kernels. - Fengwei Xu; Ming Fu; Xinyu Feng 001; Xiaoran Zhang; Hui Zhang; Zhaohui Li (CAV (2), 2016)

Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. - Haibo Chen 001; Xie Miao; Ning Jia; Nan Wang; Yu Li; Nian Liu; Yutao Liu; Fei Wang 130; Qiang Huang; Kun Li; Hongyang Yang; Hui Wang; et al. (OSDI, 2024)