PPaperPicks

Zuohua Ding

5 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FSE ×1ICDAR ×1IJCAI ×1ISSTA ×1

Frequent coauthors

Wang Lin
×3
Suqiong Zhang
×2
Dongyi Fan
×2
Lili He
×2
Xiongqi Zhang
×2
Junwei Xu
×1
Yang Wang
×1
Dongming Xiang
×1
Ning Lv
×1
Yi Liu
×1
Xiaoyan Zhu
×1
Mingyue Jiang
×1

Papers

  1. A Cloud Native Tool for Testing Automation in Kubernetes
    ISSTA 2025 ·
    Suqiong Zhang
    ,
    Dongyi Fan
    ,
    Lili He
    ,
    Wang Lin
    , Zuohua Ding
  2. Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network
    AAAI 2025 ·
    Xiongqi Zhang
    ,
    Junwei Xu
    ,
    Yang Wang
    ,
    Dongming Xiang
    ,
    Wang Lin
    , Zuohua Ding
  3. Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates
    IJCAI 2025 ·
    Xiongqi Zhang
    ,
    Ning Lv
    ,
    Wang Lin
    , Zuohua Ding
  4. Large Language Models for Online Log Parsing in AIOps
    ICDAR 2025 ·
    Suqiong Zhang
    ,
    Dongyi Fan
    ,
    Yi Liu
    ,
    Lili He
    , Zuohua Ding
  5. MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems
    FSE 2024 ·
    Xiaoyan Zhu
    ,
    Mingyue Jiang
    ,
    Xiao-Yi Zhang
    ,
    Liming Nie
    , Zuohua Ding