Jialun Cao

According to our database, Jialun Cao authored at least 26 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Jialun Cao

CoRR, 2024

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

CoRR, 2024

CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution.

Ruiyang Xu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Ben He, Shing-Chi Cheung, Le Sun

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

CoRR, 2024

DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis.

Meiziniu Li, Dongze Li, Jianmeng Liu, Jialun Cao, Yongqiang Tian, Shing-Chi Cheung

CoRR, 2024

Concerned with Data Contamination? Assessing Countermeasures in Code Language Model.

Jialun Cao, Wuqi Zhang, Shing-Chi Cheung

CoRR, 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

Proceedings of the Theoretical Aspects of Software Engineering, 2024

Reproducibility Companion Paper: Recommendation of Mix-and-Match Clothing by Modeling Indirect Personal Compatibility.

Shuiying Liao, Yujuan Ding, P. Y. Mok, Qiushi Huang, Jialun Cao

Proceedings of the 2024 International Conference on Multimedia Retrieval, 2024

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

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

COMET: Coverage-guided Model Generation For Deep Learning Library Testing.

Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung

ACM Trans. Softw. Eng. Methodol., September, 2023

A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program Repair.

Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung

CoRR, 2023

Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems.

Xiaohu Du, Xiao Chen, Jialun Cao, Ming Wen, Shing-Chi Cheung, Hai Jin

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Testing Coreference Resolution Systems without Labeled Test Sets.

Jialun Cao, Yaojie Lu, Ming Wen, Shing-Chi Cheung

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

SemMT: A Semantic-Based Testing Approach for Machine Translation Systems.

Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung, Haiming Chen

ACM Trans. Softw. Eng. Methodol., 2022

MEMO: Coverage-guided Model Generation For Deep Learning Library Testing.

Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung

CoRR, 2022

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.

Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao

Proceedings of the 31st USENIX Security Symposium, 2022

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

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection.

Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-Chi Cheung

Proceedings of the 30th USENIX Security Symposium, 2021

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

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

SemMT: A Semantic-based Testing Approach for Machine Translation Systems.

Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung

CoRR, 2020

FlashRegex: Deducing Anti-ReDoS Regexes from Examples.

Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

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

Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

2019

A Learning-Based Framework for Automatic Parameterized Verification.

Yongjian Li, Jialun Cao, Jun Pang

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Learning k-Occurrence Regular Expressions with Interleaving.

Yeting Li, Xiaolan Zhang, Jialun Cao, Haiming Chen, Chong Gao

Proceedings of the Database Systems for Advanced Applications, 2019

2018

An Automatic Parameterized Verification of FLASH Cache Coherence Protocol.

Yongjian Li, Jialun Cao, Kaiqiang Duan

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

L-CMP: an automatic learning-based parameterized verification tool.

Jialun Cao, Yongjian Li, Jun Pang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018