About me

I am a first year Ph.D. student studying Computer Science at UPenn, advised by Prof. Boon Thau Loo. Before that, I completed my B.E. in Electrical Engineering with highest honors at Beijing Jiaotong University. Currently, I am intersted in practically applying machine learning to solve problems in computer systems.


Provenance for Probabilistic Logic Programs
Shaobo Wang, Hui Lyu, Jiachi Zhang, Chenyuan Wu, Xinyi Chen, Wenchao Zhou, Boon Thau Loo, Susan B. Davidson, and Chen Chen
In International Conference on Extending Database Technology (EDBT), 2020. Best Paper Award.

Synthesizing Verifiable DSL Programs from SDN Controller Applications
Haoxian Chen, Chenyuan Wu, Manqiu Zhang, Yahui Li, Zhijia Chen, Boon Thau Loo, Mayur Naik, and Mukund Raghothaman
Submitted to ACM SoCC, 2020.


Microsoft Research Redmond, Apr. 2020 - Jun. 2020
Contractor, Mobility and Networking Group

Huawei 2012 Labs (Central Research Institute), Nov. 2019 - Jan. 2020
Research Intern, Network Technology Lab
Advisor: Delei Yu

University of Pennsylvania, Jun. 2019 - Sept. 2019
Research Assistant, Distributed Systems Lab
Advisor: Boon Thau Loo


  • President’s Scholarship in Beijing Jiaotong University (10 out of 15,000), 2019
  • Chinese National Scholarship, 2019
  • Chinese National Scholarship, 2017
  • Second Prize in the National College Physics Competition, 2017