• Research Interests: Program Analysis and Software Engineering, Natural Language Processing and Software Text Analytics, Software Reliability and Security
  • Rutgers Research Council Award, 2020
  • Distinguished Paper Award (USENIX Security 2017)
  • 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

  • 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

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

  • 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

  • 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

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