Post-condition-Directed Invariant Inference for Loops over Data Structures. - Juan Zhai; Hanfei Wang; Jianhua Zhao (SERE (Companion), 2014)

Analyzing Inductively Defined Properties for Recursive Data Structures. - Zhenhao Tang; Hanfei Wang; Bin Li 054; Juan Zhai; Jianhua Zhao; Xuandong Li (Internetware, 2015)

Node-Set Analysis for Linked Recursive Data Structures. - Zhenhao Tang; Hanfei Wang; Bin Li 054; Juan Zhai; Jianhua Zhao; Xuandong Li (QRS, 2015)

Assertion-Directed Precondition Synthesis for Loops over Data Structures. - Juan Zhai; Hanfei Wang; Jianhua Zhao (SETTA, 2015)

Automatic model generation from documentation for Java API functions. - Juan Zhai; Jianjun Huang 001; Shiqing Ma; Xiangyu Zhang 001; Lin Tan 001; Jianhua Zhao; Feng Qin (ICSE, 2016)

Automatic Invariant Synthesis for Arrays in Simple Programs. - Bin Li 054; Zhenhao Tang; Juan Zhai; Jianhua Zhao (QRS, 2016)

Precondition Calculation for Loops Iterating over Data Structures. - Juan Zhai; Bin Li 054; Zhenhao Tang; Jianhua Zhao; Xuandong Li (QRS, 2016)

A Framework for Array Invariants Synthesis in Induction-Loop Programs. - Bin Li 054; Juan Zhai; Zhenhao Tang; Enyi Tang; Jianhua Zhao (APSEC, 2017)

Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java. - Zhenhao Tang; Juan Zhai; Bin Li 054; Jianhua Zhao (QRS, 2017)

LAMP: data provenance for graph based machine learning algorithms through derivative computation. - Shiqing Ma; Yousra Aafer; Zhaogui Xu; Wen-Chuan Lee; Juan Zhai; Yingqi Liu; Xiangyu Zhang 001 (ESEC/SIGSOFT FSE, 2017)

MPI: Multiple Perspective Attack Investigation with Semantic Aware Execution Partitioning. - Shiqing Ma; Juan Zhai; Fei Wang 001; Kyu Hyung Lee; Xiangyu Zhang 001; Dongyan Xu (USENIX Security Symposium, 2017)

Dual-force: understanding WebView malware via cross-language forced execution. - Zhenhao Tang; Juan Zhai; Minxue Pan; Yousra Aafer; Shiqing Ma; Xiangyu Zhang 001; Jianhua Zhao (ASE, 2018)

Trojaning Attack on Neural Networks. - Yingqi Liu; Shiqing Ma; Yousra Aafer; Wen-Chuan Lee; Juan Zhai; Weihang Wang 001; Xiangyu Zhang 001 (NDSS, 2018)

Kernel-Supported Cost-Effective Audit Logging for Causality Tracking. - Shiqing Ma; Juan Zhai; Yonghwi Kwon 001; Kyu Hyung Lee; Xiangyu Zhang 001; Gabriela F. Ciocarlie; Ashish Gehani; Vinod Yegneswaran; Dongyan Xu; Somesh Jha (USENIX ATC, 2018)

Extracting Mapping Relations for Mobile User Interface Transformation. - Ruihua Ji; Junyu Pei; Wenhua Yang 001; Juan Zhai; Minxue Pan; Tian Zhang 001 (Internetware, 2019)

Preference-wise testing for Android applications. - Yifei Lu; Minxue Pan; Juan Zhai; Tian Zhang 001; Xuandong Li (ESEC/SIGSOFT FSE, 2019)

Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. - Shiyu Zhang; Juan Zhai; Lei Bu; Mingsong Chen 001; Linzhang Wang; Xuandong Li (DATE, 2020)

CPC: automatically classifying and propagating natural language comments via program analysis. - Juan Zhai; Xiangzhe Xu; Yu Shi; Guanhong Tao 001; Minxue Pan; Shiqing Ma; Lei Xu 003; Weifeng Zhang 001; Lin Tan 001; Xiangyu Zhang 001 (ICSE, 2020)

