Academic Qualification
Ph.D. in Computer Science, University of Texas, Arlington
M.S. in Software Engineering, University of Texas, Arlington
B.S. in Computer Science, Jilin University
Teaching Area
Embedded System Design
Software Security
Programming Language
Research Area
Binary Code Analysis and Verification for Security Issues
Hardware-Assisted Software Security Analysis
Software Engineering and Program Analysis
Compiler Optimization and Analysis
Professional Services
Elsevier Computers & Security, since 2021
IEEE Transactions on Dependable and Secure Computing, since 2022
ACM Conference on Computer and Communications Security (CCS’19-’20)
IEEE/ACM Automated Software Engineering (ASE’20)
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. 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, Top-tier Conference)
Awards
ACM SIGPLAN Distinguished Paper Award (PLDI 2021) (CCF-A, Top-tier Conference in Programming Language)
Academic Publication Citation Information:
Google Scholar
https://scholar.google.com/citations?hl=en&user=E4KRUtoAAAAJ&view_op=list_works
Professional Society Membership
Member, ACM/IEEE
