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

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