I obtained my Ph.D. in Computer Science at UT Arlington. During my doctoral journey, I had the privilege of collaborating with Dr. Jeff Lei and Dr. Jiang Ming on cutting-edge research in the field of Software Security. Before joining the Software Engineering Research Center Lab at UTA, I worked as an iOS developer in Beijing, China.

Research Interests

  • Compiler Optimization
  • Binary Code Analysis
  • Software Security Testing

Publications

In Proceedings of the 2023 European Symposium on Research in Computer Security. Hague, Netherlands, 2023

[ESORICS ’23] Intelligent Zigbee Protocol Fuzzing via Constraint-Field Dependency Inference
Mengfei Ren, Haotian Zhang, Xiaolei Ren, Jiang Ming, Yu Lei

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, Jeff Yu Lei, Raghu Kacker, Richard Kuhn, Dimitris Simos

In ACM Digital Threats: Research and Practice

[ACM DTRAP ’22Security Analysis of Zigbee Protocol Implementation via Device-agnostic Fuzzing 
Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, Yu Lei

In Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks. Abu Dhabi, UAE, 2021. (Acceptance rate 28.1%)

[WiSec ’21] Z-Fuzzer: device-agnostic fuzzing of Zigbee protocol implementation 
Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, Yu Lei

Zero-day Vulnerabilities Detected: CVE-2020-27890CVE-2020-27891CVE-2020-27892

In Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation, Virtual Event, June 23-25, 2021. (Acceptance rate 27.2%=87/320)

[PLDI ’21] Unleashing the hidden power of compiler optimization on binary code difference: an empirical study

Open-source auto-tuning framework: BinTuner, can deliver a near-optimal binary code that reveals much more differences than -Ox settings.
🏆 ACM SIGPLAN Distinguished Paper Award (PLDI)
🆕 ACM SIGPLAN Blog: When Compiler Optimization Meets Binary Code Difference
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, Li Li

Education

  • Ph.D. in Computer Science.  University of Texas at Arlington.
  • M.S. in Software Engineering.  University of Texas at Arlington.
  • B.S. in Computer Science.  Jilin University.

Teaching Experiences


     Graduate Teaching Assistant  

  • CSE 5360 Artificial Intelligence / Summer 2023.
  • CSE 5325 & 6324 Adv Topics Software Engineering / Spring 2023.
  • CSE 5324 Software Engineering: Analysis, Design, and Testing / Fall 2022.
  • CSE 4321 Software Testing & Maintenance / Fall 2021 & Spring 2022.
  • CSE 3311 Oriented Software Engineering / Summer 2021.
  • CSE 5322 Software Design Patterns / Fall 2020.
  • CSE 6324 Adv Topics Software Engineering / Spring 2020.
  • CSE 3310 Fundamentals of Software Engineering / Spring 2019 & 2021.

     Lab Instructor  

  • CSE 2100 Practical Computer Hardware & Software Systems / Spring 2020.

     Guest Talks

  • Guest Talk: Compiler Optimization and Binay Difference

           Invited by Assistant Professor Dr. Zhongwei (Luke) Li, Department of Computer Science & Information Systems at the TAMU-Commerce, October 26, 2020, 3:00-4:00 p.m.

  • Lecture: CSE 4321 Software Testing & Maintenance, Spring 2022, Slides

Paper Review Service

Elsevier: Computers & Security (’21-’24)
IEEE Transactions on Dependable and Secure Computing (’22-’24)
External Reviewers:
ACM Conference on Computer and Communications Security (CCS’19-’20).
USENIX Security (’21-’24).
IEEE/ACM Automated Software Engineering (ASE’20).
International Conference on Information and Communications Security (’19-’21).

 

Contact

  • xiaolei.ren [at] mavs [dot] uta [dot] edu
  • Engineering Research Building #513
  • 500 UTA Blvd, Arlington, TX 76010, United States
  • My Google Scholar

© 2024 Xiaolei Ren