Avatar

Miao Miao

Research Assistant

Dallas, TX

mmiao@utdallas.edu

https://github.com/AnnabellaM


About Me

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


Research Interests

My research interest lies in program analysis and its application in software reliability and security. I have focused on enhancing the reliability and usability of static analysis tools by automatically detecting bugs in these tools and diagnose their root causes.




Publications

ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
ISSTA 2023

Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei


An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools
Submitting to ICSE 2025

Miao Miao, Dakota Soles, Austin Mordahl, Shiyi Wei


Fine-Grained Requirements-to-Code Traceability
Submitting to ICSE 2025

Ying Zhou, Miao Miao, Jonathan Perry, Vlad Birsan, Juan Manuel Florez, Oscar Chaparro, Shiyi Wei, Andrian Marcus


Work Experience

Software Engingeering Intern
Tinder Inc.    May. 2022 - Aug. 2022

- Contributed to the development of an iOS tooling library to automate the translations pipeline.

iOS Developer
LotusFlare Inc.    Aug. 2019 - Jun. 2021

- Developed and maintained 2 iOS apps (mWell PH and myIM3). Including features such as geofencing, teleconsultation, push notifications, event tracking.

- Collaborated with QA team on automated testing and with product team on requirements analysis.

- Investigated on cross-platform solutions (Flutter) which can reduce the development cost by allowing teams to build apps for iOS, Android and web all from a single codebase.

Junior Software Engineer
KA Software    Apr. 2018 - Apr. 2019

- Customized Electronic Data Interchange (EDI) solutions for clients with various industry backgrounds.

- Established EDI connections (AS2, OFTP, SFTP, etc.) between clients and business partners. Mapped business documents from/to EDI standardized format.

- Deployed, monitored and maintained clients’ EDI platforms across multiple operating systems.


Volunteer Service

ISSTA 2023
2023