PPaperPicks

Jian Zhang

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

DBLP profile ↗ORCID search ↗

Venues

FSE ×3AAAI ×2ICSE ×2ISSTA ×2EMNLP ×1ICSME ×1ISSRE ×1

Frequent coauthors

Jiwei Yan
×5
Jun Yan
×4
Fuqi Jia
×3
Feifei Ma
×3
Yuhang Dong
×2
Rui Han
×2
Minghao Liu
×2
Shuo Sun
×1
Shixin Zhang
×1
Ke Gong
×1
Kunhang Lv
×1
Pei Huang
×1

Papers

  1. Co-evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code
    FSE 2026 ·
    Shuo Sun
    ,
    Shixin Zhang
    ,
    Jiwei Yan
    ,
    Jun Yan
    , Jian Zhang
  2. Experience Report: Insights from Deploying Educational Static Analysis in Introductory Programming Courses
    FSE 2026 ·
    Ke Gong
    , Jian Zhang
  3. LLM-Guided Quantified SMT Solving over Uninterpreted Functions
    AAAI 2026 ·
    Kunhang Lv
    ,
    Yuhang Dong
    ,
    Rui Han
    ,
    Fuqi Jia
    ,
    Feifei Ma
    , Jian Zhang
  4. A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
    AAAI 2025 ·
    Fuqi Jia
    ,
    Yuhang Dong
    ,
    Rui Han
    ,
    Pei Huang
    ,
    Minghao Liu
    ,
    Feifei Ma
    , Jian Zhang
  5. An Efficient Android App Debloating Approach Based on Multi-Layer Dependence Graph
    ICSME 2025 ·
    Hengqin Yang
    ,
    Jiwei Yan
    ,
    Jun Yan
    ,
    Bin Liang
    , Jian Zhang
  6. CCTest: Critical Configuration Testing for Autonomous Driving Systems
    FSE 2025 ·
    Changwen Li
    ,
    Joseph Sifakis
    ,
    Rongjie Yan
    , Jian Zhang
  7. ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
    EMNLP 2025 ·
    Weichun Shi
    ,
    Minghao Liu
    ,
    Wanting Zhang
    ,
    Langchen Shi
    ,
    Fuqi Jia
    ,
    Feifei Ma
    , Jian Zhang
  8. Message from Cloud Intelligence / AIOps Workshop 2025 Chairs
    ICSE 2025 · Jian Zhang,
    Qingwei Lin
    ,
    Xin Peng
  9. DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates
    ISSTA 2024 ·
    Baoquan Cui
    ,
    Jiwei Yan
    , Jian Zhang
  10. Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker
    ISSRE 2024 ·
    Jun Liu
    ,
    Jiwei Yan
    ,
    Yuanyuan Xie
    ,
    Jun Yan
    , Jian Zhang
  11. Panda: A Concurrent Scheduler for Compiler-Based Tools
    ISSTA 2024 ·
    Xutong Ma
    ,
    Jiwei Yan
    ,
    Jun Yan
    , Jian Zhang
  12. Reorder Pointer Flow in Sound Concurrency Bug Prediction
    ICSE 2024 ·
    Yuqi Guo
    ,
    Shihao Zhu
    ,
    Yan Cai
    ,
    Liang He
    , Jian Zhang