Fengwei Xu

According to our database, Fengwei Xu authored at least 3 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel.

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

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

2016

A Practical Verification Framework for Preemptive OS Kernels.

Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Full Orientability of the Square of a Cycle.

Fengwei Xu, Wei-Fan Wang, Ko-Wei Lih

Ars Comb., 2015