软件工程青年学者沙龙日程安排.PDF

2015 年软件工程青年学者沙龙 软件工程青年学者沙龙日程安排 2015 年4 月24 日海天白云酒店 注册 时间 内容 负责人 12:00-24:00 参会代表报到、注册 任志磊 18:30-20:00 自助晚餐 2015 年4 月25 日上午海天白云酒店 大会报告 时间 内容 主持人 08:30-09:00 开幕式、合影 江贺 9:00-10:00 大会报告1：基于搜索的软件工程 孔维强 报告人：李征 教授 10:00-10:30 茶歇 10:30-11:30 大会报告2 ：基于搜索的软件项目管理--基于协同演 谢晓园 化算法的人员分配与工作调度 报告人：任健 老师 11:30-12:30 大会报告3 ：软件模型检测 谢晓园 报告人：田聪 教授 12:30-13:30 自助午餐 2015 年4 月25 日下午海天白云酒店 大会报告、研究生论坛、专家论坛 13:30-14:30 大会报告4 ：程序分析与编程语言设计——从哥德 刘进 尔不完备定理说起 报告人：熊英飞 “百人计划”研究员 14:30-15:30 大会报告5: 移动应用测试-- 自动化vs. 众包 刘进 报告人：陈振宇 副教授 15:30-15:50 茶歇 15:50-17:30 报告 1：软件体系结构假设条件研究 郝丹 （20 分钟×5 ） 报告人：杨晨 报告2 ：基于软件过程历史数据和群体智慧分析软 件变更需求 报告人：熊文军 报告3 ：Scalability Study in Mutation Testing 胡燕 报告人：张洁 报告4 ：回调函数可达性分析技术 报告人：唐浩 报告5：Safe Memory-Leak Fixing for C Programs 报告人：高庆 17:30-18:30 专家论坛 江贺 18:30-20:00 自助晚餐 20:00-22:00 青年学者沙龙发展研讨（参会老师） 江贺 联系人：任志磊江贺 1