| 2026 | AAAI | From Chaos to Clarity: A Knowledge Graph-Driven Audit Dataset Generation Framework for LLM Unlearning. | Weipeng Jiang, Juan Zhai, Shiqing Ma, Ziyan Lei, Xiaofei Xie, Yige Wang, Chao Shen |
| 2026 | ACL | False Friends in the Shell: Unveiling the Emoticon Semantic Confusion in Large Language Models. | Weipeng Jiang, Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen, Yang Liu |
| 2026 | ACL | Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets. | Yuan Xiao, Jiaming Wang, Yuchen Chen, Wei Song, Jun Sun, Shiqing Ma, Yanzhou Mu, Juan Zhai, Chunrong Fang, Jin Song Dong, Zhenyu Chen |
| 2026 | ACL | POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference. | Gehao Zhang, Juan Zhai |
| 2025 | ACL | The Invisible Hand: Unveiling Provider Bias in Large Language Models for Code Generation. | Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Qingshuang Bao, Weipeng Jiang, Qian Wang, Chao Shen, Yang Liu |
| 2025 | ICLR | STAFF: Speculative Coreset Selection for Task-Specific Fine-tuning. | Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen, Tianlin Li, Weipeng Jiang, Yang Liu |
| 2025 | NAACL | 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, Chao Shen |
| 2025 | NAACL | Data-centric NLP Backdoor Defense from the Lens of Memorization. | Zhenting Wang, Zhizhi Wang, Mingyu Jin, Mengnan Du, Juan Zhai, Shiqing Ma |
| 2024 | ASPLOS | Merlin: Multi-tier Optimization of eBPF Code for Performance and Compactness. | Jinsong Mao, Hailun Ding, Juan Zhai, Shiqing Ma |
| 2024 | CVPR | Towards General Robustness Verification of MaxPool-Based Convolutional Neural Networks via Tightening Linear Approximation. | Yuan Xiao, Shiqing Ma, Juan Zhai, Chunrong Fang, Jinyuan Jia, Zhenyu Chen |
| 2024 | ISSTA | Efficient DNN-Powered Software with Fair Sparse Models. | Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen |
| 2023 | ICLR | UNICORN: A Unified Backdoor Trigger Inversion Framework. | Zhenting Wang, Kai Mei, Juan Zhai, Shiqing Ma |
| 2023 | ISSTA | CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement. | Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Shiwei Wang |
| 2022 | CVPR | BppAttack: Stealthy and Efficient Trojan Attacks against Deep Neural Networks via Image Quantization and Contrastive Adversarial Learning. | Zhenting Wang, Juan Zhai, Shiqing Ma |
| 2022 | ICSE | Fairneuron: Improving Deep Neural Network Fairness with Adversary Games on Selective Neurons. | Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Qian Wang |
| 2021 | ICSE | AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System. | Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen |
| 2020 | DATE | Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. | Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li |
| 2020 | ICSE | CPC: automatically classifying and propagating natural language comments via program analysis. | Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang |
| 2020 | ISSTA | FineLock: automatically refactoring coarse-grained locks into fine-grained locks. | Yang Zhang, Shuai Shao, Juan Zhai, Shiqing Ma |
| 2018 | NDSS | Trojaning Attack on Neural Networks. | Yingqi Liu, Shiqing Ma, Yousra Aafer, Wen-Chuan Lee, Juan Zhai, Weihang Wang, Xiangyu Zhang |
| 2018 | USENIX | Kernel-Supported Cost-Effective Audit Logging for Causality Tracking. | Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu, Somesh Jha |
| 2017 | APSEC | A Framework for Array Invariants Synthesis in Induction-Loop Programs. | Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao |
| 2017 | QRS | Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java. | Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao |
| 2016 | ICSE | Automatic model generation from documentation for Java API functions. | Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao, Feng Qin |
| 2016 | QRS | Automatic Invariant Synthesis for Arrays in Simple Programs. | Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao |
| 2016 | QRS | Precondition Calculation for Loops Iterating over Data Structures. | Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li |
| 2015 | QRS | Node-Set Analysis for Linked Recursive Data Structures. | Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li |
| 2015 | SETTA | Assertion-Directed Precondition Synthesis for Loops over Data Structures. | Juan Zhai, Hanfei Wang, Jianhua Zhao |