Ruijie (pronounced as Ray Jey) is currently a PhD candidate in School of Computing at National University of Singapore (NUS) advised by Prof. Abhik Roychoudhury. Previously, She studied as an exam-exempted master's student at Institute of Software, Chinese Academy of Sciences (ISCAS) under the supervision of Prof. Yan Cai. She received her bachelor's degree from Tianjin University (TJU).
Her research goal is to make software systems more secure and trustworthy. She is interested in leveraging various techniques to achieve this goal, including fuzz testing, software model checking, program analysis, symbolic execution, and LLMs for testing. Her current research has been focused on automated validation of distributed, concurrent, and stateful reactive systems at scale. Reasoning about reactive systems has traditionally relied on software model checking. Her research goes beyond traditional approaches by synergizing concepts from software model checking with recent advances in greybox fuzzing, which can thus achieve deep and systematic analysis of real-world reactive systems at scale.
Her work has led to several papers published at premier conferences in the software engineering domain (e.g., ICSE, FSE, and ASE) and the security domain (e.g., CCS and NDSS). She have developed several open-source automated security testing tools responsible for many previously unknown (critical) vulnerabilities discovered in large real-world software systems. Her research has been recognized and supported by the Dean's Graduate Research Excellence Award and the President's Graduate Fellowship.
Ph.D. Candidate, National University of Singapore, Singapore
Major: Computer Science, School of Computing
M.Sc., University of Chinese Academy of Sciences, Beijing, China
Major: Computer Science, State Key Laboratory of Computer Science
B.Eng., Tianjin University, Tianjin, China
Major: Software Engineering, School of Computer Software
B.Ec., Nankai University, Tianjin, China
Minor: Finance, School of Finance
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
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] [doi] [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] [doi] [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] [doi] [dataset]
ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs
Biyun Zhu, Ruijie Meng, Zhenyu Zhang, W.K.Chan
IEEE 43rd International Computer Software and Applications Conference (COMPSAC), 2019.
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
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 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 2% got the awards), 2019
ACM SIGAI Scholarship, 2019
ACM SIGSOFT CAPS Fund, 2019
The First Price Scholarship of University of Chinese Academy of Sciences (Top 10% got the awards), 2018 and 2019
Outstanding Graduate of Tianjin University (Top 10% got the awards), 2017
Outstanding Bachelor Thesis of Tianjin University (Top 10% got the awards), 2017