Understanding and Detecting Performance Bugs in Markdown Compilers. - Penghui Li 001; Yinxi Liu; Wei Meng 001 (ASE, 2021)

Revealer: Detecting and Exploiting Regular Expression Denial-of-Service Vulnerabilities. - Yinxi Liu; Mingxue Zhang 001; Wei Meng 001 (SP, 2021)

Acquirer: A Hybrid Approach to Detecting Algorithmic Complexity Vulnerabilities. - Yinxi Liu; Wei Meng 001 (CCS, 2022)

DSFuzz: Detecting Deep State Bugs with Dependent State Exploration. - Yinxi Liu; Wei Meng 001 (CCS, 2023)

Detecting Smart Contract State-Inconsistency Bugs via Flow Divergence and Multiplex Symbolic Execution. - Yinxi Liu; Wei Meng 001; Yinqian Zhang (Proc. ACM Softw. Eng., 2025)