ML.M

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.