PPaperPicks

Jingling Xue

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

DBLP profile ↗ORCID search ↗

Venues

OOPSLA ×6FSE ×3AAAI ×1ASE ×1EASE ×1FM ×1PLDI ×1RAID ×1USENIX Security ×1

Frequent coauthors

Wei Song
×3
Yonggang Tao
×3
Chenghang Shi
×3
Haofeng Li
×3
Jie Lu
×3
Lian Li
×3
Yulei Sui
×3
Dongjie He
×2
Lin Huang
×2
Haotian Han
×1
Zihang Zhong
×1
Qingan Li
×1

Papers

  1. CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
    OOPSLA 2026 ·
    Haotian Han
    ,
    Zihang Zhong
    ,
    Qingan Li
    , Jingling Xue,
    Mengting Yuan
  2. Failures to Surface Harmful Contents in Video Large Language Models
    AAAI 2026 ·
    Yuxin Cao
    ,
    Wei Song
    ,
    Derui Wang
    , Jingling Xue,
    Jin Song Dong
  3. From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
    OOPSLA 2026 ·
    Wei Li
    ,
    Wenyao Chen
    , Jingling Xue
  4. Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets
    PLDI 2026 ·
    Yujiang Gui
    ,
    Yonggang Tao
    , Jingling Xue
  5. Structure-Aware Delta Debugging with Geometric-Information Weights
    FSE 2026 ·
    Yonggang Tao
    , Jingling Xue
  6. Accelerating Delta Debugging through Probabilistic Monotonicity Assessment
    EASE 2025 ·
    Yonggang Tao
    , Jingling Xue
  7. Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification
    OOPSLA 2025 ·
    Chenghang Shi
    ,
    Dongjie He
    ,
    Haofeng Li
    ,
    Jie Lu
    ,
    Lian Li
    , Jingling Xue
  8. MetaKernel: Enabling Efficient Encrypted Neural Network Inference through Unified MVM and Convolution
    OOPSLA 2025 ·
    Peng Yuan
    ,
    Yan Liu
    ,
    Jianxin Lai
    ,
    Long Li
    ,
    Tianxiang Sui
    ,
    Linjie Xiao
    ,
    Xiaojing Zhang
    ,
    Qing Zhu
    , Jingling Xue
  9. Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal Verification
    ASE 2025 ·
    Ziyu Mao
    ,
    Xiaolin Ma
    ,
    Lin Huang
    ,
    Huan Yang
    ,
    Wu Zhang
    ,
    Weichao Sun
    ,
    Yongtao Wang
    , Jingling Xue,
    Jingyi Wang
  10. ViDToken: A Video-Transformer-Based Latent Token Defense for Adversarial Video Detection
    RAID 2025 ·
    Wei Song
    ,
    Yulei Sui
    ,
    Zhenchang Xing
    ,
    Liming Zhu
    , Jingling Xue
  11. VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-object Typestate Analysis
    FSE 2025 ·
    Liqing Cao
    ,
    Haofeng Li
    ,
    Chenghang Shi
    ,
    Jie Lu
    ,
    Haining Meng
    ,
    Lian Li
    , Jingling Xue
  12. Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers
    OOPSLA 2024 ·
    Haofeng Li
    ,
    Chenghang Shi
    ,
    Jie Lu
    ,
    Lian Li
    , Jingling Xue
  13. Correction-based Defense Against Adversarial Video Attacks via Discretization-Enhanced Video Compressive Sensing
    USENIX Security 2024 ·
    Wei Song
    ,
    Cong Cong
    ,
    Haonan Zhong
    , Jingling Xue
  14. Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
    OOPSLA 2024 ·
    Pei Xu
    ,
    Yuxiang Lei
    ,
    Yulei Sui
    , Jingling Xue
  15. TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers
    FSE 2024 ·
    Changwei Zou
    ,
    Dongjie He
    ,
    Yulei Sui
    , Jingling Xue
  16. UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking
    FM 2024 ·
    Minghua Wang
    , Jingling Xue,
    Lin Huang
    ,
    Yuan Zi
    ,
    Tao Wei