Juan Zhai

Assistant Teaching Professor
Department of Computer Science
Rutgers University
Email: juan.zhai@rutgers.edu
Address: Hill 407, 110 Frelinghuysen Rd

I will join the Manning College of Information and Computer Sciences, University of Massachusetts Amherst as an Assistant Professor, starting in July 2023.

Research

  • Research Interests: Software Engineering and Program Languages, Natural Language Processing and Software Text Analytics, Software Reliability and Security, Deep Learning

Awards and Honors

  • Rutgers Research Council Award, 2020
  • Distinguished Paper Award (USENIX Security 2017)

Papers

    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
    ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
    Seattle, Washington, July 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

    • 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 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]

    • 2021

  • 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]

    • 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 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

    • 2019

  • 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

    • 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 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

    • 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 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

    • 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 (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

    • 2015

  • 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

    • 2014

  • 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

Services

  • TPC/Reviewer, International Symposium on Software Testing and Analysis (ISSTA), 2024
  • TPC/Reviewer, International Conference on Automated Software Engineering (ASE), 2023
  • TPC/Reviewer, International Conference on Automation of Software Test (AST), 2023
  • TPC/Reviewer, Conference on Neural Information Processing Systems (NeurIPS), 2023
  • TPC/Reviewer, Conference on Computer Vision and Pattern Recognition (CVPR), 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 Software (JOS), 2020
  • TPC/Reviewer, Journal of Systems and Software (JSS), 2019
  • TPC/Reviewer, Empirical Software Engineering (EMSE), 2019

Teaching

  • 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)