Growing software: Theory, Methodology, and Techniques (pdf)
Growing software: Transformer Synthesis for evolving Java projects (pdf), receiving ACM SIGSOFT Distinguished Paper Award and ACM Europe Council Best Paper Award
Growing software: Dependency diagnosis for evolving Go projects (Hero), receiving ACM SIGSOFT Distinguished Paper Award
Growing software: Dependency diagnosis for evolving Python projects (Watchman), recommended by The Morning Paper on Sep 21, 2020)
I was a research assistant professor with HKUST from 2008 to 2010. I joined Nanjing University (NJU) as an associate professor in 2010, and was promoted to full professor in 2016.
Awards or honors:
ACM SIGSOFT Distinguished Paper Awards and ACM Europe Council Best Paper Award (杰出论文奖和最佳论文奖) from ICSE 2021
Safety and Security of System Software Best Paper Award (最佳论文奖) from NASAC 2018
ACM SIGSOFT Distinguished Paper Award (杰出论文奖) from ASE 2018
NJU CS Virtue Star Award (南京大学计算机学科美德之星奖) in 2017
NJU Du-Sha Teaching Award (南京大学杜厦奖教金) in 2017
CCF Young Computer Scientist Award (中国计算机学会CCF青年科学家奖) in 2015
ACM Nanjing Rising Star Award (ACM南京新星奖) in 2014
Best Paper Award (最佳论文奖) from APSEC 2014
NJU BOB "Jing"-Ying Teaching Award (南京大学北京银行"京"英奖教金) in 2014
ACM SIGSOFT Distinguished Paper Award (杰出论文奖) from ICSE 2014
Mountain-Climbing Talents (南京大学登峰人才支持计划) since 2013
CVIC SE Talents (中创软件人才奖) in 2012
National Science and Technology Progress Award (国家科学技术进步奖) (Second Class) in 2011
New Century Excellent Talents in University by the Ministry of Education (教育部新世纪优秀人才) in 2010
Research Interests
My research interests include big data software engineering, intelligent software testing and analysis, and adaptive and autonomous software systems. Recent topics focus on the construction and runtime support for intelligent software in open environments, which cover the inconsistency detection and resolution for environments, and quality assurance for adaptive/concurrent/learning-based/smartphone-based/spreadsheet-based applications.
Associated research groups: SPAR (NJU) and CASTLE (HKUST)
Students
Present (MSc + PhD):
Ziqi Chen (MSc; with Dr. Huiyan Wang; DNN testing)
Yingzhuo Yang (MSc; DNN testing)
Siyuan Zhu (MSc; with Dr. Jingwei Xu; DNN testing)
Yicheng Huang (MSc; with Dr. Yanyan Jiang; spreadsheeting testing)
Qinlin Chen (MSc; with Dr. Yue Li; program analysis)
Jinchi Chen (MSc; with Dr. Yi Qin; self-adaptive system)
Chuyang Chen (MSc; with Dr. Huiyan Wang; context inconsistency detection)
Xinyi Mao (MSc; with Dr. Yi Qin; self-adaptive system)
Shuguan Liu (MSc; with Prof. Xiaoxing Ma and Dr. Huiyan Wang; PBE and DNN testing)
Hanzhi Liu (MSc; with Prof. Xiaoxing Ma and Dr. Yanyan Jiang; system engineering)
Ruijie Guo (MSc; with Dr. Ying Wang; Java dependency analysis)
Yan Yuan (MSc; with Dr. Ying Wang; Go dependency analysis)
Rong Yang (MSc; with Dr. Yi Qin; forthcoming)
Zelin Zhao (PhD; with Prof. Xiaoxing Ma; dynamic software updating)
Wenjie Li (PhD; with Dr. Jun Ma and Yanyan Jiang; Android app testing)
Ying Zhang (PhD; with Prof. Xiaoxing Ma and Chun Cao; resource management)
Jue Wang (PhD; with Dr. Yanyan Jiang; Android app testing)
Chenxi Zhang (PhD; with Dr. Yue Li; program analysis)
Cong Li (PhD; with Dr. Yanyan Jiang; Android app testing)
Xianfei Ou (PhD; with Dr. Yanyan Jiang; assembly code and compiler testing)
Daohan Qu (PhD; with Dr. Yanyan Jiang; Java virtual machine)
Lingyu Zhang (PhD; with Dr. Huiyan Wang; context inconsistency detection)
Teng Zhang (PhD; with Dr. Yue Li; forthcoming)
Past:
2021: Huiyan Wang (PhD; thesis: "Input Validation for Context-aware Intelligent Software via Consistency Checking"), Dongjie Chen (PhD; with Prof. Xiaoxing Ma and Dr. Yanyan Jiang; thesis: "Bug Interpretation-based Input Generation for Software Testing"), Jinci Chen (MSc), Da Li (MSc; with Prof. Jian Lu), and Shaocong Liu (MSc; with Dr. Jun Ma)
2020: Qingwei Sun (MSc; with Dr. Jun Ma) and Yi Liu (MSc; with Prof. Xiaoxing Ma and Dr. Yanyan Jiang)
2019: Yang Cao (MSc; with Dr. Yanyan Jiang), Yuju Shen (MSc; with Dr. Yanyan Jiang), and Dawei Cheng (MSc; with Prof. Xiaoxing Ma)
2018: Yi Qin (PhD; with Prof. Jian Lu; thesis: "Software Testing for Cyber-physical Systems Suffering Uncertainty"), Zhanshuai Meng (MSc; with Prof. Xiaoxing Ma and Dr. Yanyan Jiang), and Bingying Guo (MSc)
2017: Yanyan Jiang (PhD; with Prof. Jian Lu and Xiaoxing Ma; thesis: "Understanding Shared Memory Dependences"), Wenhua Yang (PhD; with Prof. Xiaoxing Ma; thesis: "Verification and Counterexample Validation for Self-adaptive Software Systems Suffering Uncertain Environmental Interactions"), Xiangyu Wu (MSc), Qiwei Li (MSc), Ruiqing Zhang (MSc), Xiaofan Li (MSc), and Tianxiao Gu (PhD; with Prof. Xiaoxing Ma and Chun Cao; thesis: "On Dynamic Updating of Java Programs")
2016: Jun Sui (MSc)
2015: Xuezhi Hong (MSc), Wang Xi (MSc), Hao Jin (MSc; with Prof. Xiaoxing Ma), and Xiujiang Li (MSc; with Prof. Xiaoxing Ma)
2014: Linghao Zhang (PhD; with Prof. Jian Lu and Xiaoxing Ma; thesis: "Dealing with Faults in Self-adaptive Software System: An Explicit Environment Model-based Approach"), Xiaokang Chen (MSc), Lei Jiang (MSc), and Hui Sun (MSc; with Prof. Xiaoxing Ma)
2012: Hailong Ge (MSc; with Prof. Xiaoxing Ma) and Hao Chen (MSc; with Prof. Xiaoxing Ma)
Academic Services
Editing journals:
Special Editor on the area of Intelligent Software Engineering, Computer Science (CS)
Communications of the ACM (CACM), Journal of Computer Research and Development (CRAD), Frontiers of Computer Science (FCS), Journal of Computer Science and Technology (JCST), Journal of Software (JOS), Journal of Parallel and Distributed Computing (JPDC), The Journal of Systems and Software (JSS), Pervasive and Mobile Computing (PMC), Science China: Information Sciences (SCIS), IEEE Transactions on Systems, Man and Cybernetics: Systems (SMCA), Software: Practice and Experience (SPE), Software Testing, Verification and Reliability (STVR), IEEE Software (SW), ACM Transactions on Autonomous and Adaptive Systems (TAAS), IEEE Transactions on Parallel and Distributed Systems (TPDS), IEEE Transactions on Reliability (TR), IEEE Transactions on Services Computing (TSC), and IEEE Transactions on Software Engineering (TSE)
