default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJialun Cao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c15]Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian:
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. CAV (2) 2024: 302-328- [c14]Shuiying Liao
, Yujuan Ding, P. Y. Mok, Qiushi Huang, Jialun Cao:
Reproducibility Companion Paper: Recommendation of Mix-and-Match Clothing by Modeling Indirect Personal Compatibility. ICMR 2024: 1224-1227 - [c13]Kunpeng Jian, Yanyan Zou, Yeting Li, Jialun Cao, Menghao Li, Jian Sun, Jingyi Shi, Wei Huo:
Fuzzing for Stateful Protocol Implementations: Are We There Yet? TASE 2024: 186-204 - [i12]Jialun Cao, Wuqi Zhang, Shing-Chi Cheung:
Concerned with Data Contamination? Assessing Countermeasures in Code Language Model. CoRR abs/2403.16898 (2024) - [i11]Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian:
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR abs/2404.00762 (2024) - [i10]Meiziniu Li, Dongze Li, Jianmeng Liu, Jialun Cao, Yongqiang Tian, Shing-Chi Cheung:
DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis. CoRR abs/2406.07944 (2024) - [i9]Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu:
Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench. CoRR abs/2406.12902 (2024) - [i8]Ruiyang Xu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Ben He, Shing-Chi Cheung, Le Sun:
CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution. CoRR abs/2408.13001 (2024) - [i7]Qiming Zhu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung:
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation. CoRR abs/2408.13204 (2024) - [i6]Congying Xu, Songqiang Chen, Jiarong Wu, Shing-Chi Cheung, Valerio Terragni, Hengcheng Zhu, Jialun Cao:
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing. CoRR abs/2408.15815 (2024) - 2023
- [j2]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): 127:1-127:34 (2023) - [c12]Jialun Cao, Yaojie Lu, Ming Wen, Shing-Chi Cheung:
Testing Coreference Resolution Systems without Labeled Test Sets. ESEC/SIGSOFT FSE 2023: 107-119 - [c11]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: 1358-1370 - [i5]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 abs/2304.08191 (2023) - 2022
- [j1]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): 34e:1-34e:36 (2022) - [c10]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: 573-585 - [c9]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: 4183-4200 - [i4]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 abs/2205.01938 (2022) - [i3]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 abs/2208.01508 (2022) - 2021
- [c8]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: 1210-1222 - [c7]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: 3847-3864 - 2020
- [c6]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: 1962-1965 - [c5]Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao:
FlashRegex: Deducing Anti-ReDoS Regexes from Examples. ASE 2020: 659-671 - [i2]Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung:
SemMT: A Semantic-based Testing Approach for Machine Translation Systems. CoRR abs/2012.01815 (2020) - [i1]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 abs/2012.15489 (2020)
2010 – 2019
- 2019
- [c4]Yeting Li, Xiaolan Zhang, Jialun Cao, Haiming Chen, Chong Gao:
Learning k-Occurrence Regular Expressions with Interleaving. DASFAA (2) 2019: 70-85 - [c3]Yongjian Li, Jialun Cao, Jun Pang:
A Learning-Based Framework for Automatic Parameterized Verification. ICCD 2019: 450-459 - 2018
- [c2]Jialun Cao, Yongjian Li, Jun Pang:
L-CMP: an automatic learning-based parameterized verification tool. ASE 2018: 892-895 - [c1]Yongjian Li, Jialun Cao, Kaiqiang Duan:
An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. QRS 2018: 47-58
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
