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