Biography
Ruijie Meng (Ruijie is 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 student in Institute of Software, Chinese Academy of Sciences (ISCAS) under the supervision of Prof. Yan Cai. She obtained her bachelor's degree from Tianjin University (TJU).
Her research interests fall in software testing and security. Her current research focuses on fuzzing reactive systems to enhance the effectiveness of fuzzing techniques with model checking as inspiration.
Her resume can be found here.
Education
Ph.D. Candidate, National University of Singapore, Singapore
- Major: Computer Science, School of Computing
- GPA: 4.83/5
M.Eng., University of Chinese Academy of Sciences, Beijing, China
- Major: Software Engineering, State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences
- GPA: 3.81/4 (Ranking: 1/102)
B.Eng., Tianjin University, Tianjin, China
- Major: Software Engineering, School of Computer Software
- GPA: 3.79/4 (Ranking: 3/113)
B.Ec., Nankai University, Tianjin, China
- Minor: Finance, School of Finance
Publications
-
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, 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.
Academic Services
- 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
Teaching Experience
- CS5219 - Automated Software Validation, NUS (AY 2023/2024, Semester 1), Tutor [Teacher Report]
- CS2040 - Data Structures and Algorithms, NUS (AY 2022/2023, Semester 2), Teaching Assistant
- CS5219 - Automated Software Validation, NUS (AY 2022/2023, Semester 1), Tutor [Teacher Report]
- 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
Selected Honors and Awards
- NUS SoC Dean's Graduate Research Excellence Award, 2023
- NUSGS Research Incentive Award, 2023 - 2024
- NUS SoC 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 University 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