Ruijie Meng

She/Her

PhD Candidate
National University of Singapore

x@comp.nus.edu.sg, x->ruijie

     

I'm Ruijie (pronounced as /'reɪˌdʒeɪ/), currently a final-year PhD candidate at School of Computing, National University of Singapore (NUS), advised by Provost's Chair Professor Abhik Roychoudhury.

My overarching research goal is to make software systems more secure and reliable. To achieve this goal, I am interested in leveraging and advancing techniques such as fuzz testing, model checking, program analysis, and AI-driven testing. My research has been focused on automated validation of distributed, concurrent, and stateful reactive systems. The validation of reactive systems has traditionally relied on software model checking. My research goes beyond the traditional approaches by synergizing concepts from model checking with recent advances in grey-box fuzzing. This synergy achieves deep and systematic analysis of real-world reactive systems at scale.

My research has resulted in publications at premier conferences in both software engineering (e.g., ICSE and FSE) and security (e.g., CCS and NDSS). I have also developed and open-sourced several automated security testing tools. These tools have discovered 200+ previously unknown vulnerabilities in widely-used software systems. My research has been recognized and mainly supported by the Dean's Graduate Research Excellence Award and the President's Graduate Fellowship.

I'm on the job market, and looking for a tenure-track faculty position for the 2024-2025 cycle!

Publications

  • Large Language Model assisted Hybrid Fuzzing
    Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
    arXiv preprint arXiv:2412.15931, 2024 (under review)
    [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
    [paper]

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

  • 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] GitHub Repo stars

  • 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] GitHub Repo stars

  • 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] GitHub Repo stars

  • 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]

  • 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

Teaching

(I enjoy teaching and mentoring students, and I was honored to be nominated for the NUS Teaching Fellowship)

  • 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

Selected Honors and Awards

  • Selected as a Participant for the 13th Global Young Scientists Summit, 2024

  • 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 8% 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