Academic Qualification
Ph.D. in Computer Science, The University of Texas, Arlington, USA
M.S. in Software Engineering, The University of Texas, Arlington, USA
B.S. in Computer Science, Jilin University, China
Teaching Area
EIE 331 Embedded System (Undergraduate, Fall 2024, Fall 2025)
CS/EIE/SE 471 Computer and Network Security (Undergraduate, Spring 2025)
SE 252 Software Engineering Management (Undergraduate, Spring 2025)
DNCZ04 Cybersecurity (PhD level, Spring 2025)
Research Area
Binary Code Analysis and Verification for Security Issues
Hardware-Assisted Software Security Analysis
Compiler Optimization and Code Protection
Professional Services
Local Co-Chair: Asia-Pacific Software Engineering Conference (APSEC 2025)
Reviewer: Elsevier Computers & Security, since 2021
Reviewer: IEEE Transactions on Dependable and Secure Computing, since 2022
Reviewer: Journal of Systems & Software, since 2024
Reviewer: Elsevier Computers and Electrical Engineering, since 2024
Editor: Journal of Code Generation and Optimization, since 2024
External Reviewer: ACM Conference on Computer and Communications Security (CCS’19-’20)
External Reviewer: IEEE/ACM Automated Software Engineering (ASE’20)
External Reviewer: USENIX Security (’21-’22, ’24)
Working Experience
Sep. 2024 ~ present, Assistant Professor, School of Computer Science and Engineering, Faculty of Innovation Engineering, MUST
Sep. 2023 ~ Aug. 2024, Research Associate, Department of Computer Science and Technology, Tsinghua University
Sep. 2017 ~ Aug. 2023, Graduate Research Assistant/Teaching Assistant, University of Texas, Arlington
Academic Publication (selected)
1. In Proceedings of the ACM International Conference on the Foundations of Software Engineering (FSE). Trondheim, Norway, 2025. (CCF-A)
[FSE ’25] Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis
Xiaolei Ren, Mengfei Ren, Yu Lei, Jiang Ming
2. In ACM Digital Threats: Research and Practice (DTRAP). 2023. (JCR Q1)
[DTRAP] Security analysis of ZigBee protocol implementation via device-agnostic fuzzing
Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, and Yu Lei.
3. In Proceedings of the 2023 European Symposium on Research in Computer Security (ESORICS). Hague, Netherlands, 2023. (CCF-B)
[ESORICS ’23] Intelligent Zigbee Protocol Fuzzing via Constraint-Field Dependency Inference
Meng Ren, Haotian Zhang, Xiaolei Ren, Jiang Ming, and Yu Lei
4. In Proceedings of the 16th IEEE International Conference on Software Testing, Verification and Validation (ICST), Dublin, Ireland, 2023.
[ICST ’23] MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts
Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei, Raghu Kacker, Richard Kuhn, and Dimitris Simos
5. In the IEEE Transactions on Emerging Topics in Computational Intelligence (TETCI), 2022. (JCR Q1)
[TETCI] Motion Planning and Cooperative Manipulation for Mobile Robots with Dual Arms
Fuchun Sun, Yang Chen, Yangyang Wu, Linxiang Li, and Xiaolei Ren
6. In Proceedings of the ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), 2021. (CCF-A)
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, and Li Li
7. ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec), 2021.
[WiSec ‘21] Z-Fuzzer: device-agnostic fuzzing of Zigbee protocol implementation
Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, and Yu Lei
Zero-day Vulnerabilities Detected: CVE-2020-27890, CVE-2020-27891, CVE-2020-27892
Award
ACM SIGPLAN Distinguished Paper Award (PLDI 2021)
Research Grants
1. PI, Project supported by the Macao Science and Technology Development Fund, 04/2025-04/2027
2. PI, Project supported by the Faculty Research Grants of MUST, 03/2025-03/2026
Academic Publication Citation Information:
Professional Society Membership
Member, CCF/ACM/IEEE
