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 | 88 | 2024 |
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 | 43 | 2019 |
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 | 34 | 2022 |
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 | 17* | 2023 |
Low-overhead deadlock prediction Y Cai, R Meng, J Palsberg Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 15 | 2020 |
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 | 6 | 2019 |
Program Environment Fuzzing R Meng, GJ Duck, A Roychoudhury Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications …, 2024 | | 2024 |