I'm Ruijie (pronounced like Ray Jay), an incoming tenure-track faculty member of CISPA Helmholtz Center for Information Security. I completed my Ph.D. at School of Computing, National University of Singapore (NUS), advised by Professor Abhik Roychoudhury.

My research focuses on software security. I develop techniques to automatically validate distributed, concurrent, and stateful software systems. More recently, I am interested in exploring frontier AI to solve security challenges, as well as in enhancing the security and reliability of AI-powered software systems.

Publications

• Agentic Verification of Software Systems
  Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng, Abhik Roychoudhury
  34th ACM International Conference on Foundations of Software Engineering (FSE), 2026
  [paper]

  Large Language Model powered Symbolic Execution
  Yihe Li, Ruijie Meng (corresponding author), Gregory J. Duck
  40th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), 2025
  [paper]

• AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
  Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
  IEEE Transactions on Software Engineering (TSE), 2025
  Journal First Paper at the 33rd ACM International Conference on the Foundations of Software Engineering (FSE), 2025
  [paper][slides][code]

• Program Environment Fuzzing
  Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
  31st ACM Conference on Computer and Communications Security (CCS), 2024
  [paper] [slides] [code]

• Large Language Model guided Protocol Fuzzing
  Ruijie Meng, Martin Mirchev, Marcel Böhme, Abhik Roychoudhury
  31st Network and Distributed System Security Symposium (NDSS), 2024
  [paper] [slides] [code]
  🏆 Number 29 in Normalized Top-100 Security Papers of all time

• Greybox Fuzzing of Distributed Systems
  Ruijie Meng, George Pirlea, Abhik Roychoudhury, Ilya Sergey
  30th ACM Conference on Computer and Communications Security (CCS), 2023
  [paper] [slides] [code]

• Linear-time Temporal Logic guided Greybox Fuzzing
  Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
  ACM/IEEE 44th International Conference on Software Engineering (ICSE), 2022
  [paper] [slides] [code]

• Low-Overhead Deadlock Prediction
  Yan Cai, Ruijie Meng (co-first author), Jens Palsberg
  ACM/IEEE 42nd International Conference on Software Engineering (ICSE), 2020

• ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities
  Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang
  ACM/IEEE 34th International Conference on Automated Software Engineering Tool (ASE), 2019

• Detecting Concurrency Memory Corruption Vulnerabilities
  Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, Bin Liang
  ACM 27th European Software Engineering Conference/Symposium on the Foundations of Software Engineering (ESEC/FSE), 2019
  [paper] [dataset]

Teaching

• Fuzzing and Software Security Summer School, NUS (May 2024), Lecturer

• CS5219 - Automated Software Validation, NUS (AY 2023/2024, Semester 1), Teaching Assistant [Student Feedback]

• CS2040 - Data Structures and Algorithms, NUS (AY 2022/2023, Semester 2), Teaching Assistant

• CS5219 - Automated Software Validation, NUS (AY 2022/2023, Semester 1), Teaching Assistant [Student Feedback]

• CS2040 - Data Structures and Algorithms, NUS (AY 2021/2022, Semester 2), Teaching Assistant

• CS2040S - Data Structures and Algorithms, NUS (AY 2021/2022, Semester 1), Teaching Assistant

Academic Services

• Program Committee for ASE 2026 Research Track

• Program Committee for ISSTA 2026 Research Track

• Program Committee for OOPSLA 2026 Research Track

• Organizing Committee for FUZZING'26 Workshop

• Program Committee for ASE 2025 Research Track

• Organizing Committee for FUZZING'25 Workshop

• Social Media Editor for ACM Transactions on Software Engineering and Methodology (TOSEM) from Jan 2025

• Reviewer for IEEE Transactions on Dependable and Secure Computing (TDSC), 2025

• Reviewer for ACM Transactions on Software Engineering and Methodology (TOSEM), 2025

• Reviewer for IEEE Transactions on Software Engineering (TSE), 2025

• Program Committee for ASE 2024 Tool Demonstration Track

• Program Committee for ISSTA 2024 Artifact Evaluation

• Reviewer for ACM Transactions on Software Engineering and Methodology (TOSEM), 2024

• Reviewer for IEEE Transactions on Software Engineering (TSE), 2024

• Reviewer for Software Testing, Verification, and Reliability (STVR), 2024

• Reviewer for the Journal of Systems & Software (JSS), 2024

• Reviewer for IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2023

• Reviewer for ACM Transactions on Software Engineering and Methodology (TOSEM), 2023

• Program Committee for ISSTA 2023 Artifact Evaluation

• Program Committee for FUZZING'22 Workshop@NDSS Artifact Evaluation

• Program Committee for ISSTA 2022 Artifact Evaluation

• Program Committee for ICSE 2022 Artifact Evaluation

• Student Volunteer for Ada Workshop 2022, supporting female and underrepresented researchers

• Student Volunteer for ESEC/FSE 2022

Selected Honors and Awards

• NUS Dean's Graduate Research Excellence Award, 2023

• NUSGS Research Incentive Award, 2023--2024

• NUS Teaching Fellowship Nomination, 2023

• NUS Research Achievement Award, 2023

• NUS President's Graduate Fellowship, 2020--2024

• Outstanding Graduate of Beijing (Top 1% got the awards), 2020

• Outstanding Graduate of University of Chinese Academy of Sciences (Top 1% got the awards), 2020

• President's Fellowship of Chinese Academy of Sciences (Top 1% got the awards), 2020

• National Scholarship of China (Top 1% got the awards), 2019

• First-Class Academic Scholarship of University of Chinese Academy of Sciences (Top 10% got the awards), 2018 and 2019

• ACM SIGAI Scholarship, 2019

• ACM SIGSOFT CAPS Fund, 2019