Miaoqian Lin

Postdoctoral Researcher at The University of Hong Kong

linmq006@gmail.com

I am a Postdoctoral Researcher at The University of Hong Kong, working with Prof. Ho Chen. I received my Ph.D. from the University of Chinese Academy of Sciences, where I was advised by Prof. Kai Chen. I enjoy my research, and I feel fortunate to work with great researchers.

My research focuses on software security, program analysis, and AI for security. Specifically, I have designed and implemented automated analysis tools for large-scale bug detection. My work has detected hundreds of previously unknown security bugs in widely used programs. Based on my research, I have also contributed hundreds of bug-fixing patches to the mainline of the Linux kernel.

Education

Chinese Academy of Sciences, Ph.D. in Cyber Security (2020.09– 2025.06)
Sun Yat-Sen University, B.S. in Software Engineering (2016.09 – 2020.06)

Publications

[S&P 2026] SpecAuditor: Generating Audit Specifications for LLM‑Driven Bug Detection. In the Proceedings of the 47th IEEE Symposium on Security and Privacy (S&P), 2026. [coming soon]

Miaoqian Lin, Hao Chen.

[NDSS 2025] Uncovering the Iceberg from the Tip: Generating API Specifications for Bug Detection via Specification Propagation Analysis. In the Proceedings of the 32nd Network and Distributed System Security Symposium (NDSS), 2025.[PDF][CODE]

Miaoqian Lin, Kai Chen, Yi Yang, Jinghua Liu.

[USENIX Security 2023] Detecting API Post‑Handling Bugs Using Code and Description in Patches. In the Proceedings of the 32nd USENIX Security Symposium, 2023. [PDF][CODE]

Miaoqian Lin, Kai Chen, Yang Xiao.

Teaching

Spring 2024: Software Security (TA)

Page updated

Google Sites

Report abuse