Miaoqian Lin

Miaoqian Lin

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 feel very fortunate to work with excellent 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.

Selected publications

  1. USENIX Security
    BugAuditor: Detecting Bugs via Inconsistent Defensive Code Auditing
    Miaoqian Lin, Kai Chen, and Hao Chen
    In Proceedings of the 35th USENIX Security Symposium, 2026
    [coming soon]
  2. S&P
    SpecAuditor: Generating Audit Specifications for LLM-Driven Bug Detection
    Miaoqian Lin and Hao Chen
    In Proceedings of the 47th IEEE Symposium on Security and Privacy, 2026
    Artifact Available · Functional · Reproducible
    PDF Code
  3. NDSS
    Uncovering the Iceberg from the Tip: Generating API Specifications for Bug Detection via Specification Propagation Analysis
    Miaoqian Lin, Kai Chen, Yi Yang, and Jinghua Liu
    In Proceedings of the 32nd Network and Distributed System Security Symposium, 2025
    Artifact Available · Functional · Reproducible
    PDF Code
  4. USENIX Security
    Detecting API Post-Handling Bugs Using Code and Description in Patches
    Miaoqian Lin, Kai Chen, and Yang Xiao
    In Proceedings of the 32nd USENIX Security Symposium, 2023
    PDF Code