| 2026 | ACL | Across Programming Language Silos: A Study on Cross-Lingual Retrieval-Augmented Code Generation. | Qiming Zhu, Jialun Cao, Xuanang Chen, Weili Zhang, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung |
| 2026 | FM | ModelWisdom: An Integrated Toolkit for TLA | Zhiyong Chen, Jialun Cao, Chang Xu, Shing-Chi Cheung |
| 2026 | TASE | Enhancing LLM-Based Proof Synthesis for Rust Programs via Semantic Chunking and Hierarchical Context Expansion. | Yuchen Zhang, Cheng Wen, Zhiwu Xu, Dugang Liu, Jialun Cao, Yuwei Liu, Shengchao Qin, Cong Tian |
| 2025 | AAAI | ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation. | Mengyang Wu, Yuzhi Zhao, Jialun Cao, Mingjie Xu, Zhongming Jiang, Xuehui Wang, Qinbin Li, Guangneng Hu, Shengchao Qin, Chi-Wing Fu |
| 2025 | AAAI | DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation. | Qiming Zhu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung |
| 2025 | ACL | From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. | Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian |
| 2025 | ACL | CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution. | Ruiyang Xu, Jialun Cao, Yaojie Lu, Ming Wen, Hongyu Lin, Xianpei Han, Ben He, Shing-Chi Cheung, Le Sun |
| 2024 | APSEC | SDEFL: A Lightweight Fault Detection and Localization Method for Deep Neural Networks. | Bo Yang, Jiawei Hu, Jialun Cao |
| 2024 | CAV | Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. | Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian |
| 2024 | TASE | Fuzzing for Stateful Protocol Implementations: Are We There Yet? | Kunpeng Jian, Yanyan Zou, Yeting Li, Jialun Cao, Menghao Li, Jian Sun, Jingyi Shi, Wei Huo |
| 2022 | ICSE | DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs. | Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung |
| 2021 | ICSE | TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. | Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung |
| 2020 | ICDE | FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data. | Yeting Li, Jialun Cao, Haiming Chen, Tingjian Ge, Zhiwu Xu, Qiancheng Peng |
| 2019 | DASFAA | Learning k-Occurrence Regular Expressions with Interleaving. | Yeting Li, Xiaolan Zhang, Jialun Cao, Haiming Chen, Chong Gao |
| 2019 | ICCD | A Learning-Based Framework for Automatic Parameterized Verification. | Yongjian Li, Jialun Cao, Jun Pang |
| 2018 | QRS | An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. | Yongjian Li, Jialun Cao, Kaiqiang Duan |