Growing software: Theory, Methodology, and Techniques (pdf); Objective, Methodology, and Technology (pdf)
Growing software: Transformer Synthesis for evolving Java projects (pdf), receiving the ACM SIGSOFT Distinguished Paper Award and ACM Europe Council Best Paper Award
Growing software: Dependency diagnosis for evolving Go projects (Hero), receiving the 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 2015.
Awards or honors:
ACM Distinguished Member in 2024
Best Paper Award (最佳论文奖) from SOSP 2023
Best Paper Candidate (最佳论文提名奖) from ISSRE 2022
Yangtze River Scholar by the Ministry of Education (教育部长江学者特聘教授) in 2021
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 Talent (南京大学登峰人才支持计划) since 2013
CVIC SE Talent (中创软件人才奖) in 2012
National Science and Technology Progress Award (国家科学技术进步奖) (Second Class) in 2011
New Century Excellent Talent 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):
Mingchen Gao (MSc; with Dr. Huiyan Wang; software consistency)
Mingxiao Wang (MSc; with Dr. Yi Qin; self-adaptive system)
Shuhui Zhang (MSc; self-adaptive system)
Han Li (MSc; with Dr. Huiyan Wang; constraint checking)
Li Qu (MSc; metamorphic testing)
Zhiyong Chen (MSc; large language model)
Yifei Xu (MSc; with Dr. Yi Qin; self-adaptive system)
Ziyang Yan (Msc; coming soon)
Zengji Li (Msc; coming soon)
Peifeng Lu (Msc; coming soon)
Chenxi Zhang (PhD; with Dr. Yue Li; program analysis)
Xianfei Ou (PhD; with Dr. Yanyan Jiang; compiler testing)
Lingyu Zhang (PhD; with Dr. Huiyan Wang; software consistency)
Teng Zhang (PhD; with Dr. Yue Li; program analysis)
Hanzhi Liu (PhD; with Dr. Yanyan Jiang; system software)
Weijie Sun (PhD; software evoluation)
Chaoyi Zhao (PhD; with Dr. Yanyan Jiang; Java virtual machine)
Tailin Chen (PhD; coming soon)
Past:
2024: Daohan Qu (MSc; with Dr. Yanyan Jiang), Ruijie Guo (MSc; with Dr. Ying Wang), Yan Yuan (MSc; with Dr. Ying Wang), Tianyun Zhang (MSc; with Dr. Yanyan Jiang), and Rong Yang (MSc; with Dr. Yi Qin)
2023: Cong Li (PhD; with Dr. Yanyan Jiang; thesis: "Automating Device Adaptability of GUIs for Android Applications"), Yicheng Huang (MSc; with Dr. Yanyan Jiang), Jinchi Chen (MSc; with Dr. Yi Qin), Chuyang Chen (MSc; with Dr. Huiyan Wang), Xinyi Mao (MSc; with Dr. Yi Qin), and Shuguan Liu (MSc; with Prof. Xiaoxing Ma and Dr. Huiyan Wang)
2022: Wenjie Li (PhD; with Dr. Jun Ma and Yanyan Jiang; thesis: "Research on Inefficient Image Displaying Issues in Android Apps"), Jue Wang (PhD; with Prof. Jian Lu and Dr. Yanyan Jiang; thesis: "Automatically Detecting Deep Logic Bugs in Mobile Applications"), Ziqi Chen (MSc; with Dr. Huiyan Wang), Yingzhuo Yang (MSc), and Siyuan Zhu (MSc; with Dr. Jingwei Xu)
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"), Zelin Zhao (PhD; with Prof. Xiaoxing Ma and Dr. Yanyan Jiang; thesis: "Automatic Patch Generation and Validation for Dynamic Software Updates"), 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)
Journal of Automated Software Engineering (ASEJ), 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)
