| 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 | 35 | 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 | 24 | 2022 |
| 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 | 17 | 2024 |
| Low-overhead deadlock prediction Y Cai, R Meng, J Palsberg Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 11 | 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 |
| 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 | 5* | 2023 |
| Program Environment Fuzzing R Meng, GJ Duck, A Roychoudhury arXiv preprint arXiv:2404.13951, 2024 | | 2024 |
Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
