Follow
Ruijie Meng
Ruijie Meng
Verified email at u.nus.edu - Homepage
Title
Cited by
Cited by
Year
Detecting concurrency memory corruption vulnerabilities
Y Cai, B Zhu, R Meng, H Yun, L He, P Su, B Liang
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
382019
Large language model guided protocol fuzzing
R Meng, M Mirchev, M Böhme, A Roychoudhury
Proceedings of the 31st Annual Network and Distributed System Security …, 2024
332024
Linear-time temporal logic guided greybox fuzzing
R Meng, Z Dong, J Li, I Beschastnikh, A Roychoudhury
Proceedings of the 44th International Conference on Software Engineering …, 2022
25*2022
Low-overhead deadlock prediction
Y Cai, R Meng, J Palsberg
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
122020
Greybox fuzzing of distributed systems
R Meng, G Pîrlea, A Roychoudhury, I Sergey
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
6*2023
Convul: an effective tool for detecting concurrency vulnerabilities
R Meng, B Zhu, H Yun, H Li, Y Cai, Z Yang
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
62019
Program Environment Fuzzing
R Meng, GJ Duck, A Roychoudhury
arXiv preprint arXiv:2404.13951, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–7