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 , to appear, 2017.
  • Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, and Jian Lu, “Online shared memory dependence reduction via bisectional coordination” , in Proceedings of the 24th International Symposium on the Foundations of Software Engineering (FSE) , to appear, 2016.
  • Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, and Jian Lu, “Crash consistency validation made easy” , in Proceedings of 24th International Symposium on the Foundations of Software Engineering (FSE) , to appear, 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

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.