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工程”第二层次培养对象。

研究兴趣

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

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

近期尤其关注:

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

发表论文

近期部分论文:

  • Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, and Jian Lu, “Boosting Operational {DNN} Testing Efficiency through Conditioning” , in Proceedings of The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 80 2019) , Accepted. To appear., 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 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.

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

研究项目

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

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

课程教学

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

荣誉奖励

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

学术服务

学生招募

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

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

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