Ruijie Meng

23 papers A* 6Misc 1Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Crossing the NL/PL Divide: Information Flow Analysis Across the NL/PL Boundary in LLM-Integrated Code.
CoRR
Zihao Xu, Xiao Cheng, Ruijie Meng, Yuekang Li
2026 J jnl
To Defend Against Cyber Attacks, We Must Teach AI Agents to Hack.
CoRR
Terry Yue Zhuo, Yangruibo Ding, Wenbo Guo, Ruijie Meng
2026 J jnl
VeriGrey: Greybox Agent Validation.
CoRR
Yuntong Zhang, Sungmin Kang, Ruijie Meng, Marcel Böhme, Abhik Roychoudhury
2025 J jnl
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing.
IEEE Trans. Software Eng.
Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
2025 J jnl
Agentic Program Verification.
CoRR
Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng, Abhik Roychoudhury
2025 J jnl
Large Language Model Powered Symbolic Execution.
Proc. ACM Program. Lang.
Yihe Li, Ruijie Meng, Gregory J. Duck
2025 J jnl
Large Language Model powered Symbolic Execution.
CoRR
Yihe Li, Ruijie Meng, Gregory J. Duck
2024 J jnl
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing.
CoRR
Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
2024 Misc conf
Fspen: an Ultra-Lightweight Network for Real Time Speech Enahncment.
ICASSP
Lei Yang, Wei Liu, Ruijie Meng, GunWoo Lee, Soonho Baek, Han-Gil Moon
2024 J jnl
Large Language Model assisted Hybrid Fuzzing.
CoRR
Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
2024 A* conf
Large Language Model guided Protocol Fuzzing.
NDSS
Ruijie Meng, Martin Mirchev, Marcel Böhme, Abhik Roychoudhury
2024 A* conf
Program Environment Fuzzing.
CCS
Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
2024 J jnl
Program Environment Fuzzing.
CoRR
Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
2023 J jnl
Distributed System Fuzzing.
CoRR
Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey
2023 A* conf
Greybox Fuzzing of Distributed Systems.
CCS
Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey
2023 J jnl
Modelling individual head-related transfer function (HRTF) based on anthropometric parameters and generic HRTF amplitudes.
CAAI Trans. Intell. Technol.
Rui Zhang, Ruijie Meng, Jinqiu Sang, Yi Hu, Xiaodong Li, Chengshi Zheng
2022 A* conf
Linear-time Temporal Logic guided Greybox Fuzzing.
ICSE
Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
2021 J jnl
EmotionBox: a music-element-driven emotional music generation system using Recurrent Neural Network.
CoRR
Kaitong Zheng, Ruijie Meng, Chengshi Zheng, Xiaodong Li, Jinqiu Sang, Juanjuan Cai, Jie Wang
2021 J jnl
Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing.
CoRR
Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
2020 A* conf
Low-overhead deadlock prediction.
ICSE
Yan Cai, Ruijie Meng, Jens Palsberg
2019 A* conf
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities.
ASE
Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang
2019 — conf
ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs.
COMPSAC (1)
Biyun Zhu, Ruijie Meng, Zhenyu Zhang, W. K. Chan
2019 — conf
Detecting concurrency memory corruption vulnerabilities.
ESEC/SIGSOFT FSE
Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, Bin Liang