Sign in
Jialun Cao
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 19
Top Topics
Deep Learning
Round Trip
Semistructured Databases
Deterministic Finite Automata
Top Venues
CoRR
USENIX Security Symposium
ACM Trans. Softw. Eng. Methodol.
ESEC/SIGSOFT FSE
</>
Publications
</>
Xiaohu Du
,
Xiao Chen
,
Jialun Cao
,
Ming Wen
,
Shing-Chi Cheung
,
Hai Jin
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems.
ESEC/SIGSOFT FSE
(2023)
Meiziniu Li
,
Jialun Cao
,
Yongqiang Tian
,
Tsz On Li
,
Ming Wen
,
Shing-Chi Cheung
COMET: Coverage-guided Model Generation For Deep Learning Library Testing.
ACM Trans. Softw. Eng. Methodol.
32 (5) (2023)
Jialun Cao
,
Yaojie Lu
,
Ming Wen
,
Shing-Chi Cheung
Testing Coreference Resolution Systems without Labeled Test Sets.
ESEC/SIGSOFT FSE
(2023)
Jialun Cao
,
Meiziniu Li
,
Ming Wen
,
Shing-Chi Cheung
A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program Repair.
CoRR
(2023)
Jialun Cao
,
Meiziniu Li
,
Xiao Chen
,
Ming Wen
,
Yongqiang Tian
,
Bo Wu
,
Shing-Chi Cheung
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
CoRR
(2022)
Jialun Cao
,
Meiziniu Li
,
Yeting Li
,
Ming Wen
,
Shing-Chi Cheung
,
Haiming Chen
SemMT: A Semantic-Based Testing Approach for Machine Translation Systems.
ACM Trans. Softw. Eng. Methodol.
31 (2) (2022)
Meiziniu Li
,
Jialun Cao
,
Yongqiang Tian
,
Tsz On Li
,
Ming Wen
,
Shing-Chi Cheung
MEMO: Coverage-guided Model Generation For Deep Learning Library Testing.
CoRR
(2022)
Yeting Li
,
Yecheng Sun
,
Zhiwu Xu
,
Jialun Cao
,
Yuekang Li
,
Rongchen Li
,
Haiming Chen
,
Shing-Chi Cheung
,
Yang Liu
,
Yang Xiao
RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.
USENIX Security Symposium
(2022)
Jialun Cao
,
Meiziniu Li
,
Xiao Chen
,
Ming Wen
,
Yongqiang Tian
,
Bo Wu
,
Shing-Chi Cheung
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
ICSE
(2022)
Yeting Li
,
Shuaimin Li
,
Zhiwu Xu
,
Jialun Cao
,
Zixuan Chen
,
Yun Hu
,
Haiming Chen
,
Shing-Chi Cheung
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair.
ICSE
(2021)
Yeting Li
,
Zixuan Chen
,
Jialun Cao
,
Zhiwu Xu
,
Qiancheng Peng
,
Haiming Chen
,
Liyuan Chen
,
Shing-Chi Cheung
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection.
USENIX Security Symposium
(2021)
Yeting Li
,
Zhiwu Xu
,
Jialun Cao
,
Haiming Chen
,
Tingjian Ge
,
Shing-Chi Cheung
,
Haoren Zhao
FlashRegex: Deducing Anti-ReDoS Regexes from Examples.
ASE
(2020)
Yeting Li
,
Jialun Cao
,
Haiming Chen
,
Tingjian Ge
,
Zhiwu Xu
,
Qiancheng Peng
FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data.
ICDE
(2020)
Yeting Li
,
Shuaimin Li
,
Zhiwu Xu
,
Jialun Cao
,
Zixuan Chen
,
Yun Hu
,
Haiming Chen
,
Shing-Chi Cheung
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair.
CoRR
(2020)
Jialun Cao
,
Meiziniu Li
,
Yeting Li
,
Ming Wen
,
Shing-Chi Cheung
SemMT: A Semantic-based Testing Approach for Machine Translation Systems.
CoRR
(2020)
Yongjian Li
,
Jialun Cao
,
Jun Pang
A Learning-Based Framework for Automatic Parameterized Verification.
ICCD
(2019)
Yeting Li
,
Xiaolan Zhang
,
Jialun Cao
,
Haiming Chen
,
Chong Gao
Learning k-Occurrence Regular Expressions with Interleaving.
DASFAA (2)
(2019)
Jialun Cao
,
Yongjian Li
,
Jun Pang
L-CMP: an automatic learning-based parameterized verification tool.
ASE
(2018)
Yongjian Li
,
Jialun Cao
,
Kaiqiang Duan
An Automatic Parameterized Verification of FLASH Cache Coherence Protocol.
QRS
(2018)