PPaperPicks

Haiyan Zhao

12 papers at tracked venues · 9 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ACL ×3ASE ×2AAAI ×1FM ×1FSE ×1ICSME ×1ISSRE ×1NeurIPS ×1SIGMOD ×1

Frequent coauthors

Zhi Jin
×10
Wei Zhang
×6
Zhengwei Tao
×4
Wei Liu
×3
Xiancai Chen
×3
Mengdan Fan
×2
Guangtai Liang
×2
Ailun Yu
×2
Bo Shen
×2
Tianqi Zhao
×1
Qinxiang Cao
×1
Shenghua Feng
×1

Papers

  1. Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel
    FM 2026 ·
    Tianqi Zhao
    ,
    Qinxiang Cao
    ,
    Shenghua Feng
    ,
    Minghui Zhou
    ,
    Naijun Zhan
    ,
    Yongzhi Cao
    ,
    Junfeng Zhao
    , Haiyan Zhao,
    Hao Wang
    ,
    Zhenjiang Hu
  2. GraphLocator: Graph-Guided Causal Reasoning for Issue Localization
    FSE 2026 ·
    Wei Liu
    ,
    Chao Peng
    ,
    Pengfei Gao
    ,
    Aofan Liu
    ,
    Wei Zhang
    , Haiyan Zhao,
    Zhi Jin
  3. A Comprehensive Evaluation on Event Reasoning of Large Language Models
    AAAI 2025 ·
    Zhengwei Tao
    ,
    Zhi Jin
    ,
    Yifan Zhang
    ,
    Xiancai Chen
    , Haiyan Zhao,
    Jia Li
    ,
    Bin Liang
    ,
    Chongyang Tao
    ,
    Qun Liu
    ,
    Kam-Fai Wong
  4. Reliable Version Merging Based on Deep Semantic and logical Understanding of Critical Context
    ISSRE 2025 ·
    Mengdan Fan
    ,
    Wei Zhang
    , Haiyan Zhao,
    Zhi Jin
  5. Revisit Self-Debugging with Self-Generated Tests for Code Generation
    ACL 2025 ·
    Xiancai Chen
    ,
    Zhengwei Tao
    ,
    Kechi Zhang
    ,
    Changzhi Zhou
    ,
    Xinyu Zhang
    ,
    Wanli Gu
    ,
    Yuanpeng He
    ,
    Mengdi Zhang
    ,
    Xunliang Cai
    , Haiyan Zhao,
    Zhi Jin
  6. RoMA: Scaling up Mamba-based Foundation Models for Remote Sensing
    NeurIPS 2025 ·
    Fengxiang Wang
    ,
    Yulin Wang
    ,
    Mingshuo Chen
    ,
    Haotian Wang
    ,
    Hongzhen Wang
    , Haiyan Zhao,
    Yangang Sun
    ,
    Shuo Wang
    ,
    Di Wang
    ,
    Long Lan
    ,
    Wenjing Yang
    ,
    Jing Zhang
  7. Detect Hidden Dependency to Untangle Commits
    ASE 2024 ·
    Mengdan Fan
    ,
    Wei Zhang
    , Haiyan Zhao,
    Guangtai Liang
    ,
    Zhi Jin
  8. EVIT: Event-Oriented Instruction Tuning for Event Reasoning
    ACL 2024 ·
    Zhengwei Tao
    ,
    Xiancai Chen
    ,
    Zhi Jin
    ,
    Xiaoying Bai
    , Haiyan Zhao,
    Yiwei Lou
  9. Focused: An Approach to Framework-Oriented Cross-Language Link Specification and Detection
    ICSME 2024 ·
    Ailun Yu
    ,
    Yifan Shi
    ,
    Bo Shen
    ,
    Wei Zhang
    , Haiyan Zhao,
    Guangtai Liang
    ,
    Tianyong Wu
    ,
    Zhi Jin
  10. GABoost: Graph Alignment Boosting via Local Optimum Escape
    SIGMOD 2024 ·
    Wei Liu
    ,
    Wei Zhang
    , Haiyan Zhao,
    Zhi Jin
  11. GraphCoder: Enhancing Repository-Level Code Completion via Coarse-to-fine Retrieval Based on Code Context Graph
    ASE 2024 ·
    Wei Liu
    ,
    Ailun Yu
    ,
    Daoguang Zan
    ,
    Bo Shen
    ,
    Wei Zhang
    , Haiyan Zhao,
    Zhi Jin
    ,
    Qianxiang Wang
  12. Integrating Physician Diagnostic Logic into Large Language Models: Preference Learning from Process Feedback
    ACL 2024 ·
    Chengfeng Dou
    ,
    Ying Zhang
    ,
    Zhi Jin
    ,
    Wenpin Jiao
    , Haiyan Zhao,
    Yongqiang Zhao
    ,
    Zhengwei Tao