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)
CS/EIE/SE 471 Computer and Network Security (Undergraduate, Spring 2025)
SE 252 Software Engineering Management (Undergraduate, Spring 2025)
DNCZ04 Cybersecurity (PhD, 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)
審定編輯出版編程類書籍：
《Swift語言實戰精講》人民郵電出版社
劉明洋 著, 汪鴻俊 任小蕾 審
第一版，ISBN: 978-7-115-347-039
第二版，ISBN: 978-7-115-422-859
《微信小程序實戰入門》人民郵電出版社
劉明洋 著, 汪鴻俊 任小蕾 審
第一版，ISBN: 978-7-115-466-860
第二版，ISBN: 978-7-115-493-286
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. Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei, Raghu Kacker, D Richard Kuhn, and Dimitris E Simos, MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts, IEEE Conference on Software Testing, Verification and Validation, 2023.
2. Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, and Yu Lei, Security analysis of ZigBee protocol implementation via device-agnostic fuzzing, ACM Digital Threats: Research and Practice, 2023.
3. Meng Ren, Haotian Zhang, Xiaolei Ren, Jiang Ming, and Yu Lei, Intelligent Zigbee Protocol Fuzzing via Constraint-Field Dependency Inference, European Symposium on Research in Computer Security, 2023.
4. Fuchun Sun, Yang Chen, Yangyang Wu, Linxiang Li, and Xiaolei Ren, Motion planning and cooperative manipulation for mobile robots with dual arms, IEEE Transactions on Emerging Topics in Computational Intelligence, 2022.
5. Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, and Yu Lei, Z-Fuzzer: device-agnostic fuzzing of Zigbee protocol implementation, ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2021.
6. Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, and Li Li, Unleashing the hidden power of compiler optimization on binary code difference, ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021. (CCF-A)
Award
ACM SIGPLAN Distinguished Paper Award (PLDI 2021)
Academic Publication Citation Information:
Professional Society Membership
Member, CCF/ACM/IEEE
