Juan Zhai

According to our database, Juan Zhai authored at least 50 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Understanding Privacy Risks of Intelligent Connected Vehicles Through Their Companion Mobile Apps.

Peifu Yang, Yuhong Nan, Lei Xue, Yuliang Zhang, Juan Zhai, Zibin Zheng

IEEE Internet Things J., October, 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., June, 2024

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.

Zeqin Liao, Yuhong Nan, Henglong Liang, Sicheng Hao, Juan Zhai, Jiajing Wu, Zibin Zheng

Proc. ACM Softw. Eng., 2024

COSTELLO: Contrastive Testing for Embedding-Based Large Language Model as a Service Embeddings.

Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen

Proc. ACM Softw. Eng., 2024

Speculative Coreset Selection for Task-Specific Fine-tuning.

Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen, Tianlin Li, Weipeng Jiang, Yang Liu

CoRR, 2024

Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment.

Yinglong Zou, Juan Zhai, Chunrong Fang, Jiawei Liu, Tao Zheng, Zhenyu Chen

CoRR, 2024

Data-centric NLP Backdoor Defense from the Lens of Memorization.

Zhenting Wang, Zhizhi Wang, Mingyu Jin, Mengnan Du, Juan Zhai, Shiqing Ma

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, Chao Shen

CoRR, 2024

Beyond Code Generation: Assessing Code LLM Maturity with Postconditions.

Fusen He, Juan Zhai, Minxue Pan

CoRR, 2024

CITADEL: Context Similarity Based Deep Learning Framework Bug Finding.

Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Shiwei Wang, Chao Shen

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, Chao Shen

CoRR, 2024

DREAM: Debugging and Repairing AutoML Pipelines.

Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen

CoRR, 2024

Efficient DNN-Powered Software with Fair Sparse Models.

Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

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

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

Merlin: Multi-tier Optimization of eBPF Code for Performance and Compactness.

Jinsong Mao, Hailun Ding, Juan Zhai, Shiqing Ma

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Machine Learning for Actionable Warning Identification: A Comprehensive Survey.

Xiuting Ge, Chunrong Fang, Xuanye Li, Weisong Sun, Daoyuan Wu, Juan Zhai, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen

CoRR, 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

CoRR, 2023

AIRTAG: Towards Automated Attack Investigation by Unsupervised Learning with Log Texts.

Hailun Ding, Juan Zhai, Yuhong Nan, Shiqing Ma

Proceedings of the 32nd USENIX Security Symposium, 2023

The Case for Learned Provenance Graph Storage Systems.

Hailun Ding, Juan Zhai, Dong Deng, Shiqing Ma

Proceedings of the 32nd USENIX Security Symposium, 2023

CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement.

Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Shiwei Wang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

UNICORN: A Unified Backdoor Trigger Inversion Framework.

Zhenting Wang, Kai Mei, Juan Zhai, Shiqing Ma

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

Neural Network Trojans Analysis and Mitigation from the Input Domain.

Zhenting Wang, Hailun Ding, Juan Zhai, Shiqing Ma

CoRR, 2022

Rethinking the Reverse-engineering of Trojan Triggers.

Zhenting Wang, Kai Mei, Hailun Ding, Juan Zhai, Shiqing Ma

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Training with More Confidence: Mitigating Injected and Natural Backdoors During Training.

Zhenting Wang, Hailun Ding, Juan Zhai, Shiqing Ma

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Fairneuron: Improving Deep Neural Network Fairness with Adversary Games on Selective Neurons.

Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Qian Wang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

BppAttack: Stealthy and Efficient Trojan Attacks against Deep Neural Networks via Image Quantization and Contrastive Adversarial Learning.

Zhenting Wang, Juan Zhai, Shiqing Ma

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

2021

ELISE: A Storage Efficient Logging System Powered by Redundancy Reduction and Representation Learning.

Hailun Ding, Shenao Yan, Juan Zhai, Shiqing Ma

Proceedings of the 30th USENIX Security Symposium, 2021

AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System.

Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Effective testing of Android apps using extended IFML models.

Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li

J. Syst. Softw., 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, Xiangyu Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Correlations between deep neural network model coverage criteria and model quality.

Shenao Yan, Guanhong Tao, Xuwei Liu, Juan Zhai, Shiqing Ma, Lei Xu, Xiangyu Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

FineLock: automatically refactoring coarse-grained locks into fine-grained locks.

Yang Zhang, Shuai Shao, Juan Zhai, Shiqing Ma

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language.

Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Preference-wise testing for Android applications.

Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Extracting Mapping Relations for Mobile User Interface Transformation.

Ruihua Ji, Junyu Pei, Wenhua Yang, Juan Zhai, Minxue Pan, Tian Zhang

Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019

2018

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

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Trojaning Attack on Neural Networks.

Yingqi Liu, Shiqing Ma, Yousra Aafer, Wen-Chuan Lee, Juan Zhai, Weihang Wang, Xiangyu Zhang

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Dual-force: understanding WebView malware via cross-language forced execution.

Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

MPI: Multiple Perspective Attack Investigation with Semantic Aware Execution Partitioning.

Shiqing Ma, Juan Zhai, Fei Wang, Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu

Proceedings of the 26th USENIX Security Symposium, 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

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java.

Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

A Framework for Array Invariants Synthesis in Induction-Loop Programs.

Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Precondition Calculation for Loops Iterating over Data Structures.

Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Automatic Invariant Synthesis for Arrays in Simple Programs.

Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Automatic model generation from documentation for Java API functions.

Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao, Feng Qin

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Assertion-Directed Precondition Synthesis for Loops over Data Structures.

Juan Zhai, Hanfei Wang, Jianhua Zhao

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Node-Set Analysis for Linked Recursive Data Structures.

Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Analyzing Inductively Defined Properties for Recursive Data Structures.

Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

2014

Post-condition-Directed Invariant Inference for Loops over Data Structures.

Juan Zhai, Hanfei Wang, Jianhua Zhao

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014