PPaperPicks

Ji Wang

20 papers at tracked venues · 10 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FSE ×5ISSTA ×3AAAI ×2FM ×2IJCAI ×2OOPSLA ×2ASE ×1ICRA ×1ICSE ×1PLDI ×1

Frequent coauthors

Zhenbang Chen
×8
Minglong Li
×5
Wenjing Yang
×5
Guofeng Zhang
×4
Xinglin Chen
×4
Yishuai Cai
×4
Yunxin Mao
×4
Wei Dong
×3
Liqian Chen
×3
Kunlin Liu
×2
Ke Ma
×2
Yu Huang
×2

Papers

  1. EUF-based Solving Dyck-Reachability with Applications to Static Analysis
    FM 2026 ·
    Yide Du
    ,
    Zhenbang Chen
    ,
    Kunlin Liu
    ,
    Guofeng Zhang
    ,
    Xudong Wang
    ,
    Ke Ma
    ,
    Wei Dong
    , Ji Wang
  2. Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
    PLDI 2026 ·
    Yu Huang
    ,
    Ziji Wu
    ,
    Zhengyi Ma
    ,
    Kexin Ma
    , Ji Wang
  3. Online Input Grammar Synthesis Aided Symbolic Execution
    OOPSLA 2026 ·
    Ke Ma
    ,
    Yunlai Luo
    ,
    Zhenbang Chen
    ,
    Weijiang Hong
    ,
    Yufeng Zhang
    , Ji Wang
  4. Precondition Synthesis for Deep Neural Networks with Statistical Guarantees
    FSE 2026 ·
    Zengyu Liu
    ,
    Bai Xue
    ,
    Pengfei Yang
    , Ji Wang
  5. Selective Concolic Testing
    FM 2026 ·
    Guofeng Zhang
    ,
    Zhenbang Chen
    ,
    Ziqi Shuai
    ,
    Jun Sun
    ,
    Weijiang Hong
    ,
    Yufeng Zhang
    , Ji Wang,
    Yang Liu
  6. BTPG: A Platform and Benchmark for Behavior Tree Planning in Everyday Service Robots
    IJCAI 2025 ·
    Xinglin Chen
    ,
    Yishuai Cai
    ,
    Minglong Li
    ,
    Yunxin Mao
    ,
    Zhou Yang
    ,
    Wenjing Yang
    ,
    Weixia Xu
    , Ji Wang
  7. EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework
    ICSE 2025 ·
    Ziji Wu
    ,
    Yu Huang
    ,
    Peishan Huang
    ,
    Shanghua Wen
    ,
    Minglong Li
    , Ji Wang
  8. HBTP: Heuristic Behavior Tree Planning with Large Language Model Reasoning
    ICRA 2025 ·
    Yishuai Cai
    ,
    Xinglin Chen
    ,
    Yunxin Mao
    ,
    Minglong Li
    ,
    Shaowu Yang
    ,
    Wenjing Yang
    , Ji Wang
  9. Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation
    ISSTA 2025 ·
    Liangze Yin
    ,
    Yiwei Li
    ,
    Kun Chen
    ,
    Wei Dong
    , Ji Wang
  10. MRBTP: Efficient Multi-Robot Behavior Tree Planning and Collaboration
    AAAI 2025 ·
    Yishuai Cai
    ,
    Xinglin Chen
    ,
    Zhongxuan Cai
    ,
    Yunxin Mao
    ,
    Minglong Li
    ,
    Wenjing Yang
    , Ji Wang
  11. Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions
    ISSTA 2025 ·
    Guangsheng Fan
    ,
    Liqian Chen
    ,
    Banghu Yin
    ,
    Wenyu Zhang
    ,
    Peisen Yao
    , Ji Wang
  12. QSF: Multi-objective Optimization Based Efficient Solving for Floating-Point Constraints
    FSE 2025 ·
    Xu Yang
    ,
    Zhenbang Chen
    ,
    Wei Dong
    , Ji Wang
  13. Symbolic Execution Based Automatic Performance Optimization for MPI Programs
    FSE 2025 ·
    Zheng Bian
    ,
    Zhenbang Chen
    , Ji Wang
  14. FPCC: Detecting Floating-Point Errors via Chain Conditions
    OOPSLA 2024 ·
    Xin Yi
    ,
    Hengbiao Yu
    ,
    Liqian Chen
    ,
    Xiaoguang Mao
    , Ji Wang
  15. Hybrid Regression Test Selection by Integrating File and Method Dependences
    ASE 2024 ·
    Guofeng Zhang
    ,
    Luyao Liu
    ,
    Zhenbang Chen
    , Ji Wang
  16. Hybrid Regression Test Selection by Synergizing File and Method Call Dependences
    FSE 2024 ·
    Luyao Liu
    ,
    Guofeng Zhang
    ,
    Zhenbang Chen
    , Ji Wang
  17. Integrating Intent Understanding and Optimal Behavior Planning for Behavior Tree Generation from Human Instructions
    IJCAI 2024 ·
    Xinglin Chen
    ,
    Yishuai Cai
    ,
    Yunxin Mao
    ,
    Minglong Li
    ,
    Wenjing Yang
    ,
    Weixia Xu
    , Ji Wang
  18. Partial Solution Based Constraint Solving Cache in Symbolic Execution
    FSE 2024 ·
    Ziqi Shuai
    ,
    Zhenbang Chen
    ,
    Kelin Ma
    ,
    Kunlin Liu
    ,
    Yufeng Zhang
    ,
    Jun Sun
    , Ji Wang
  19. Scaling Few-Shot Learning for the Open World
    AAAI 2024 ·
    Zhipeng Lin
    ,
    Wenjing Yang
    ,
    Haotian Wang
    ,
    Haoang Chi
    ,
    Long Lan
    , Ji Wang
  20. Synthesizing Boxes Preconditions for Deep Neural Networks
    ISSTA 2024 ·
    Zengyu Liu
    ,
    Liqian Chen
    ,
    Wanwei Liu
    , Ji Wang