I am an Assistant Professor at the School of Computer Science, Peking University. My research focuses on system security and program analysis, with an emphasis on building AI-powered systems that integrate machine learning with program and system analysis for automated security, performance, and reliability assurance. I was ranked second among the most influential early-career software engineering researchers (2010–2017) by the Journal of Systems and Software.

Research

I lead the following projects. My full publication list is available on DBLP and Google Scholar:

• WASEM: A general symbolic execution engine for WASM bytecode. Papers: ISSTA’23 (Distinguished Paper), CCS’23a, OOPSLA’25
• SysArmor: An AI-enhanced provenance-based intrusion detection system that directly detects APT attacks, recovers complex attack campaign logics, and generates human-readable attack reports from raw logs fully automatically, without relying on manually crafted rules. Integrated into Huawei OpenEuler Community. Papers: SEC’23, TDCS’23, NDSS’24, HPCA’25, TDCS’25, RTSS’25, NDSS’26
  • We have extended our provenance analysis algorithm, NodLink, to broader areas including adversarial query detection for AI systems S&P’25 and promotion abuse fraud detection S&P’26
• PKUS: A provably secure and private computing infrastructure for large language models in high-stakes scenarios. PKUS redesigns the inference pipeline to be verifiable, revocable, and auditable through transparent enclaves, knowledge slicing, and prompt-protected reasoning. Papers: arXiv’25, USENIX Security’25, TOSEM’25a, IMWUT/Ubicomp’25, TOSEM’25b, SEC’25, SEC’24, IEEE S&P’24, CCS’23b

Awards

• First Prize of Scientific and Technological Progress Award by the Chinese Institute of Electronics, 2025
• PKU Outstanding Junior Faculty Award, 2024
• ISSTA Impact Paper Award, 2023
• ISSTA Distinguished Paper Award, 2023
• Tencent Excellent Innovation Award, 2021
• NEC Excellent Invention Award, 2018
• NEC Business Contribution Award, 2017

Services

• ACM TheWebConf Conference (WWW), 2026, Senior PC
• ACM Conference on Computer and Communications Security (CCS), 2026, PC
• ACM TheWebConf Conference (WWW), 2025, PC
• ACM Conference on Computer and Communications Security (CCS), 2025, PC
• IEEE/ACM International Conference on Automated Software Engineering (ASE), 2024, PC
• ACM TheWebConf Conference (WWW), 2024, PC
• IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, PC
• ACM Conference on Computer and Communications Security (CCS), 2023, PC
• ACM Conference on Computer and Communications Security (CCS), 2022, PC
• ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022, PC