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:
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):
Jinci Chen (MSc; inconsitency detection and resolution)
Shaocong Liu (MSc; with Dr. Jun Ma; Android app testing)
Ziqi Chen (MSc; DNN testing)
Yingzhuo Yang (MSc; DNN testing)
Siyuan Zhu (MSc; with Dr. Jingwei Xu; DNN testing)
Yicheng Huang (MSc; coming soon!)
Qinlin Chen (MSc; coming soon!)
Jinchi Chen (MSc; coming soon!)
Chuyang Chen (MSc; coming soon!)
Shuguan Liu (MSc; coming soon!)
Hanzhi Liu (MSc; coming soon!)
Zelin Zhao (PhD; with Prof. Xiaoxing Ma; dynamic software updating)
Huiyan Wang (PhD; with Dr. Jingwei Xu; inconsistency detection and input validation)
Wenjie Li (PhD; with Dr. Yanyan Jiang; Android app testing)
Da Li (PhD; with Dr. Yanyan Jiang; device patching)
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; native code)
Dongjie Chen (PhD; with Dr. Yanyan Jiang; file system and concurrency)
Cong Li (PhD; 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)
Past:
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)
