| 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 | 79 | 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 | 43 | 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 | 33 | 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 | 28 | 2020 |
| 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 | 24 | 2021 |
| 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 International Conference on Computer Aided Verification, 302-328, 2024 | 20 | 2024 |
| {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 | 20 | 2021 |
| 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 | 18 | 2023 |
| Concerned with Data Contamination? Assessing Countermeasures in Code Language Model J Cao, W Zhang, SC Cheung arXiv preprint arXiv:2403.16898, 2024 | 14 | 2024 |
| {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 | 11 | 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 |
| 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 | 5 | 2020 |
| MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing C Xu, S Chen, J Wu, SC Cheung, V Terragni, H Zhu, J Cao Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 4 | 2024 |
| 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 | 4 | 2019 |
| Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation Z Jiang, M Wen, J Cao, X Shi, H Jin Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 3 | 2024 |
| DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation Q Zhu, J Cao, Y Lu, H Lin, X Han, L Sun, SC Cheung arXiv preprint arXiv:2408.13204, 2024 | 3 | 2024 |
| CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution R Xu, J Cao, Y Lu, H Lin, X Han, B He, SC Cheung, L Sun arXiv preprint arXiv:2408.13001, 2024 | 3 | 2024 |
| 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 | 2 | 2023 |
| 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 |
Shing-Chi CheungChair Professor of Computer Science and Engineering, HKUSTVerified email at cse.ust.hk