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

研究兴趣

我的研究领域属于软件工程,目前的工作集中于

  • 自适应软件系统
  • 软件在线演化
  • 网构软件

发表论文

近期部分论文:

  • 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.
  • 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 , 684–695, 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.
  • Chang Xu, Wang Xi, Shing{-}Chi Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu, “Cina: Suppressing the Detection of Unstable Context Inconsistency”, {IEEE} Transactions on Software Engineering , 842–865, 2015.
  • Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, and Jian Lu, “Optimistic shared memory dependence tracing” , in Proceedings of the 30th International Conference on Automated Software Engineering (ASE) , 524–534, 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.

(还有...)

研究项目

课程教学

荣誉奖励

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

专业服务

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