Jialun Cao

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

Collaborative distances:

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

2024

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

Jialun Cao, Wuqi Zhang, Shing-Chi Cheung

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