me.jpg

Miao Miao

Ph.D. Student

Department of Computer Science

The University of Texas at Dallas

I am a third-year Ph.D. student at The University of Texas at Dallas. My faculty supervisor is Shiyi Wei.

My research interest lies in program analysis and fuzz testing with the goal of enhancing the tools’ reliability and improving the explainability of their evaluation. One line of my work is to enhance the static analysis tools by automatically detecting nondeterministic bugs and diagnosing their root causes, as well as understanding the common challenges tool developers are facing through repository mining. Another line of my work is to improve methodologies for evaluating and introspecting fuzzers by developing new benchmarks and an interactive visualization framework for fuzzing, as well as a new automated introspection framework for fuzzers, to provide a more comprehensive and accurate assessment of fuzzing tools, and eventually enable researchers and practitioners to better understand how and why their fuzzers work or fail to work.

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 ACM on Software Engineering, 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