👋 Hello, I am a Ph.D. student in Software Engineering at East China Normal University (since September 2025), supervised by Professor Ting Su. My research interests include static program analysis.
Email: [email protected].
●── 2025 — Present │ Ph.D. in Software Engineering │ East China Normal University │ ●── 2022 — 2025 │ M.S.E. in Software Engineering │ East China Normal University │ ●── 2017 — 2021 │ B.S.E. in Software Engineering │ Yantai University
── ── ── ── ── ── ── ── ──
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 identified 38 unique defects in the Clang Static Analyzer, the GCC Static Analyzer, and the Pinpoint.
Static Analysis for HarmonyOS NEXT App within Ark Compiler Runtime Core, Huawei 2012 Lab (Sep 2024 – Dec 2025).
Software Analysis, Testing and Verification
🍂 Fall 2023 · 🍂 Fall 2024 · 🍂 Fall 2025
First Prize (Team Leader), Computer System Development Capability Competition (East China Region) — OS Application Development Track, 2025.
Starlight Contributor, OpenHarmony Tech Club 2025.