FineLock: automatically refactoring coarse-grained locks into fine-grained locks. - Yang Zhang; Shuai Shao; Juan Zhai; Shiqing Ma (ISSTA, 2020)

Correlations between deep neural network model coverage criteria and model quality. - Shenao Yan; Guanhong Tao 001; Xuwei Liu; Juan Zhai; Shiqing Ma; Lei Xu 003; Xiangyu Zhang 001 (ESEC/SIGSOFT FSE, 2020)

C2S: translating natural language comments to formal program specifications. - Juan Zhai; Yu Shi; Minxue Pan; Guian Zhou; Yongxiang Liu; Chunrong Fang; Shiqing Ma; Lin Tan 001; Xiangyu Zhang 001 (ESEC/SIGSOFT FSE, 2020)

Effective testing of Android apps using extended IFML models. - Minxue Pan; Yifei Lu; Yu Pei 001; Tian Zhang 001; Juan Zhai; Xuandong Li (J. Syst. Softw., 2020)

AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System. - Xiaoyu Zhang 013; Juan Zhai; Shiqing Ma; Chao Shen 001 (ICSE, 2021)

ELISE: A Storage Efficient Logging System Powered by Redundancy Reduction and Representation Learning. - Hailun Ding; Shenao Yan; Juan Zhai; Shiqing Ma (USENIX Security Symposium, 2021)

BppAttack: Stealthy and Efficient Trojan Attacks against Deep Neural Networks via Image Quantization and Contrastive Adversarial Learning. - Zhenting Wang; Juan Zhai; Shiqing Ma (CVPR, 2022)

Fairneuron: Improving Deep Neural Network Fairness with Adversary Games on Selective Neurons. - Xuanqi Gao; Juan Zhai; Shiqing Ma; Chao Shen 001; Yufei Chen 001; Qian Wang 002 (ICSE, 2022)

Training with More Confidence: Mitigating Injected and Natural Backdoors During Training. - Zhenting Wang; Hailun Ding; Juan Zhai; Shiqing Ma (NeurIPS, 2022)

Rethinking the Reverse-engineering of Trojan Triggers. - Zhenting Wang; Kai Mei; Hailun Ding; Juan Zhai; Shiqing Ma (NeurIPS, 2022)

Neural Network Trojans Analysis and Mitigation from the Input Domain. - Zhenting Wang; Hailun Ding; Juan Zhai; Shiqing Ma (CoRR, 2022)

UNICORN: A Unified Backdoor Trigger Inversion Framework. - Zhenting Wang; Kai Mei; Juan Zhai; Shiqing Ma (ICLR, 2023)

CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement. - Xuanqi Gao; Juan Zhai; Shiqing Ma; Chao Shen 001; Yufei Chen 001; Shiwei Wang (ISSTA, 2023)

The Case for Learned Provenance Graph Storage Systems. - Hailun Ding; Juan Zhai; Dong Deng 001; Shiqing Ma (USENIX Security Symposium, 2023)

AIRTAG: Towards Automated Attack Investigation by Unsupervised Learning with Log Texts. - Hailun Ding; Juan Zhai; Yuhong Nan; Shiqing Ma (USENIX Security Symposium, 2023)

A Critical Review of Large Language Model on Software Engineering: An Example from ChatGPT and Automated Program Repair. - Quanjun Zhang; Tongke Zhang; Juan Zhai; Chunrong Fang; Bowen Yu; Weisong Sun; Zhenyu Chen 001 (CoRR, 2023)

Merlin: Multi-tier Optimization of eBPF Code for Performance and Compactness. - Jinsong Mao; Hailun Ding; Juan Zhai; Shiqing Ma (ASPLOS (3), 2024)

Towards General Robustness Verification of MaxPool-Based Convolutional Neural Networks via Tightening Linear Approximation. - Yuan Xiao 003; Shiqing Ma; Juan Zhai; Chunrong Fang; Jinyuan Jia 001; Zhenyu Chen 001 (CVPR, 2024)

Efficient DNN-Powered Software with Fair Sparse Models. - Xuanqi Gao; Weipeng Jiang; Juan Zhai; Shiqing Ma; Xiaoyu Zhang 013; Chao Shen 001 (ISSTA, 2024)

