| 1.一种用于多线程程序性能分析的重放系统 （郑龙 廖小飞 吴松 金海） |
| 2.一种扩展条件函数依赖的发现算法 （刘显敏 李建中） |
| 3.AADL分级调度模型的分析与验证 （符宁 杜承烈 李建良 刘志强 彭寒） |
| 4.基于节点和信息特征的社会网络信息传播模型 （周东浩 韩文报 王勇军 ） |
| 5.基于跨语言对象迁移策略的复合本地对象模型 （黄玉坤 陈榕 裴喜龙 曹璟） |
| 6.大规模图数据可达性索引技术：现状与展望 （富丽贞 孟小峰） |
| 7.主/副版本模型中预分配容错实时调度算法 （刘娴 郭锐锋 邓昌义） |
| 8.外存中高效的字符串相似性查询处理 （王金宝 高宏 李建中 杨东华） |
| 9.一种基于句法分析的跟踪关系恢复方法 （王金水 翁伟 彭鑫） |
| 10.动态数据集环境下的强邻近对查询 （李松 张丽平 郝忠孝） |
| 11.Vague区域关系与方向关系的表示及复合推理 （李松 张丽平 郝晓红 郝忠孝） |
| 12.基于中间语言的JNI内存泄漏检查 （蒋挺宇 王鹏 杨述 褥震 董渊 王生原 嵇智源） |
| 13.支持透明集成的数据缓存机制 （王彦士 王伟 刘朝辉 魏峻 黄涛） |
| 14.一种面向海量存储系统的高效元数据集群管理方案 （肖中正 陈宁江 魏峻 张文博） |
| 15.基于Agent的人工社会建模语言研究 （唐明圣 毛新军 周会平） |
| 16.考虑观点多样性的评论选择问题 （余文喆 沙朝锋 何晓丰 张蓉） |
| 17.Hybrid-Fixing:上下文一致性错误的正确修复 （陈小康 许畅 江磊） |
| 18.基于统计方法的Hive数据仓库查询优化实现 （王有为 王伟平 孟丹） |
| 19.分布式软件系统交互行为建模、验证与测试 （张琛 段振华 田聪 鱼滨） |
| 20.基于接口精化的广义无干扰性研究 （孙聪 习宁 高胜 张涛 李金库 马建峰） |
| 21.流敏感按需指针别名分析算法 （逄龙 苏小红 马培军 赵玲玲） |
| 22.软件模型检测中的抽象模型研究综述 （魏欧 石玉峰 徐丙凤 黄志球 陈哲） |
| 23.一种针对模型转换的图形化建模语言 （何啸 麻志毅 邵维忠 胡长军） |
| 24.排列短块移动排序距离的新下界 （王彤 姜海涛 朱大铭） |
| 25.通信竞争的混合关键级系统多DAG动态调度策略 （刘樑骄 谢国琪 李仁发 杨柳 谢勇） |
| 摘自《计算机研究与发展》2015年刊登论文 |