PPaperPicks

Geguang Pu

14 papers at tracked venues · 11 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ASE ×3FSE ×3AAAI ×2ACL ×1CVPR ×1ECAI ×1ICSE ×1ISSRE ×1ISSTA ×1

Frequent coauthors

Yueling Zhang
×4
Yihao Huang
×4
Yang Liu
×4
Ting Su
×4
Chengcheng Wan
×3
Jianwen Li
×3
Qing Guo
×3
Felix Juefei-Xu
×3
Weikai Miao
×2
Chengyu Zhang
×2
Xiaojun Jia
×2
Tianlin Li
×2

Papers

  1. Evaluating Privilege Usage of Agents with Real-World Tools
    FSE 2026 ·
    Quan Zhang
    ,
    Lianhang Fu
    ,
    Lvsi Lian
    ,
    Gwihwan Go
    ,
    Yujue Wang
    ,
    Chijin Zhou
    ,
    Yu Jiang
    , Geguang Pu
  2. Understanding, Detecting, and Repairing Real-World In-Context-Learning-Based Text-to-SQL Errors
    FSE 2026 ·
    Jiawei Shen
    ,
    Chengcheng Wan
    ,
    Ruoyi Qiao
    ,
    Jiazhen Zou
    ,
    Hang Xu
    ,
    Yuchen Shao
    ,
    Yueling Zhang
    ,
    Weikai Miao
    , Geguang Pu
  3. A Compositional Framework for On-the-Fly LTLf Synthesis
    ECAI 2025 ·
    Yongkang Li
    ,
    Shengping Xiao
    ,
    Shufang Zhu
    ,
    Jianwen Li
    , Geguang Pu
  4. Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation
    ASE 2025 ·
    Yibo Dong
    ,
    Yicong Xu
    ,
    Wenjing Deng
    ,
    Yu Chen
    ,
    Xiaoyu Zhang
    ,
    Jianwen Li
    ,
    Chengyu Zhang
    , Geguang Pu
  5. Efficient Universal Goal Hijacking with Semantics-guided Prompt Organization
    ACL 2025 ·
    Yihao Huang
    ,
    Chong Wang
    ,
    Xiaojun Jia
    ,
    Qing Guo
    ,
    Felix Juefei-Xu
    ,
    Jian Zhang
    ,
    Yang Liu
    , Geguang Pu
  6. IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving
    ICSE 2025 ·
    Qichang Wang
    ,
    Chuyang Chen
    ,
    Ruiyang Xu
    ,
    Haiying Sun
    ,
    Chengcheng Wan
    ,
    Ting Su
    ,
    Yueling Zhang
    , Geguang Pu
  7. Perception-Guided Jailbreak Against Text-to-Image Models
    AAAI 2025 ·
    Yihao Huang
    ,
    Le Liang
    ,
    Tianlin Li
    ,
    Xiaojun Jia
    ,
    Run Wang
    ,
    Weikai Miao
    , Geguang Pu,
    Yang Liu
  8. Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report)
    ISSTA 2025 ·
    Yihua Xu
    ,
    Chengyu Zhang
    , Geguang Pu
  9. Runtime Verification of Tactical Data Link
    ISSRE 2025 ·
    Qian Wang
    ,
    Zhiyuan Hu
    ,
    Wei Ma
    ,
    Qiang Chen
    ,
    Yueling Zhang
    , Geguang Pu
  10. Cosalpure: Learning Concept from Group Images for Robust Co-Saliency Detection
    CVPR 2024 ·
    Jiayi Zhu
    ,
    Qing Guo
    ,
    Felix Juefei-Xu
    ,
    Yihao Huang
    ,
    Yang Liu
    , Geguang Pu
  11. FIPSER: Improving Fairness Testing of DNN by Seed Prioritization
    ASE 2024 ·
    Junwei Chen
    ,
    Yueling Zhang
    ,
    Lingfeng Zhang
    ,
    Min Zhang
    ,
    Chengcheng Wan
    ,
    Ting Su
    , Geguang Pu
  12. General and Practical Property-based Testing for Android Apps
    ASE 2024 ·
    Yiheng Xiong
    ,
    Ting Su
    ,
    Jue Wang
    ,
    Jingling Sun
    , Geguang Pu,
    Zhendong Su
  13. Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models
    AAAI 2024 ·
    Yihao Huang
    ,
    Felix Juefei-Xu
    ,
    Qing Guo
    ,
    Jie Zhang
    ,
    Yutong Wu
    ,
    Ming Hu
    ,
    Tianlin Li
    , Geguang Pu,
    Yang Liu
  14. Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps
    FSE 2024 ·
    Jingling Sun
    ,
    Ting Su
    ,
    Jun Sun
    ,
    Jianwen Li
    ,
    Mengfei Wang
    , Geguang Pu