me.jpg

Miao Miao

Department of Computer Science

The University of Texas at Dallas

I am a fourth-year Ph.D. student at the University of Texas at Dallas, advised by Dr. Shiyi Wei.

My research focuses on improving the reliability and explainability of program analysis and fuzz testing tools. One line of my work targets static analysis tools, automatically detecting and diagnosing nondeterministic bugs while using repository mining to understand the common challenges tool developers face. A second line focuses on fuzzing, where I develop new benchmarks and an interactive visualization framework to help researchers and practitioners better understand how and why their fuzzers succeed or fail. The overarching goal of my research is to improve the security and reliability of real-world software through automated analysis and testing.

Download my CV here.

News

Jun 30, 2026 Served on artifact evaluation committee for ASE 2026.
May 17, 2026 Served on artifact evaluation committee for ISSTA 2026.
Mar 17, 2026 Our paper “Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study” accepted by SANER 2026!
Nov 16, 2025 Our paper “SeedUI: Understanding Initial Seeds in Fuzzing” accepted by ASEW 2025!
Jul 15, 2025 Served as a shadow PC member for ICSE 2026.
Jul 01, 2025 Thrill to share that UT Dallas News featured my first-place win at the ICSE 2025 ACM Student Research Competition! 🎉 Link
May 20, 2025 Served on artifact evaluation committee for ISSTA 2025.
May 10, 2025 Our paper “Visualization Task Taxonomy to Understand the Fuzzing Internals” accepted by TOSEM 2025.
May 01, 2025 My work “Program Feature-based Fuzzing Benchmarking” won the 1st place in ICSE 2025 ACM Student Research Competition!
Apr 30, 2025 I presented our work “An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools” at ICSE 2025, Ottawa!
Apr 25, 2025 Served on artifact evaluation committee for PLDI 2025.
Apr 20, 2025 Received the Mary and Richard Templeton Graduate Fellowship for 2025-2026!
Mar 01, 2025 My work “Program Feature-based Benchmarking for Fuzz Testing” accepted by ISSTA 2025!
Dec 15, 2024 Received the ACM SIGSOFT CAPS Travel Award for ICSE 2025!
Dec 01, 2024 Served as a junior PC member for MSR 2025.
Nov 01, 2024 My work “An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools” accepted by ICSE 2025!

Publications

  1. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study
    Sriteja Kummita, Fabian Schiebel, Eric Bodden, Miao Miao, Shiyi Wei
    2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2026
    [paper][pdf]

  2. SeedUI: Understanding Initial Seeds in Fuzzing
    Sriteja Kummita, Eric Bodden, Miao Miao, Shiyi Wei
    2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), 2025
    [paper][pdf]

  3. Program Feature-Based Benchmarking for Fuzz Testing
    Miao Miao, Sriteja Kummita, Eric Bodden, Shiyi Wei
    Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025
    [paper][pdf][code]

  4. Program Feature-Based Fuzzing Benchmarking
    Miao Miao
    2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2025
    [paper][pdf][code]

  5. An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools
    Miao Miao, Austin Mordahl, Dakota Soles, Alice Beideck, Shiyi Wei
    2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025
    [paper][pdf][code]

  6. Visualization Task Taxonomy to Understand the Fuzzing Internals
    Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei
    ACM Transactions on Software Engineering and Methodology, 2025
    [paper][pdf]

  7. Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report)
    Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei
    Proceedings of the 3rd ACM International Fuzzing Workshop, 2024
    [paper][pdf]

  8. ECSTATIC: Automatic configuration-aware testing and debugging of static analysis tools
    Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei
    Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
    [paper][pdf][code]

Teaching

  • CS 6353 - Compiler Construction, UT Dallas (Spring 2024), Teaching Assistant
  • CS 4386 - Compiler Design, UT Dallas (Fall 2023), Teaching Assistant
  • CS/SE 6356 - Software Maintenance and Re-Engineering, UT Dallas (Spring 2023), Teaching Assistant

Services

  • Artifact Evaluation Committee for ISSTA 2026
  • Artifact Evaluation Committee for ASE 2026
  • Shadow Program Committee for ICSE 2026
  • Artifact Evaluation Committee for ISSTA 2025
  • Artifact Evaluation Committee for PLDI 2025
  • Junior Program Committee for MSR 2025
  • Sub-reviewer for CCS, USENIX Security, FSE, ISSTA, ICSE, ASE, SecDev (2023–2026)
  • Mentor for UTD K-12 & Clarks Summer Research Programs (2023–2025)
  • Student Volunteer at ICSE 2025, ISSTA 2023

Awards

  • 1st Place, ACM Student Research Competition at ICSE, 2025
  • Mary and Richard Templeton Graduate Fellowship, 2025
  • ACM SIGSOFT CAPS Travel Award for ICSE, 2025
  • Jonsson School Best Teaching Assistant Award, 2024
“And now these three remain: faith, hope and love. But the greatest of these is love.”