English 中文


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

个人简介

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

研究兴趣

我的研究领域属于软件技术与软件工程,主要研究兴趣包括:

  • 自适应软件系统: 能自动感知并适应用户需求和运行环境的变化的软件系统;
  • 可信智能软件系统: 有质量保障的基于学习的智能化软件系统;
  • 软件在线演化: 无需关停运行中的软件系统而对其进行在线的更新。

发表论文

近期部分论文:

  • 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 , Accepted, to appear., 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.
  • 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.

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

研究项目

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

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

课程教学

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

荣誉奖励

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

学术服务

学生招募

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

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

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