Personal profile
Research interests
Computer Science / Information Technology - Large language models for software engineering
Computer Science / Information Technology - Software testing
Related documents
Education/Academic qualification
PhD in Computer Science and Engineering, PhD, The Hong Kong University of Science and Technology
2024
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 16 Peace, Justice and Strong Institutions
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Active
-
A Multi-faceted Framework for Automated Pseudocode-to-Code Translation using Large Language Models
CAO, J. (CoI) & CHEUNG, S. C. (PI)
1/01/26 → 31/12/28
Project: Research
Research output
-
Can Emulating Semantic Translation Help LLMs with Code Translation? A Study Based on Pseudocode
Chen, S., Xu, C., Chen, J., Cao, J., Wu, J. & Cheung, S.-C., 23 Jan 2026, (E-pub ahead of print) In: ACM Transactions on Software Engineering and Methodology. 31 p.Research output: Contribution to journal › Journal Article › peer-review
Open Access -
ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair (Short Tool Paper)
Chen, Z., Cao, J., Xu, C. & Cheung, S. C., 18 May 2026, Formal Methods - 27th International Symposium, FM 2026, Proceedings. Sampaio, A. & Stoelinga, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 211-219 9 p. (Lecture Notes in Computer Science; vol. 16556 LNCS).Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review
Open Access -
大模型驱动的形式化定理证明: 综述与展望
Translated title of the contribution :Formal Theorem Proving Empowered by Large Language Model: Survey and Perspectives Research output: Contribution to journal › Review article › peer-review
-
A study on prompt design, advantages and limitations of ChatGPT for deep learning program repair
Cao, J., LI, M., Wen, M. & CHEUNG, S. C., May 2025, In: Automated Software Engineering. 32, 1, p. 1-29 29 p., 30.Research output: Contribution to journal › Journal Article › peer-review
Open Access21 Link opens in a new tab Citations (Scopus) -
CodeCleaner: Mitigating Data Contamination for LLM Benchmarking
Cao, J., Chen, S., Zhang, W., Lo, H. C., Li, Y. & Cheung, S. C., 27 Oct 2025, Internetware '25: Proceedings of the 16th International Conference on Internetware. Association for Computing Machinery, Inc, p. 71-83 13 p.Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review
Open Access
Awards
-
ACM SIGSOFT Outstanding Doctoral Dissertation Award
CAO, J. (Recipient), Jan 2025
Prize: Best Paper Award and Prize