L-CMP: an automatic learning-based parameterized verification tool. - Jialun Cao; Yongjian Li; Jun Pang 001 (ASE, 2018)

An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. - Yongjian Li; Jialun Cao; Kaiqiang Duan (QRS, 2018)

Learning k-Occurrence Regular Expressions with Interleaving. - Yeting Li; Xiaolan Zhang; Jialun Cao; Haiming Chen 001; Chong Gao (DASFAA (2), 2019)

A Learning-Based Framework for Automatic Parameterized Verification. - Yongjian Li; Jialun Cao; Jun Pang 001 (ICCD, 2019)

FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data. - Yeting Li; Jialun Cao; Haiming Chen 001; Tingjian Ge; Zhiwu Xu 001; Qiancheng Peng (ICDE, 2020)

FlashRegex: Deducing Anti-ReDoS Regexes from Examples. - Yeting Li; Zhiwu Xu 001; Jialun Cao; Haiming Chen 001; Tingjian Ge; Shing-Chi Cheung; Haoren Zhao (ASE, 2020)

SemMT: A Semantic-based Testing Approach for Machine Translation Systems. - Jialun Cao; Meiziniu Li; Yeting Li; Ming Wen 001; Shing-Chi Cheung (CoRR, 2020)

TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. - Yeting Li; Shuaimin Li; Zhiwu Xu 001; Jialun Cao; Zixuan Chen; Yun Hu; Haiming Chen 001; Shing-Chi Cheung (ICSE, 2021)

ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection. - Yeting Li; Zixuan Chen; Jialun Cao; Zhiwu Xu 001; Qiancheng Peng; Haiming Chen 001; Liyuan Chen; Shing-Chi Cheung (USENIX Security Symposium, 2021)

DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs. - Jialun Cao; Meiziniu Li; Xiao Chen; Ming Wen 001; Yongqiang Tian 001; Bo Wu 018; Shing-Chi Cheung (ICSE, 2022)

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix. - Yeting Li; Yecheng Sun; Zhiwu Xu 001; Jialun Cao; Yuekang Li; Rongchen Li; Haiming Chen 001; Shing-Chi Cheung; Yang Liu 003; Yang Xiao 011 (USENIX Security Symposium, 2022)

MEMO: Coverage-guided Model Generation For Deep Learning Library Testing. - Meiziniu Li; Jialun Cao; Yongqiang Tian 001; Tsz On Li; Ming Wen 001; Shing-Chi Cheung (CoRR, 2022)

SemMT: A Semantic-Based Testing Approach for Machine Translation Systems. - Jialun Cao; Meiziniu Li; Yeting Li; Ming Wen 001; Shing-Chi Cheung; Haiming Chen 001 (ACM Trans. Softw. Eng. Methodol., 2022)

Testing Coreference Resolution Systems without Labeled Test Sets. - Jialun Cao; Yaojie Lu 001; Ming Wen 001; Shing-Chi Cheung (ESEC/SIGSOFT FSE, 2023)

Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems. - Xiaohu Du; Xiao Chen; Jialun Cao; Ming Wen 001; Shing-Chi Cheung; Hai Jin 001 (ESEC/SIGSOFT FSE, 2023)

COMET: Coverage-guided Model Generation For Deep Learning Library Testing. - Meiziniu Li; Jialun Cao; Yongqiang Tian 001; Tsz On Li; Ming Wen 001; Shing-Chi Cheung (ACM Trans. Softw. Eng. Methodol., 2023)

SDEFL: A Lightweight Fault Detection and Localization Method for Deep Neural Networks. - Bo Yang; Jiawei Hu; Jialun Cao (APSEC, 2024)

Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. - Cheng Wen 002; Jialun Cao; Jie Su 002; Zhiwu Xu 001; Shengchao Qin; Mengda He; Haokun Li; Shing-Chi Cheung; Cong Tian (CAV (2), 2024)

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models. - Jialun Cao; Zhiyong Chen; Jiarong Wu; Shing-Chi Cheung; Chang Xu 001 (ASE, 2024)

Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation. - Zongze Jiang; Ming Wen 001; Jialun Cao; Xuanhua Shi; Hai Jin 001 (ASE, 2024)

MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing. - Congying Xu; Songqiang Chen; Jiarong Wu; Shing-Chi Cheung; Valerio Terragni; Hengcheng Zhu 001; Jialun Cao (ASE, 2024)

Reproducibility Companion Paper: Recommendation of Mix-and-Match Clothing by Modeling Indirect Personal Compatibility. - Shuiying Liao; Yujuan Ding; P. Y. Mok 001; Qiushi Huang; Jialun Cao (ICMR, 2024)

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 (TASE, 2024)

Concerned with Data Contamination? Assessing Countermeasures in Code Language Model. - Jialun Cao; Wuqi Zhang; Shing-Chi Cheung (CoRR, 2024)

DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis. - Meiziniu Li; Dongze Li; Jianmeng Liu; Jialun Cao; Yongqiang Tian 001; Shing-Chi Cheung (CoRR, 2024)

Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench. - Jialun Cao; Zhiyong Chen; Jiarong Wu; Shing-Chi Cheung; Chang Xu 001 (CoRR, 2024)

CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution. - Ruiyang Xu; Jialun Cao; Yaojie Lu 001; Hongyu Lin; Xianpei Han; Ben He; Shing-Chi Cheung; Le Sun 001 (CoRR, 2024)

CODECLEANER: Elevating Standards with A Robust Data Contamination Mitigation Toolkit. - Jialun Cao; Songqiang Chen; Wuqi Zhang; Hau Ching Lo; Shing-Chi Cheung (CoRR, 2024)

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 (AAAI, 2025)

DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation. - Qiming Zhu; Jialun Cao; Yaojie Lu 001; Hongyu Lin; Xianpei Han; Le Sun 001; Shing-Chi Cheung (AAAI, 2025)

From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. - Jialun Cao; Yaojie Lu 001; Meiziniu Li; Haoyang Ma; Haokun Li; Mengda He; Cheng Wen 002; Le Sun 001; Hongyu Zhang 002; Shengchao Qin; Shing-Chi Cheung; Cong Tian (ACL (1), 2025)

CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution. - Ruiyang Xu; Jialun Cao; Yaojie Lu 001; Ming Wen 001; Hongyu Lin; Xianpei Han; Ben He; Shing-Chi Cheung; Le Sun 001 (ACL (1), 2025)

SemBIC: Semantic-Aware Identification of Bug-Inducing Commits. - Xiao Chen; Hengcheng Zhu 001; Jialun Cao; Ming Wen 001; Shing-Chi Cheung (Proc. ACM Softw. Eng., 2025)

How Should I Build A Benchmark? Revisiting Code-Related Benchmarks For LLMs. - Jialun Cao; Yuk-Kit Chan; Zixuan Ling; Wenxuan Wang 001; Shuqing Li 001; Mingwei Liu 002; Ruixi Qiao; Yuting Han; Chaozheng Wang; Boxi Yu; Pinjia He; Shuai Wang 011; et al. (CoRR, 2025)

Isolating Language-Coding from Problem-Solving: Benchmarking LLMs with PseudoEval. - Jiarong Wu; Songqiang Chen; Jialun Cao; Hau Ching Lo; Shing-Chi Cheung (CoRR, 2025)

When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers? - Jingyi Chen; Songqiang Chen; Jialun Cao; Jiasi Shen 001; Shing-Chi Cheung (CoRR, 2025)

ReuseDroid: A VLM-empowered Android UI Test Migrator Boosted by Active Feedback. - Xiaolei Li; Jialun Cao; Yepang Liu 001; Shing-Chi Cheung; Hailong Wang (CoRR, 2025)

FeedbackEval: A Benchmark for Evaluating Large Language Models in Feedback-Driven Code Repair Tasks. - Dekun Dai; Mingwei Liu 002; Anji Li; Jialun Cao; Yanlin Wang 001; Chong Wang 013; Xin Peng 001; Zibin Zheng (CoRR, 2025)

Towards Automatic Testing and Fault Localization in Natural Language Processing Systems. - Jialun Cao (ACM SIGSOFT Softw. Eng. Notes, 2025)

A study on prompt design, advantages and limitations of ChatGPT for deep learning program repair. - Jialun Cao; Meiziniu Li; Ming Wen 001; Shing-Chi Cheung (Autom. Softw. Eng., 2025)

Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation. - Qiming Zhu; Jialun Cao; Xuanang Chen; Yaojie Lu 001; Hongyu Lin; Xianpei Han; Le Sun 001; Shing-Chi Cheung (CoRR, 2025)

EmbedAgent: Benchmarking Large Language Models in Embedded System Development. - Ruiyang Xu; Jialun Cao; Mingyuan Wu; Wenliang Zhong; Yaojie Lu 001; Ben He; Xianpei Han; Shing-Chi Cheung; Le Sun 001 (CoRR, 2025)

NoCode-bench: A Benchmark for Evaluating Natural Language-Driven Feature Addition. - Le Deng; Zhonghao Jiang; Jialun Cao; Michael Pradel; Zhongxin Liu (CoRR, 2025)

What Builds Effective In-Context Examples for Code Generation? - Dongze Li; Songqiang Chen; Jialun Cao; Shing-Chi Cheung (CoRR, 2025)

Towards Scalable Training for Handwritten Mathematical Expression Recognition. - Haoyang Li; Jiaqing Li; Jialun Cao; Zongyuan Yang; Yongping Xiong (CoRR, 2025)

Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric. - Hao Chen; Cong Tian; Zixuan He; Bin Yu; Yepang Liu; Jialun Cao (CoRR, 2025)