English 中文


Xiaoxing Ma
Dr. Xiaoxing Ma
Professor
State Key Laboratory for Novel Software Technology, Nanjing University
Department of Computer Science and Technology, Nanjing University
Address:
Department of Computer Science,
Nanjing University Xianlin Campus (Mailbox 603),
163 Xianlin Avenue, Qixia, Nanjing 210023, Jiangsu, China
Office:
Computer Science and Technology Building 816
Phone:
+86 25 89686068
Fax:
+86 25 83593283
Email:

Research interests

I am interested in various topics in software engineering, especially

  • Adaptive software systems
    • System-environment sensing and understanding
    • Dynamic system reconfiguration
    • Adaptation planning
  • Software architectures and middleware systems
  • Assurance of non-functional software qualities

Publications

Some recent papers:

  • Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, and Zhendong Su, “Practical GUI Testing of Android Applications via Model Abstraction and Refinement” , in Proceedings of the 2019 ACM/IEEE 41st International Conference on Software Engineering (ICSE 2019) , Accepted. To appear., 2019.
  • Zenan Li, Xiaoxing Ma, Chang Xu, and Chun Cao, “Structural Coverage Criteria for Neural Networks Could Be Misleading” , in Proceedings of the 2019 ACM/IEEE 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER 2019) , Accepted. To appear., 2019.
  • Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu, “Testing Multithreaded Programs via Thread Speed Control” , in Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) , 15–25, 2018.
  • Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu, “ReScue: Crafting Regular Expression DoS Attacks” , in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE) , 225–235, 2018.
  • Xiaoxing Ma, Tianxiao Gu, and Wei Song, “Software Is Not Soft -- Challenges and Approaches to Dynamic Software Update” , in Engineering Trustworthy Software Systems (SETSS 2017) , 143–175, 2018.
  • Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lu, “Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis” , in Proceedings of 32nd European Conference on Object-Oriented Programming (ECOOP 2018) , 19:1-28, 2018.
  • Wei Song, Xiaoxing Ma, and Hans-Arno Jacobsen, “Instance Migration Validity for Dynamic Evolution of Data-Aware Processes” , IEEE Transactions on Software Engineering , Accepted, to appear., 2018.
  • Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, and Valerio Panzica La Manna, “Efficient Dynamic Updates of Distributed Components through Version Consistency” , IEEE Transactions on Software Engineering , 340–358, 2017.
  • Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, and Jian Lu, “Online Shared Memory Dependence Reduction via Bisectional Coordination” , in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) , 822–832, 2016.
  • Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, and Jian Lu, “Crash Consistency Validation Made Easy” , in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) , 133–143, 2016.
  • Yiling Yang, Yu Huang, Xiaoxing Ma, and Jian Lu, “Enabling Context-Awareness by Predicate Detection in Asynchronous Environments” , IEEE Transactions on Computers , 522–534, 2016.
  • Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, and Zhendong Su, “Automatic Runtime Recovery via Error Handler Synthesis” , in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) , 684–695, 2016.

More publications: In English, In Chinese; or in DBLP, Google Scholar.

Teaching

Awards

  • 2006: China National Award for Science and Technology Progress, 2nd prize. Dr. Ma is the 2nd awardee of the team. (国家科技进步二等奖,第二完成人)
  • 2011: China National Award for Science and Technology Progress, 2nd prize. Dr. Ma is the 4th awardee of the team. (国家科技进步二等奖,第四完成人)
  • 2010: MOE Award for S&T Research in Universities, 1st class, Ministry of Education. I am the 2nd awardee of the team. (教育部高校优秀科研成果技术发明一等奖,第二完成人)
  • 2009: CVIC SE Award for Software Researchers. (中创软件人才奖)

Professional activities

© 2015 Institute of Computer Software, Nanjing University. All rights reserved.