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:

  • 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.
  • 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 , 684–695, 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.
  • Chang Xu, Wang Xi, Shing{-}Chi Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu, “Cina: Suppressing the Detection of Unstable Context Inconsistency”, {IEEE} Transactions on Software Engineering , 842–865, 2015.
  • Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, and Jian Lu, “Optimistic shared memory dependence tracing” , in Proceedings of the 30th International Conference on Automated Software Engineering (ASE) , 524–534, 2015.
  • Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lü, “Low-disruptive Dynamic Updating of Java Applications”, Information and Software Technology , 1086–1098, 2014.
  • Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, and Jian Lu, “CARE: Cache guided deterministic replay for concurrent Java programs”, in Proceedings of the 36th International Conference on Software Engineering , 457–467, 2014.

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. (国家科技进步二等奖,第四完成人)
  • 2009: CVIC SE Award for Software Researchers. (中创软件人才奖)
  • 2010: MOE Award for S&T Research in Universities, 1st class, Ministry of Education. I am the 2nd awardee of the team. (教育部高校优秀科研成果技术发明一等奖,第二完成人)

Professional activities

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