 |
Juan ZhaiAssistant ProfessorManning College of Information & Computer Sciences University of Massachusetts, Amherst Email: juanzhai@umass.edu Address: 140 Governors Drive, Amherst, MA 01003-9264, USA |
About
Juan Zhai is an Assistant Professor in the Manning College of Information & Computer Sciences (CICS) at University of Massachusetts, Amherst (UMass). She co-directs the Laboratory for Advanced Software Engineering Research (LASER) lab. She is broadly interested in Software Engineering and Program Languages, Natural Language Processing and Software Text Analytics, Software Reliability and Security, and Deep Learning.
Drop me an email if you are interested in working with me!
Drop me an email if you are interested in working with me!
Publications
-
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
-
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
-
DREAM: Debugging and Repairing AutoML Pipelines
Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen
-
Efficient DNN-powered Software with Fair Sparse Models
Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
Vienna, Austria, September 2024
-
Meilin: Multi-tier Optimization of eBPF Code for Performance and Compactness
Jinsong Mao, Hailun Ding, Juan Zhai, Shiqing Ma
ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2024)
San Diego, CA, April 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
IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2024)
Seattle, WA, 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
Proceedings of the International Conference on the Foundations of Software Engineering (FSE 2024)
Porto de Galinhas, Brazil, July 2024
-
COSTELLO: Contrastive Testing for Embedding-based Large Language Model as a Service Embeddings
Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen
Proceedings of the International Conference on the Foundations of Software Engineering (FSE 2024)
Porto de Galinhas, Brazil, July 2024
-
Machine Translation Testing via Syntactic Tree Pruning
Quanjun Zhang, Juan Zhai, Chunrong Fang, Jiawei Liu, Weisong Sun, Haichuan Hu, Qingyu Wang
ACM Transactions on Software Engineering and Methodology (TOSEM 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 of Things Journal (IoT-J 2024) -
CILIATE: Towards Fairer Class-based Incremental Learning by Dataset and Training
Refinement
Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Shiwei Wang
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
Seattle, Washington, July 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 (Security 2023)
Anaheim, CA, August 2023
-
The Case for Learned Provenance Graph Storage Systems
Hailun Ding, Juan Zhai, Dong Deng, Shiqing Ma,
Proceedings of the 32nd USENIX Security Symposium (Security 2023)
Anaheim, CA, August 2023
-
UNICORN: A Unified Backdoor Trigger Inversion Framework
Zhenting Wang, Kai Mei, Juan Zhai, Shiqing Ma
International Conference on Learning Representations (ICLR 2023) Spotlight
Kigali Rwanda, May, 2023
-
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 International Conference on Software Engineering (ICSE 2022)
Pittsburgh, PA, May 2022 [code]
-
BppAttack: Stealthy and Efficient Trojan Attacks against Deep Neural Networks via Image
Quantization and Contrastive Adversarial Learning
Zhenting Wang, Juan Zhai, Shiqing Ma
IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2022)
New Orleans, LA, June, 2022 [code]
-
Rethinking the Reverse-engineering of Trojan Triggers
Zhenting Wang, Kai Mei, Hailun Ding, Juan Zhai, Shiqing Ma
Neural Information Processing Systems 2022 (NeurIPS 2022)
New Orleans, LA, November, 2022 [code]
-
Training with More Confidence: Mitigating Injected and Natural Backdoors During Training
Zhenting Wang, Hailun Ding, Juan Zhai, Shiqing Ma
Neural Information Processing Systems 2022 (NeurIPS 2022)
New Orleans, LA, November, 2022 [code]
-
AutoTrainer: An Automatic DNN Training Problem Detection and
Repair System
Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen
Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021)
Madrid, Spain, May 2021 [code]
-
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 (Security 2021)
Boston, MA, August 2021 [code]
-
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 28th ACM Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
Sacramento, CA, Nov 2020 [slides][video]
-
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 42nd International Conference on Software Engineering (ICSE 2020)
Seoul, South Korea, May 2020 [slides][code][video]
-
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 28th ACM Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
Sacramento, CA, Nov 2020 [code]
-
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 Design, Automation & Test in Europe Conference & Exhibition (DATE 2020)
Grenoble, France, March 2020
-
Effective Testing of Android Apps Using Extended IFML Models
Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li
Journal of Systems and Software (JSS 2020)
-
FineLock: Automatically Refactoring Coarse-grained Locks into
Fine-grained Locks
Yang Zhang, Shuai Shao, Juan Zhai, Shiqing Ma
Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020, Tool Demo Track)
Los Angeles, CA, Jul 2020
-
Preference-Wise Testing for Android Applications
Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li
Proceedings of the 27th ACM Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
Tallinn, Estonia, August 2019
-
Extracting Mapping Relations for Mobile User Interface transformation
Ruihua Ji, Junyu Pei, Wenhua Yang, Juan Zhai, Minxue Pan, Tian Zhang
Proceedings of the 11st Asia-Pacific Symposium on Internetware 2015 (Internetware 2019)
Fukuoka, Japan, October 2019
-
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 IEEE/ACM International Conference on Automated Software Engineering (ASE 2018)
Montpellier, France, September 2018
-
Kernel-Supported Cost-Effective Audit Logging for Causality
Tracking
Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu, Somesh Jha
Proceedings of the 2018 USENIX Annual Technical Conference (ATC 2018)
Boston, MA, July 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 Network and Distributed System Security Symposium (NDSS 2018)
San Diego, CA, February 2018 [code]
-
Automatically Analyzing Inductive Properties for Recursive Data Structures
Zhenhao Tang, Bin Li, Juan Zhai, Jianhua Zhao
Proceedings of Journal of Software, 2018 (JOS 2018) (in Chinese)
Chongqing, China, November 2018
-
Automatic Invariant Synthesis for Arrays Programs
Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao
Proceedings of Journal of Software, 2018 (JOS 2018) (in Chinese)
Chongqing, China, November 2018
-
An Approach of Vulnerability Detection related to Numerical Stability
Weijun Shen, Enyi Tang, Zhenyu Chen, Xin Chen, Bin Li, Juan Zhai
Proceedings of Journal of Software, 2018 (JOS 2018) (in Chinese)
Chongqing, China, November 2018
-
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 ACM Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017)
Paderborn, Germany, September 2017
-
MPI: Multiple Perspective Attack Investigation with Semantic
Aware Execution Partitioning
Shiqing Ma, Juan Zhai, Fei Wang, Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu
Distinguished Paper Award
Proceedings of the 26th USENIX Security Symposium (Security 2017)
Vancouver, BC, Canada, August 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 (APSEC 2017)
Nanjing, China, December 2017
-
Are Your Classes Well-encapsulated? Encapsulation Analysis for Java
Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao
Proceedings of IEEE International Conference on Software Quality, Reliability and Security 2017 (QRS 2017)
Prague, Czech Republic, July 2017
-
An Automatic Approach of Summarizing Common Loops and its Application
Juan Zhai, Zhenhao Tang, Bin Li, Jianhua Zhao, Xuandong Li
Proceedings of Journal of Software, 2017 (JOS 2017) (in Chinese)
Beijing, China, November 2017
-
Verification of Concrete Programs w.r.t. Abstract Programs
Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao
Proceedings of Journal of Software, 2017 (JOS 2017) (in Chinese)
Beijing, China, November 2017
-
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 (ICSE 2016)
Austin, TX, May 2016 [slides]
-
Precondition Calculation for Loops Iterating over Data Structures
Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li
Proceedings of IEEE International Conference on Software Quality, Reliability and Security 2016 (QRS 2016)
Vienna, Austria, August 2016
-
Automatic Invariant Synthesis for Arrays in Simple Programs
Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao
Proceedings of IEEE International Conference on Software Quality, Reliability and Security 2016 (QRS 2016)
Vienna, Austria, August 2016
-
Assertion-directed Precondition Synthesis for Loops over Data Structures
Juan Zhai, Hanfei Wang, and Jianhua Zhao
Proceedings of Dependable Software Engineering: Theories, Tools, and Applications 2015 (SETTA 2015)
Nanjing, China, November 2015
-
Node-Set Analysis for Linked Recursive Data Structures
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao
Proceedings of IEEE International Conference on Software Quality, Reliability and Security 2015 (QRS 2015)
Vancouver, Canada, August 2015
-
Analyzing Inductively Defined Properties for Recursive Data Structures
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao
Proceedings of the 7th Asia-Pacific Symposium on Internetware 2015 (Internetware 2015)
Wuhan, China, November 2015
-
Post-condition-directed Invariant Inference for Loops over Data Structures
Juan Zhai, Hanfei Wang, Jianhua Zhao
Proceedings of International Conference on Software Security & Reliability-companion 2014 (SERE-C 2014)
San Francisco, CA, June 2014
Preprint
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
Services
- TPC/Reviewer, International Conference on Software Engineering (ICSE), 2025
- TPC/Reviewer, ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2024
- TPC/Reviewer, International Symposium on Software Testing and Analysis (ISSTA), 2025, 2024
- TPC/Reviewer, International Conference on Automated Software Engineering (ASE), 2024, 2023
- TPC/Reviewer, Conference on Computer Vision and Pattern Recognition (CVPR), 2024, 2023
- TPC/Reviewer, International Conference on Learning Representations (ICLR), 2024
- TPC/Reviewer, Conference on Neural Information Processing Systems (NeurIPS), 2024, 2023
- TPC/Reviewer, International Conference on Automation of Software Test (AST), 2023
- TPC/Reviewer, International Conference on Software Engineering, Demo Track (ICSE-Demo), 2022
- TPC/Reviewer, International Conference on Machine Learning (ICML), 2022
- TPC/Reviewer, Transactions on Software Engineering and Methodology (TOSEM), 2023, 2022, 2021
- TPC/Reviewer, Transactions on Software Engineering (TSE), 2020
- TPC/Reviewer, Journal of Systems and Software (JSS), 2024, 2023, 2019
- TPC/Reviewer, Journal of Software (JOS), 2020
- TPC/Reviewer, Empirical Software Engineering (EMSE), 2019
Teaching
- Fall 24: Hot Topics in Software Engineering Research (CS692P)
- Fall 24: Theory and Practice of Software Engineering (CS520)
- Spring 24: Theory and Practice of Software Engineering (CS520)
- Spring 23: Software Engineering (CS431)
- Spring 23: Introduction to Computer Science (CS111)
- Fall 22: Data Structure (CS112)
- Fall 22: Introduction to Computer Science (CS111)
- Spring 22: Data Structure (CS112)
- Spring 21: Data Structure (CS112)
- Spring 21: Introduction to Computer Science (CS111)
- Fall 20: Data Structure (CS112)
- Fall 20: Introduction to Computer Science (CS111)
- Spring 20: Software Engineering (CS431)
- Spring 20: Data Structure (CS112)
- Spring 20: Introduction to Computer Science (CS111)
- Fall 19: Data Structure (CS112)
- Fall 19: Introduction to Computer Science (CS111)