Ruijie Meng
Scholar

Ruijie Meng

Google Scholar ID: 1uepKU4AAAAJ
National University of Singapore
Software SecurityProgram Analysis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
406
 
H-index
6
 
i10-index
5
 
Publications
10
 
Co-authors
6
list available
Contact
TwitterOpen ↗GitHubOpen ↗
Publications
6 items
Crossing the NL/PL Divide: Information Flow Analysis Across the NL/PL Boundary in LLM-Integrated Code
2026
Cited
0
VeriGrey: Greybox Agent Validation
2026
Cited
0
To Defend Against Cyber Attacks, We Must Teach AI Agents to Hack
2026
Cited
0
Agentic Program Verification
2025
Cited
0
Large Language Model powered Symbolic Execution
arXiv.org · 2025
Cited
2
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
2024
Cited
0
Resume (English only)
Academic Achievements
  • Published 'Large Language Model powered Symbolic Execution' at OOPSLA 2025 (corresponding author)
  • Published 'Large Language Model assisted Hybrid Fuzzing' as arXiv preprint (2024)
  • Published 'AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing' in IEEE TSE 2025; presented as Journal First Paper at FSE 2025
  • Published 'Program Environment Fuzzing' at CCS 2024
  • Published 'Large Language Model guided Protocol Fuzzing' at NDSS 2024
  • Published 'Greybox Fuzzing of Distributed Systems' at CCS 2023; ranked #29 in Normalized Top-100 Security Papers of all time
  • Published 'Linear-time Temporal Logic guided Greybox Fuzzing' at ICSE 2022
  • Co-first author of 'Low-Overhead Deadlock Prediction' at ICSE 2020
  • Published tool paper 'ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities' at ASE 2019
  • Published 'Detecting Concurrency Memory Corruption Vulnerabilities' at ESEC/FSE 2019
Co-authors
6 total
Abhik Roychoudhury
Abhik Roychoudhury
Professor of Computer Science, National University of Singapore
Marcel Böhme
Marcel Böhme
Max Planck Institute for Security & Privacy
Co-author 3
Co-author 3
Gregory J. Duck
Gregory J. Duck
National University of Singapore
Jens Palsberg
Jens Palsberg
University of California, Los Angeles (UCLA)
Van-Thuan Pham
Van-Thuan Pham
Senior Lecturer, School of Computing and Information Systems, The University of Melbourne