Publications

Abdullah Noman, Mengfei Ren (2026). [ISSTA '26] Understanding Correctness Failures in Compiler Optimization . In FSE 2025.

Hailong Jiang, Feng Yu, Emran Hossain, Jianfeng Zhu, Mengfei Ren, Qiang Guan, Chunwei Xia (2026). Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss?. arXiv.

Hailong Jiang, Emran Hossain, Feng Yu, Chunwei Xia, Mengfei Ren, Jianfeng Zhu, Qiang Guan (2026). BMOA: Baseline-Mechanism-Outcome Attribution for Compiler-Induced Numerical Deviations. arXiv.

Xiaolei Ren, Mengfei Ren, Yu Lei, Jiang Ming (2025). [FSE '25] Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis. In FSE 2025.

Zhuoyun Qian, Fangtian Zhong, Qin Hu, Yili Jiang, Jiaqi Huang, Mengfei Ren, Jiguo Yu (2025). Software Vulnerability Analysis Across Programming Language and Program Representation Landscapes: A Survey. arXiv.

Erika Leal, Mengfei Ren, Sijia Shi, Jiang Ming (2025). [HOST '25] Low-entropy Packed Binary Detection via Accurate Hardware Events Profiling. In HOST 2025.

Abdullah Al Noman, Samson Olugbenga Idowu, Rolly Davany Mougoue Kakanou, Paolo Ciancarini, Mengfei Ren (2025). An AI-based Security Solution for DevSecOps. In Proceedings of the 2025 International Symposium on Intelligent Computing and Networking (ISICN 2025).

Mengfei Ren, Haotian Zhang, Xiaolei Ren, Jiang Ming, Yu Lei (2023). [ESORICS '23] Intelligent Zigbee Protocol Fuzzing via Constraint-Field Dependency Inference. In ESORICS 2023.

Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, Yu Lei (2022). Security Analysis of Zigbee Protocol Implementation via Device-Agnostic Fuzzing. In ACM Journal Digital Threats Research and Practice (DTRAP).

Haotian Zhang, Mengfei Ren, Yu Lei, Jiang Ming (2022). [ASPLOS '22] One Size Does Not Fit All: Security Hardening of MIPS Embedded Systems via Static Binary Debloating for Shared Libraries. In ASPLOS 2022.