DevMuT: Testing Deep Learning Framework via Developer Expertise-Based Mutation. - Yanzhou Mu; Juan Zhai; Chunrong Fang; Xiang Chen 005; Zhixiang Cao; Peiran Yang; Yinglong Zou; Tao Zheng; Zhenyu Chen 001 (ASE, 2024)

Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment. - Yinglong Zou; Juan Zhai; Chunrong Fang; Jiawei Liu; Tao Zheng; Zhenyu Chen 001 (ASE, 2024)

DREAM: Debugging and Repairing AutoML Pipelines. - Xiaoyu Zhang 013; Juan Zhai; Shiqing Ma; Chao Shen 001 (CoRR, 2024)

From Effectiveness to Efficiency: Comparative Evaluation of Code Generated by LCGMs for Bilingual Programming Questions. - Weipeng Jiang; Xuanqi Gao; Juan Zhai; Shiqing Ma; Xiaoyu Zhang 013; Chao Shen 001 (CoRR, 2024)

CITADEL: Context Similarity Based Deep Learning Framework Bug Finding. - Xiaoyu Zhang 013; Juan Zhai; Shiqing Ma; Shiwei Wang; Chao Shen 001 (CoRR, 2024)

Beyond Code Generation: Assessing Code LLM Maturity with Postconditions. - Fusen He; Juan Zhai; Minxue Pan (CoRR, 2024)

Unlocking Adversarial Suffix Optimization Without Affirmative Phrases: Efficient Black-box Jailbreaking via LLM as Optimizer. - Weipeng Jiang; Zhenting Wang; Juan Zhai; Shiqing Ma; Zhengyu Zhao 001; Chao Shen 001 (CoRR, 2024)

Speculative Coreset Selection for Task-Specific Fine-tuning. - Xiaoyu Zhang 013; Juan Zhai; Shiqing Ma; Chao Shen 001; Tianlin Li; Weipeng Jiang; Yang Liu 003 (CoRR, 2024)

COSTELLO: Contrastive Testing for Embedding-Based Large Language Model as a Service Embeddings. - Weipeng Jiang; Juan Zhai; Shiqing Ma; Xiaoyu Zhang 013; Chao Shen 001 (Proc. ACM Softw. Eng., 2024)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis. - Zeqin Liao; Yuhong Nan; Henglong Liang; Sicheng Hao 001; Juan Zhai; Jiajing Wu; Zibin Zheng (Proc. ACM Softw. Eng., 2024)

Machine Translation Testing via Syntactic Tree Pruning. - Quanjun Zhang; Juan Zhai; Chunrong Fang; Jiawei Liu; Weisong Sun; Haichuan Hu; Qingyu Wang (ACM Trans. Softw. Eng. Methodol., 2024)

Understanding Privacy Risks of Intelligent Connected Vehicles Through Their Companion Mobile Apps. - Peifu Yang; Yuhong Nan; Lei Xue 001; Yuliang Zhang; Juan Zhai; Zibin Zheng (IEEE Internet Things J., 2024)

The Invisible Hand: Unveiling Provider Bias in Large Language Models for Code Generation. - Xiaoyu Zhang 013; Juan Zhai; Shiqing Ma; Qingshuang Bao; Weipeng Jiang; Qian Wang 002; Chao Shen 001; Yang Liu 003 (ACL (1), 2025)

STAFF: Speculative Coreset Selection for Task-Specific Fine-tuning. - Xiaoyu Zhang 013; Juan Zhai; Shiqing Ma; Chao Shen 001; Tianlin Li; Weipeng Jiang; Yang Liu 003 (ICLR, 2025)

An Optimizable Suffix Is Worth A Thousand Templates: Efficient Black-box Jailbreaking without Affirmative Phrases via LLM as Optimizer. - Weipeng Jiang; Zhenting Wang; Juan Zhai; Shiqing Ma; Zhengyu Zhao 001; Chao Shen 001 (NAACL (Findings), 2025)

Data-centric NLP Backdoor Defense from the Lens of Memorization. - Zhenting Wang; Zhizhi Wang; Mingyu Jin; Mengnan Du; Juan Zhai; Shiqing Ma (NAACL (Findings), 2025)

Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing. - Yanzhou Mu; Juan Zhai; Chunrong Fang; Xiang Chen 005; Zhixiang Cao; Peiran Yang; Kexin Zhao; An Guo 002; Zhenyu Chen 001 (Proc. ACM Softw. Eng., 2025)

