Juan Zhai

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 48

Top Topics

Natural Language

Top Venues

ESEC/SIGSOFT FSE

USENIX Security Symposium

Publications

Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Shiwei Wang, Chao Shen
CITADEL: Context Similarity Based Deep Learning Framework Bug Finding. CoRR (2024)
Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen
DREAM: Debugging and Repairing AutoML Pipelines. CoRR (2024)
Quanjun Zhang, Juan Zhai, Chunrong Fang, Jiawei Liu, Weisong Sun, Haichuan Hu, Qingyu Wang
Machine Translation Testing via Syntactic Tree Pruning. CoRR (2024)
Zeqin Liao, Yuhong Nan, Henglong Liang, Sicheng Hao, Juan Zhai, Jiajing Wu, Zibin Zheng
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Yuan Xiao, Shiqing Ma, Juan Zhai, Chunrong Fang, Jinyuan Jia, Zhenyu Chen
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation. CoRR (2024)
Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen
Efficient DNN-Powered Software with Fair Sparse Models. CoRR (2024)
Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen
COSTELLO: Contrastive Testing for Embedding-Based Large Language Model as a Service Embeddings. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Jinsong Mao, Hailun Ding, Juan Zhai, Shiqing Ma
Merlin: Multi-tier Optimization of eBPF Code for Performance and Compactness. ASPLOS (3) (2024)
Quanjun Zhang, Juan Zhai, Chunrong Fang, Jiawei Liu, Weisong Sun, Haichuan Hu, Qingyu Wang
Machine Translation Testing via Syntactic Tree Pruning. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Fusen He, Juan Zhai, Minxue Pan
Beyond Code Generation: Assessing Code LLM Maturity with Postconditions. CoRR (2024)
Weipeng Jiang, Xuanqi Gao, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen
From Effectiveness to Efficiency: Comparative Evaluation of Code Generated by LCGMs for Bilingual Programming Questions. CoRR (2024)
Zeqin Liao, Yuhong Nan, Henglong Liang, Sicheng Hao, Juan Zhai, Jiajing Wu, Zibin Zheng
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis. CoRR (2024)
Quanjun Zhang, Tongke Zhang, Juan Zhai, Chunrong Fang, Bowen Yu, Weisong Sun, Zhenyu Chen
A Critical Review of Large Language Model on Software Engineering: An Example from ChatGPT and Automated Program Repair. CoRR (2023)
Xiuting Ge, Chunrong Fang, Xuanye Li, Weisong Sun, Daoyuan Wu, Juan Zhai, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen
Machine Learning for Actionable Warning Identification: A Comprehensive Survey. CoRR (2023)
Zhenting Wang, Kai Mei, Juan Zhai, Shiqing Ma
UNICORN: A Unified Backdoor Trigger Inversion Framework. ICLR (2023)
Zhenting Wang, Kai Mei, Juan Zhai, Shiqing Ma
UNICORN: A Unified Backdoor Trigger Inversion Framework. CoRR (2023)
Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Shiwei Wang
CILIATE: Towards Fairer Class-based Incremental Learning by Dataset and Training Refinement. CoRR (2023)
Hailun Ding, Juan Zhai, Dong Deng, Shiqing Ma
The Case for Learned Provenance Graph Storage Systems. USENIX Security Symposium (2023)
Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Shiwei Wang
CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement. ISSTA (2023)
Hailun Ding, Juan Zhai, Yuhong Nan, Shiqing Ma
AIRTAG: Towards Automated Attack Investigation by Unsupervised Learning with Log Texts. USENIX Security Symposium (2023)
Zhenting Wang, Hailun Ding, Juan Zhai, Shiqing Ma
Training with More Confidence: Mitigating Injected and Natural Backdoors During Training. NeurIPS (2022)
Zhenting Wang, Kai Mei, Hailun Ding, Juan Zhai, Shiqing Ma
Rethinking the Reverse-engineering of Trojan Triggers. CoRR (2022)
Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Qian Wang
FairNeuron: Improving Deep Neural Network Fairness with Adversary Games on Selective Neurons. CoRR (2022)
Zhenting Wang, Kai Mei, Hailun Ding, Juan Zhai, Shiqing Ma
Rethinking the Reverse-engineering of Trojan Triggers. NeurIPS (2022)
Zhenting Wang, Hailun Ding, Juan Zhai, Shiqing Ma
Neural Network Trojans Analysis and Mitigation from the Input Domain. CoRR (2022)
Zhenting Wang, Juan Zhai, Shiqing Ma
BppAttack: Stealthy and Efficient Trojan Attacks against Deep Neural Networks via Image Quantization and Contrastive Adversarial Learning. CVPR (2022)
Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Qian Wang
Fairneuron: Improving Deep Neural Network Fairness with Adversary Games on Selective Neurons. ICSE (2022)
Zhenting Wang, Juan Zhai, Shiqing Ma
BppAttack: Stealthy and Efficient Trojan Attacks against Deep Neural Networks via Image Quantization and Contrastive Adversarial Learning. CoRR (2022)
Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen
AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System. ICSE (2021)
Hailun Ding, Shenao Yan, Juan Zhai, Shiqing Ma
ELISE: A Storage Efficient Logging System Powered by Redundancy Reduction and Representation Learning. USENIX Security Symposium (2021)
Yang Zhang, Shuai Shao, Juan Zhai, Shiqing Ma
FineLock: automatically refactoring coarse-grained locks into fine-grained locks. ISSTA (2020)
Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, Xiangyu Zhang
C2S: translating natural language comments to formal program specifications. ESEC/SIGSOFT FSE (2020)
Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang
CPC: automatically classifying and propagating natural language comments via program analysis. ICSE (2020)
Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li
Effective testing of Android apps using extended IFML models. J. Syst. Softw. 159 (2020)
Shenao Yan, Guanhong Tao, Xuwei Liu, Juan Zhai, Shiqing Ma, Lei Xu, Xiangyu Zhang
Correlations between deep neural network model coverage criteria and model quality. ESEC/SIGSOFT FSE (2020)
Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li
Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. DATE (2020)
Ruihua Ji, Junyu Pei, Wenhua Yang, Juan Zhai, Minxue Pan, Tian Zhang
Extracting Mapping Relations for Mobile User Interface Transformation. Internetware (2019)
Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li
Preference-wise testing for Android applications. ESEC/SIGSOFT FSE (2019)
Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao
Dual-force: understanding WebView malware via cross-language forced execution. ASE (2018)
Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu, Somesh Jha
Kernel-Supported Cost-Effective Audit Logging for Causality Tracking. USENIX Annual Technical Conference (2018)
Yingqi Liu, Shiqing Ma, Yousra Aafer, Wen-Chuan Lee, Juan Zhai, Weihang Wang, Xiangyu Zhang
Trojaning Attack on Neural Networks. NDSS (2018)
Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao
A Framework for Array Invariants Synthesis in Induction-Loop Programs. APSEC (2017)
Shiqing Ma, Juan Zhai, Fei Wang, Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu
MPI: Multiple Perspective Attack Investigation with Semantic Aware Execution Partitioning. USENIX Security Symposium (2017)
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, Xiangyu Zhang
LAMP: data provenance for graph based machine learning algorithms through derivative computation. ESEC/SIGSOFT FSE (2017)
Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao
Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java. QRS (2017)
Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao
Automatic Invariant Synthesis for Arrays in Simple Programs. QRS (2016)
Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li
Precondition Calculation for Loops Iterating over Data Structures. QRS (2016)
Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao, Feng Qin
Automatic model generation from documentation for Java API functions. ICSE (2016)
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
Node-Set Analysis for Linked Recursive Data Structures. QRS (2015)
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
Analyzing Inductively Defined Properties for Recursive Data Structures. Internetware (2015)
Juan Zhai, Hanfei Wang, Jianhua Zhao
Assertion-Directed Precondition Synthesis for Loops over Data Structures. SETTA (2015)
Juan Zhai, Hanfei Wang, Jianhua Zhao
Post-condition-Directed Invariant Inference for Loops over Data Structures. SERE (Companion) (2014)