English 中文


Xiaoxing Ma
马晓星 博士
南京大学计算机科学与技术系 教授,博士生导师
南京大学计算机软件研究所 副所长
南京大学计算机软件新技术国家重点实验室
地址:
中国江苏省南京市栖霞区仙林大道 163 号
南大仙林校区 603 信箱计算机系
邮编: 210023
办公室:
计算机科学与技术楼 816
电话:
+86 25 89686068
传真:
+86 25 83593283
Email:

个人简介

马晓星,1975年8月生,1993年进入南京大学计算机科学与技术系学习,于1997年、2000年和2003年分别获得学士、硕士和博士学位。现任南京大学计算机科学与技术系教授、博士生导师,南京大学计算机软件研究所副所长。其研究领域为计算机软件技术,近年来工作重点包括网构软件、自适应软件系统、软件在线演化等面向开放环境的软件新技术。主持承担包括国家自然科学基金项目、国家重大基础研究计划(973)课题、国家高技术研究发展计划(863)课题在内的多项国家级科研项目。在ICSE、FSE、ASE等国际会议和IEEE TSE、TC、TPDS、TSC以及CACM、IST、JSS等国际期刊和《中国科学》、《软件学报》等国内一级学报发表学术论文60余篇。曾任ICSE '10 Education Track、SCORE '11、SEAMS '12-'14, '16 等国际学术会议和竞赛的程序委员、Internetware '15程序委员会主席、《软件学报》责任编委。曾两次获得国家科技进步二等奖(2006年度/第二完成人,2011年度/第四完成人),两次获得教育部一等奖(2004年度/第三完成人,2010年度/第二完成人);还曾获2009年度中创软件人才奖、2015年度东软-NASAC青年软件创新奖。2007年入选教育部新世纪优秀人才支持计划,2013年入选江苏省“333工程”第二层次培养对象。

研究兴趣

我的研究领域属于软件技术与软件工程,目前已有的工作集中于以下几方面:

  • 自适应软件系统: 使软件更加智能以自动感知并适应用户需求和运行环境的变化;
  • 软件在线演化: 无需关停运行中的软件系统而对其进行在线的更新;
  • 网构软件: 探索面向开放的互联网的新软件范型及其关键技术。

近期尤其关注:

  • 复杂软件系统的智能化: 以何种智能化的方法来应对开放环境下“人-机-物”三元融合系统所面临的各种非确定性;
  • 智能软件系统的可信化: 如何刻画并保障具有学习能力的智能化软件系统的可信性。

发表论文

近期部分论文:

  • 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) , Accepted. To appear., 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.
  • Y. Yang, Y. Huang, X. Ma, and J. 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.
  • Chang Xu, Wang Xi, S. C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu, “Cina: Suppressing the Detection of Unstable Context Inconsistency”, IEEE Transactions on Software Engineering , 842–865, 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.

(还有...英文论文, 中文论文; DBLP, Google Scholar)

研究项目

目前作为负责人承担的研究项目:

  • 国家自然科学基金重大项目课题: 面向演化的群智化软件建模与构造方法, 批准号:61690204, 2017-2021.
  • 国家重点基础研究计划(973计划)课题: 持续演进的自适应网构软件模型、方法及服务质量保障, 批准号:2015CB352202, 2015-2019.
  • 国家自然科学基金面上项目: 自适应软件系统的无缝演化与环境感知技术研究, 批准号: 61472177, 2015-2018.

课程教学

  • 离散数学 2014-2018 (计算机系)
  • 离散数学 2013-2017 (软件学院)
  • 程序设计语言概论 (计算机系)
  • 面向对象的软件构造 (计算机系)

荣誉奖励

  • 2011年度国家科技进步二等奖:“网构软件技术、平台与应用”,第2完成人。
  • 2006年度国家科技进步二等奖:“对象化与主体化的软件协同技术、平台与应用”,第4完成人。
  • 2010年度教育部高等学校科学研究优秀成果奖技术发明奖,“网构化软件关键技术、平台与应用”,第2完成人。
  • 2009年度 “中创软件人才” 奖。
  • 2007年度入选教育部 “新世纪优秀人才支持计划”。

学术服务

学生招募

软件定义一切,数据产生智能。世界已不同于昨日,你意识到了吗?

本团队长期招募优秀潜质的博士和硕士研究生。如果你有志于研究软件工程和软件系统的前沿问题,追寻程序员的光荣与梦想,欢迎与我联系!

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