She/Her
Incoming Tenure-Track Faculty,
CISPA Helmholtz Center for Information Security
x@u.nus.edu, x->ruijie_meng
I'm Ruijie (pronounced like Ray Jay), an incoming tenure-track faculty member of CISPA Helmholtz Center for Information Security. I am finishing 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.
🚀 Ph.D. Positions Available!
I am actively looking for self-motivated Ph.D. students to work on software security. If you are interested in working with me, feel free to drop me an email with your CV and research interests.
Why do a Ph.D. at CISPA?
Wondering more about Ph.D. life in Germany? Read this blog by Prof. Andreas Zeller.
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]
Large Language Model assisted Hybrid Fuzzing
Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
arXiv preprint arXiv:2412.15931, 2024
[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]
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]
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
Reviewer for IEEE Transactions on Dependable and Secure Computing (TDSC), 2025
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 ACM Transactions on Software Engineering and Methodology (TOSEM), 2024
Program Committee for ASE 2024 Tool Demonstration Track
Reviewer for Software Testing, Verification, and Reliability (STVR), 2024
Reviewer for the Journal of Systems & Software (JSS), 2024
Program Committee for ISSTA 2024 Artifact Evaluation
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
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