Login / Signup
Fengwei Xu
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 3
Top Topics
Production Planning
Closely Related
Shape Matching
E Learning
Top Venues
Ars Comb.
CAV (2)
OSDI
</>
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)