Fengwei Xu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 3

Top Topics

Production Planning

Closely Related

Top Venues

Publications

Haibo Chen, Xie Miao, Ning Jia, Nan Wang, Yu Li, Nian Liu, Yutao Liu, Fei Wang, Qiang Huang, Kun Li, Hongyang Yang, Hui Wang, Jie Yin, Yu Peng, Fengwei Xu
Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. OSDI (2024)
Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li
A Practical Verification Framework for Preemptive OS Kernels. CAV (2) (2016)
Fengwei Xu, Wei-Fan Wang, Ko-Wei Lih
Full Orientability of the Square of a Cycle. Ars Comb. 122 (2015)