I am a master at East China Normal University(2022-2025), mentored by Prof. TingSu. My research interests revolve around static program analysis. By the way, I'm currently conducting some static program analysis work on Harmony App(using ArkTS, ArkUI, etc. to develop) within ArkCompiler. Additionally, in other times, I am also involved in some delta debugging research. If you have any issues to discuss, feel free to contact me via email: ml-ming@pm.me.
PS: Bachelor's Degree in Software Engineering from Yantai University(2017-2021) :-D
🐒 Publication
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles
Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li and Yulei Sui
In Proceedings of FSE 2024.
Highlights: This work has found 38 unique defects in Clang Static Analyzer, GCC Static Analyzer, and Pinpoint.
🌻 TA
Software Analysis, Testing and Verification - Fall 2023
During this period, I developed the lab sessions for the course based on the cis547 course.