| A study on prompt design, advantages and limitations of chatgpt for deep learning program repair J Cao, M Li, M Wen, S Cheung arXiv preprint arXiv:2304.08191, 2023 | 50 | 2023 |
| Deepfd: Automated fault diagnosis and localization for deep learning programs J Cao, M Li, X Chen, M Wen, Y Tian, B Wu, SC Cheung Proceedings of the 44th international conference on software engineering …, 2022 | 22 | 2022 |
| SemMT: a semantic-based testing approach for machine translation systems J Cao, M Li, Y Li, M Wen, SC Cheung, H Chen ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (2), 1-36, 2022 | 22 | 2022 |
| FlashRegex: deducing anti-ReDoS regexes from examples Y Li, Z Xu, J Cao, H Chen, T Ge, SC Cheung, H Zhao Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 21 | 2020 |
| {ReDoSHunter}: A combined static and dynamic approach for regular expression {DoS} detection Y Li, Z Chen, J Cao, Z Xu, Q Peng, H Chen, L Chen, SC Cheung 30th USENIX Security Symposium (USENIX Security 21), 3847-3864, 2021 | 17 | 2021 |
| TransRegex: multi-modal regular expression synthesis by generate-and-repair Y Li, S Li, Z Xu, J Cao, Z Chen, Y Hu, H Chen, SC Cheung 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 13 | 2021 |
| {RegexScalpel}: Regular Expression Denial of Service ({{{{{ReDoS}}}}}) Defense by {Localize-and-Fix} Y Li, Y Sun, Z Xu, J Cao, Y Li, R Li, H Chen, SC Cheung, Y Liu, Y Xiao 31st USENIX Security Symposium (USENIX Security 22), 4183-4200, 2022 | 8 | 2022 |
| Learning k-Occurrence Regular Expressions with Interleaving Y Li, X Zhang, J Cao, H Chen, C Gao International Conference on Database Systems for Advanced Applications, 70-85, 2019 | 7 | 2019 |
| Comet: Coverage-guided model generation for deep learning library testing M Li, J Cao, Y Tian, TO Li, M Wen, SC Cheung ACM Transactions on Software Engineering and Methodology 32 (5), 1-34, 2023 | 6 | 2023 |
| FlashSchema: achieving high quality XML schemas with powerful inference algorithms and large-scale schema data Y Li, J Cao, H Chen, T Ge, Z Xu, Q Peng 2020 IEEE 36th International Conference on Data Engineering (ICDE), 1962-1965, 2020 | 4 | 2020 |
| A learning-based framework for automatic parameterized verification Y Li, J Cao, J Pang 2019 IEEE 37th International Conference on Computer Design (ICCD), 450-459, 2019 | 3 | 2019 |
| Enchanting program specification synthesis by large language models using static analysis and program verification C Wen, J Cao, J Su, Z Xu, S Qin, M He, H Li, SC Cheung, C Tian arXiv preprint arXiv:2404.00762, 2024 | 2 | 2024 |
| Memo: Coverage-guided model generation for deep learning library testing M Li, J Cao, Y Tian, TO Li, M Wen, SC Cheung ArXiv, abs/2208.01508, 2022 | 2 | 2022 |
| L-CMP: An automatic learning-based parameterized verification tool J Cao, Y Li, J Pang Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 2 | 2018 |
| Concerned with Data Contamination? Assessing Countermeasures in Code Language Model J Cao, W Zhang, SC Cheung arXiv preprint arXiv:2403.16898, 2024 | 1 | 2024 |
| An automatic parameterized verification of FLASH cache coherence protocol Y Li, J Cao, K Duan 2018 IEEE International Conference on Software Quality, Reliability and …, 2018 | 1 | 2018 |
| Testing Coreference Resolution Systems without Labeled Test Sets J Cao, Y Lu, M Wen, SC Cheung Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | | 2023 |
| Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems X Du, X Chen, J Cao, M Wen, SC Cheung, H Jin Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | | 2023 |
Shing-Chi CheungChair Professor of Computer Science and Engineering, HKUSTDirección de correo verificada de cse.ust.hk
