I am a master at East China Normal University(2022-2025), mentored by Prof. TingSu. My research interests revolve around static program analysis. I’m conducting static program analysis work on HarmonyOS NEXT APP within Ark Compiler at Huawei. In parallel, I’m also conducting delta debugging work.
If you have any issues to discuss, feel free to contact me via email: ml-ming@pm.me.
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.
PS: I am refactoring the tool for this paper.
TA
Software Analysis, Testing and Verification - Fall 2023
During this period, I developed the lab sessions for the course based on the cis547 course. Under the guidance of my advisor, I made some redesigns to it.
Software Analysis, Testing and Verification - Fall 2024
During this period, I, along with my advisor and other team members, are continuing to improve the lab sessions.