Ruijie Meng

She/Her

PhD Candidate
National University of Singapore

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

     

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.

Education Background

  • 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

Publications

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

Teaching

  • 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

  • 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