Pingchuan Ma

Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits

Zhantong Xue, Pingchuan Ma^†, Zhaoyu Wang, Yuguang Zhou, Huaijin Wang, Shuai Wang

ACM Conference on Computer and Communications Security (CCS 2026)

InstructTA: Instruction-Tuned Targeted Attack for Large Vision-Language Models

Xunguang Wang, Pingchuan Ma, Zhenlan Ji, Zongjie Li, Shuai Wang, Weixi Gu

Cybersecurity

KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Language Models

Fuyuan Xia, Qixin Zhang, Chenhao Ying, Haojin Zhu, Shuai Wang, Yuan Luo, Pingchuan Ma^†, Yuxuan Du

The 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026)

Distinguished Paper Award

One Rounding Fits All: Memory-Efficient Approximation Algorithms for Partition-Constrained Influence Maximization

Qixin Zhang, Qirun Zeng, Hui Lu, Pingchuan Ma, Jinhang Zuo, Renqiang Luo, Yi Yu, Dacheng Tao

ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2026)

Function Calling as a Flexible LLM Defense Add-On: Capability and Application Exploration

Zhenlan Ji, Daoyuan Wu, Wenxuan Wang, Pingchuan Ma, Shuai Wang, Lei Ma, Juergen Rahmel

ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2026)

When Optimizations Backfire: The Paradox of Plaintext Optimizations in Privacy-Preserving ML Compilers

Yichen Li, Jin Tan, Dongwei Xiao, Yiteng Peng, Pingchuan Ma, Junming Ma, Shoumeng Yan, Shuai Wang, Fengwei Zhang

ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2026)

Privacy-preserving and Verifiable Causal Prescriptive Analytics

Zhaoyu Wang, Pingchuan Ma^†, Zhantong Xue, Yanbo Dai, Zhenlan Ji, Shuai Wang

ACM SIGMOD International Conference on Management of Data (SIGMOD 2026)

Guardrail: Automated Integrity Constraint Synthesis From Noisy Data

Pingchuan Ma, Zhaoyu Wang, Zhenlan Ji, Zongjie Li, Ao Sun, Shuai Wang^†

ACM SIGMOD International Conference on Management of Data (SIGMOD 2026)

How Multi-Modal LLMs Reshape Visual Deep Learning Testing? A Comprehensive Study Through the Lens of Image Mutation

Liwen Wang, Yuanyuan Yuan, Ao Sun, Zongjie Li, Pingchuan Ma, Daoyuan Wu, Shuai Wang

ACM Transactions on Software Engineering and Methodology (TOSEM)

Bridging the Gap between Causal Inference and Software Engineering

Pingchuan Ma, Zhenlan Ji, Zongjie Li, Shuai Wang

40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025 Tutorial)

Measuring and Augmenting Large Language Models for Solving Offensive Security Challenges

Zimo Ji, Daoyuan Wu, Wenyuan Jiang, Pingchuan Ma, Zongjie Li, Shuai Wang

ACM Conference on Computer and Communications Security (CCS 2025)

Causality-Aided Evaluation and Explanation of Large Language Model-based Code Generation

Zhenlan Ji, Pingchuan Ma^†, Zongjie Li, Zhaoyu Wang, Shuai Wang^†

ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025)

Reeq: Testing and Mitigating Ethically Inconsistent Suggestions of Large Language Models with Reflective Equilibrium

Pingchuan Ma, Zhaoyu Wang^*, Zongjie Li, Zhenlan Ji, Ao Sun, Juergen Rahmel, Shuai Wang

ACM Transactions on Software Engineering and Methodology (TOSEM)

SelfDefend: LLMs Can Defend Themselves against Jailbreaking in a Practical Manner

Xunguang Wang, Daoyuan Wu, Zhenlan Ji, Zongjie Li, Pingchuan Ma, Shuai Wang, Yingjiu Li, Yang Liu, Ning Liu, Juergen Rahmel

The 34th USENIX Security Symposium (USENIX Security 2025)

Algorithms, Applications, and Verification of Causal Structure Learning

Pingchuan Ma

PhD Thesis

Split and Merge: Aligning Position Biases in LLM-based Evaluators

Zongjie Li, Chaozheng Wang, Pingchuan Ma, Daoyuan Wu, Shuai Wang, Cuiyun Gao, Yang Liu

The 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP 2024 Main)

Scalable Differentiable Causal Discovery in the Presence of Latent Confounders with Skeleton Posterior

Pingchuan Ma, Rui Ding, Qiang Fu, Jiaru Zhang, Shuai Wang, Shi Han, Dongmei Zhang

ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD ’24)

PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis

Zhaoyu Wang, Pingchuan Ma^†, Huaijin Wang, Shuai Wang^†

ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA ’24)

Testing Graph Database Systems via Graph-Aware Metamorphic Relations

Zeyang Zhuang, Penghui Li, Pingchuan Ma, Wei Meng, Shuai Wang

International Conference on Very Large Data Bases (VLDB ’24)

Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools

Zongjie Li, Zhibo Liu, Wai Kin Wong, Pingchuan Ma, Shuai Wang

IEEE Transactions on Dependable and Secure Computing (TDSC)

On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study

Zongjie Li, Chaozheng Wang, Pingchuan Ma, Chaowei Liu, Shuai Wang, Daoyuan Wu, Cuiyun Gao, Yang Liu

International Conference on Software Engineering (ICSE ’24)

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning

Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, Kui Ren

International Conference on Software Engineering (ICSE ’24)