1. Home
  2. People
  3. Xiaoxing Ma 马晓星
  4. Xiaoxing Ma (Chinese)

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青年软件创新奖等。

研究兴趣

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

  • 智能软件工程: “智能软件的工程化”与“智能化的软件工程”。近期论文：

    • Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, and Lü Jian, “Softened Symbol Grounding for Neuro-symbolic Systems”, in The Eleventh International Conference on Learning Representations (ICLR 2023) , 2023.
    • Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, and Lü Jian, “Learning with Logical Constraints but without Shortcut Satisfaction”, in The Eleventh International Conference on Learning Representations (ICLR 2023) , notable top 25%, 2023.
    • Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, and Jian Lü, “Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective”, in Proceedings of the 45th International Conference on Software Engineering (ICSE 2023) , 1187–1199, 2023.
    • Shengbin Xu, Yuan Yao, Feng Xu, Tianxiao Gu, Jingwei Xu, and Xiaoxing Ma, “Data Quality Matters: A Case Study of Obsolete Comment Detection”, in Proceedings of the 45th International Conference on Software Engineering (ICSE 2023) , 781–793, 2023.
    • Ji Liu, Zenan Li, Yuan Yao, Feng Xu, Xiaoxing Ma, Miao Xu, and Hanghang Tong, “Fair Representation Learning: An Alternative to Mutual Information”, in Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining , 1088–1097, 2022.
    • 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 2020) , 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.
    • 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.

  • 自适应软件系统: 能自动感知并适应用户需求和运行环境的变化的软件系统。近期论文：

    • 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) , 1111–1122, 2021.
    • 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.
    • 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.

  • 软件质量保障: 非功能性软件质量的保障和非传统应用的质量保障。近期论文：

    • 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.
    • 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.
    • 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.

  • 人机物融合软件系统: 目前赶时髦关注自动驾驶测试。在ASE '22上的一个工具演示短文：

    • Sen Wang, Zhuheng Sheng, Jingwei Xu, Taolue Chen, Junjun Zhu, Shuhui Zhang, Yuan Yao, and Xiaoxing Ma, “ADEPT: A Testing Platform for Simulated Autonomous Driving”, in Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022 Tool Demo) , 2022.

(更多论文: 英文论文, 中文论文; DBLP, Google Scholar)

研究项目

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

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

课程教学

荣誉奖励

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

学术服务

学生招募

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

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

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