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:

  • Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, and Xiaoxing Ma, “Synthesizing Object State Transformers for Dynamic Software Updates”, in Proceedings of the 43rd ACM/IEEE International Conference on Software Engineering (ICSE) , Accepted, 2021.
  • Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, and Jian Lü, “Operational Calibration: Debugging Confidence Errors for DNNs in the Field”, in Proceedings of the 2020 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) , 901–913, 2020.
  • Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, and Jian Lü, “Boosting Operational DNN Testing Efficiency Through Conditioning”, in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering , 499–509, 2019.
  • 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 41st International Conference on Software Engineering , 269–280, 2019.
  • Zenan Li, Xiaoxing Ma, Chang Xu, and Chun Cao, “Structural Coverage Criteria for Neural Networks Could Be Misleading”, in Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results , 89–92, 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) , 11174, 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 , 45(8), 782–801, 2019.
  • 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 , 43(4), 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 , 65(2), 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

  • Discrete Mathematical Structures: [2014-2019, Autumn] (Inst. Softw.)
  • Discrete Mathematics and Its Applications: [2014-2020, Spring] (Dept. CS)
  • Concepts of Programming Languages: [2008-2014, Spring]
  • Object-Oriented Software Construction: [Before 2007]

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

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