PPaperPicks

Chang Xu

8 papers at tracked venues · 6 at CORE A* · active 2024–2026

Venues

Frequent coauthors

Tian Tan
×4
Yue Li
×4
Yufei Liang
×3
Xiaoxing Ma
×2
Zhiyong Chen
×2
Jialun Cao
×2
Shing-Chi Cheung
×2
Teng Zhang
×2
Ganlin Li
×2
Qinlin Chen
×1
Nairen Zhang
×1
Jinpeng Wang
×1

Papers

  1. Exploiting Sophisticated Static Analysis for Verilog
    PLDI 2026 ·
    Qinlin Chen
    ,
    Nairen Zhang
    ,
    Jinpeng Wang
    ,
    Jiacai Cui
    ,
    Tian Tan
    ,
    Xiaoxing Ma
    , Chang Xu,
    Jian Lu
    ,
    Yue Li
  2. ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair (Short Tool Paper)
    FM 2026 ·
    Zhiyong Chen
    ,
    Jialun Cao
    , Chang Xu,
    Shing-Chi Cheung
  3. Text2sql-Flow: a Robust Sql-Aware Data Augmentation Framework for Text-To-Sql
    ICDE 2026 ·
    Qifeng Cai
    ,
    Hao Liang
    , Chang Xu,
    Tao Xie
    ,
    Wentao Zhang
    ,
    Bin Cui
  4. Bridge the Islands: Pointer Analysis for Microservice Systems
    ISSTA 2025 ·
    Teng Zhang
    ,
    Yufei Liang
    ,
    Ganlin Li
    ,
    Tian Tan
    , Chang Xu,
    Yue Li
  5. Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs
    ICSE 2025 ·
    Chenxi Zhang
    ,
    Yufei Liang
    ,
    Tian Tan
    , Chang Xu,
    Shuangxiang Kan
    ,
    Yulei Sui
    ,
    Yue Li
  6. Pointer Analysis for Database-Backed Applications
    PLDI 2025 ·
    Yufei Liang
    ,
    Teng Zhang
    ,
    Ganlin Li
    ,
    Tian Tan
    , Chang Xu,
    Chun Cao
    ,
    Xiaoxing Ma
    ,
    Yue Li
  7. Harnessing Edge Information for Improved Robustness in Vision Transformers
    AAAI 2024 ·
    Yanxi Li
    ,
    Chengbin Du
    , Chang Xu
  8. JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models
    ASE 2024 ·
    Jialun Cao
    ,
    Zhiyong Chen
    ,
    Jiarong Wu
    ,
    Shing-Chi Cheung
    , Chang Xu