Jialun, CAO (Bella)

Jialun, CAO (Bella)

PhD Candidate in Computer Science

Hong Kong University of Science and Technology

Biography

I am currently a research postgraduate student in CASTLE lab, pursuing my Ph.D degree under the supervision of Prof. S.C. Cheung at HKUST. My research interests include but not limited to software analysis and testing, mining code repositories. My current work focuses on testing, verifying and understanding Deep Neural Networks.

Download my resumé.

Interests
  • Deep Learning Testing
  • Deep Learning Verification
  • Formal Verification
Education

  • PhD in Computer Science

    Hong Kong University of Science and Technology

  • MEng in Computer Science

    Chinese Academy of Sciences, Institute of Software

  • BSc in Digital Media Technology

    Shandong University

Publications

Quickly discover relevant content by filtering publications.
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs
Jialun CAO, Meiziniu LI, Xiao CHEN, Yongqiang TIAN, Ming WEN, Bo WU, Shing-Chi CHEUNG
PDF Cite Project Slides Video DOI
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
PDF Cite DOI
FlashRegex: Deducing Anti-ReDoS Regexes from Examples.
Yeting LI, Zhiwu XU, Jialun CAO, Haiming CHEN, Tingjian GE, Shing-Chi CHEUNG, Haoren ZHAO
PDF Cite Video DOI
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
PDF Cite DOI
L-CMP: an automatic learning-based parameterized verification tool.
Jialun CAO, Yongjian LI, Jun PANG
PDF Cite Video DOI Project
See all publications

Popular Topics

Academic Deep Learning DL Debugging DL Fault Localization DL testing DNN testing formal verification Machine Tranlsation Testing ReDoS schema 开源

Contact