An Automated Monitoring and Repairing System for DNN Training. - Xiaoyu Zhang 013; Chao Shen 001; Shiqing Ma; Juan Zhai; Chenhao Lin (IEEE Trans. Dependable Secur. Comput., 2025)

Unveiling Provider Bias in Large Language Models for Code Generation. - Xiaoyu Zhang 013; Juan Zhai; Shiqing Ma; Qingshuang Bao; Weipeng Jiang; Chao Shen 001; Yang Liu 003 (CoRR, 2025)

Holistic Audit Dataset Generation for LLM Unlearning via Knowledge Graph Traversal and Redundancy Removal. - Weipeng Jiang; Juan Zhai; Shiqing Ma; Ziyan Lei; Xiaofei Xie; Yige Wang; Chao Shen 001 (CoRR, 2025)

Machine Learning for Actionable Warning Identification: A Comprehensive Survey. - Xiuting Ge; Chunrong Fang; Xuanye Li; Weisong Sun; Daoyuan Wu; Juan Zhai; Shang-Wei Lin 001; Zhihong Zhao; Yang Liu 003; Zhenyu Chen 001 (ACM Comput. Surv., 2025)

MCP-RADAR: A Multi-Dimensional Benchmark for Evaluating Tool Use Capabilities in Large Language Models. - Xuanqi Gao; Siyi Xie; Juan Zhai; Shqing Ma; Chao Shen 001 (CoRR, 2025)

DREAM: Debugging and Repairing AutoML Pipelines. - Xiaoyu Zhang 013; Juan Zhai; Shiqing Ma; Xiaohong Guan; Chao Shen 001 (ACM Trans. Softw. Eng. Methodol., 2025)

EDITOR: Effective and Interpretable Prompt Inversion for Text-to-Image Diffusion Models. - Mingzhe Li; Gehao Zhang; Zhenting Wang; Shiqing Ma; Siqi Pan; Richard Cartwright; Juan Zhai (CoRR, 2025)

Designing Deep Learning Frameworks for LLMs:Challenges, Expectations, and Opportunities. - Yanzhou Mu; Rong Wang; Juan Zhai; Chunrong Fang; Xiang Chen 005; Jiacong Wu; An Guo 002; Jiawei Shen; Bingzhuo Li; Zhenyu Chen 001 (CoRR, 2025)

Deep Learning Framework Testing via Model Mutation: How Far Are We? - Yanzhou Mu; Rong Wang; Juan Zhai; Chunrong Fang; Xiang Chen 005; Zhiyuan Peng; Peiran Yang; Ruixiang Qian; Shaoyu Yang 002; Zhenyu Chen 001 (CoRR, 2025)

ASSURE: Metamorphic Testing for AI-powered Browser Extensions. - Xuanqi Gao; Juan Zhai; Shiqing Ma; Siyi Xie; Chao Shen 001 (CoRR, 2025)

Disappearing Ink: Obfuscation Breaks N-gram Code Watermarks in Theory and Practice. - Gehao Zhang; Eugene Bagdasarian; Juan Zhai; Shiqing Ma (CoRR, 2025)

LLMCup: Ranking-Enhanced Comment Updating with LLMs. - Hua Ge; Juan Zhai; Minxue Pan; Fusen He; Ziyue Tan (CoRR, 2025)

Breaking the Myth: Can Small Models Infer Postconditions Too? - Gehao Zhang; Zhenting Wang; Juan Zhai (CoRR, 2025)

Mitigating Stylistic Biases of Machine Translation Systems via Monolingual Corpora Only. - Xuanqi Gao; Weipeng Jiang; Juan Zhai; Shiqing Ma; Siyi Xie; Xinyang Yin; Chao Shen 001 (CoRR, 2025)

Deep Learning Framework Testing via Heuristic Guidance Based on Multiple Model Measurements. - Yinglong Zou; Juan Zhai; Chunrong Fang; Yanzhou Mu; Jiawei Liu; Zhenyu Chen 001 (CoRR, 2025)