2015年9月8日，国家973项目“高效可信的虚拟计算环境基础研究”在长沙举行了课题验收会。重点实验室承担的课题四“领域特定的虚拟计算环境程序设计”的研究工作，课题负责人邵维忠教授、曹东刚副教授参加了本次会议。曹东刚副教授代表课题组作了课题验收报告。该课题在虚拟计算环境程序设计方面开展了创新性的实践工作，提出了一种基于Actor弹性程序设计技术，研发了一套系统化的面向互联网新型应用开发的支撑机制与系统工具，建立了一个可用的运行平台原型系统等，在互联网新型程序设计技术方面进行了积极探索，对项目相关概念进行了有效实践和验证，对促进项目目标完成作出了积极贡献。
