I am a first-year PhD student in the Department of Computer Science at Duke University, fortunate to be advised by Prof. Danyang Zhuo. Prior to that, I received my Bachelor’s degree from Nanjing University where I had the valuable opportunity to work with Prof. Zhiqiang Zuo and Prof. Qingkai Shi.
My research goal is to build high-performance systems with strong correctness and security guarantees. I believe the most effective solutions are practical ones, built on solid foundations that span the entire system stack.
To this end, I have explored various approaches, including using language-based safety to build a robust embedded OS (Hopter) and leveraging hardware-assisted tracing to create an efficient data race detector (HardRace).
MobiSys'25
arXiv