Ruijie Meng

According to our database, Ruijie Meng authored at least 20 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Crossing the NL/PL Divide: Information Flow Analysis Across the NL/PL Boundary in LLM-Integrated Code.

Zihao Xu, Xiao Cheng, Ruijie Meng, Yuekang Li

CoRR, March, 2026

VeriGrey: Greybox Agent Validation.

Yuntong Zhang, Sungmin Kang, Ruijie Meng, Marcel Böhme, Abhik Roychoudhury

CoRR, March, 2026

To Defend Against Cyber Attacks, We Must Teach AI Agents to Hack.

Terry Yue Zhuo, Yangruibo Ding, Wenbo Guo, Ruijie Meng

CoRR, February, 2026

2025

Agentic Program Verification.

Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng, Abhik Roychoudhury

CoRR, November, 2025

AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing.

Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury

IEEE Trans. Software Eng., April, 2025

Large Language Model Powered Symbolic Execution.

Yihe Li, Ruijie Meng, Gregory J. Duck

Proc. ACM Program. Lang., 2025

2024

Large Language Model assisted Hybrid Fuzzing.

Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury

CoRR, 2024

Large Language Model guided Protocol Fuzzing.

Ruijie Meng, Martin Mirchev, Marcel Böhme, Abhik Roychoudhury

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

Fspen: an Ultra-Lightweight Network for Real Time Speech Enahncment.

Lei Yang, Wei Liu, Ruijie Meng, Gunwoo Lee, Soonho Baek, Han-Gil Moon

Proceedings of the IEEE International Conference on Acoustics, 2024

Program Environment Fuzzing.

Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Modelling individual head-related transfer function (HRTF) based on anthropometric parameters and generic HRTF amplitudes.

Rui Zhang, Ruijie Meng, Jinqiu Sang, Yi Hu, Xiaodong Li, Chengshi Zheng

CAAI Trans. Intell. Technol., June, 2023

Distributed System Fuzzing.

Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey

CoRR, 2023

Greybox Fuzzing of Distributed Systems.

Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Linear-time Temporal Logic guided Greybox Fuzzing.

Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

EmotionBox: a music-element-driven emotional music generation system using Recurrent Neural Network.

Kaitong Zheng, Ruijie Meng, Chengshi Zheng, Xiaodong Li, Jinqiu Sang, Juanjuan Cai, Jie Wang

CoRR, 2021

Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing.

Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury

CoRR, 2021

2020

Low-overhead deadlock prediction.

Yan Cai, Ruijie Meng, Jens Palsberg

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Detecting concurrency memory corruption vulnerabilities.

Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, Bin Liang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities.

Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs.

Biyun Zhu, Ruijie Meng, Zhenyu Zhang, W. K. Chan

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019