|
时间 |
内容 |
主持人 |
地点 |
|
|
12月9日 星期五 |
参会者报到 |
|
延年世纪酒店一楼 |
|
|
12月10日 星期六 上午 研讨会报告 |
||||
|
08:25-08:30 |
开幕式：召集人讲话 |
张健 |
延年世纪酒店 负一楼会议中心 |
|
|
08:30-09:30 |
Patrick Cousot（纽约大学） |
|||
|
09:30-10:10 |
特邀报告：移动平台隐私数据保护的研究 杨珉（复旦大学） |
|||
|
10:10-10:40 |
茶 歇 |
|||
|
|
Session 2：程序分析平台 |
|||
|
10:40-11:05 |
陈意云（中国科学技术大学） |
严俊 |
延年世纪酒店 负一楼会议中心 |
|
|
11:05-11:30 |
静态分析工具原理、现状及解决方法 李炼（中科院计算所） |
|||
|
11:30-11:55 |
A Practical Verification Framework for Preemptive OS Kernels 付明（中国科学技术大学） |
|||
|
|
Session 3：工具展示报告 |
|||
|
11:55-12:05 |
Wukong 李炼（中科院计算所） |
陈振邦 |
延年世纪酒店 负一楼会议中心 |
|
|
12:05-12:15 |
葛存菁（中科院软件所） |
|||
|
12:15-12:25 |
王璐璐（东南大学） |
|||
|
12月10日 星期六 中午 午餐 |
||||
|
12:25-13:30 |
自助午餐 |
|
延年世纪酒店一楼咖啡厅 |
|
|
12月10日 星期六 下午 研讨会报告 |
||||
|
13:30-14:10 |
特邀报告：航空机载软件研制过程的主要挑战及应对 李迅（中航工业成都飞机设计研究所） |
董威 |
延年世纪酒店 负一楼会议中心 |
|
|
|
Session 4：动态分析 |
|||
|
14:10-14:35 |
Parametric Runtime Verification of C Programs 陈哲（南京航空航天大学） |
董威 |
延年世纪酒店 负一楼会议中心 |
|
|
14:35-15:00 |
柴铭（北京交通大学） |
|||
|
15:00-15:15 |
利用动态分析结果对Android应用程序插桩 程志超（中国科学技术大学） |
|||
|
15:15-15:35 |
茶 歇 |
|||
|
|
Session 5：形式化验证 |
|||
|
15:35-16:00 |
张文辉（中科院软件所） |
卜磊 |
延年世纪酒店 负一楼会议中心 |
|
|
16:00-16:25 |
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints 吴志林（中科院软件所） |
|||
|
16:25-16:50 |
Analyzing divergence in bisimulation semantics 于婷婷（中科院软件所） |
|||
|
|
Session 6：安全分析 |
|||
|
16:50-17:15 |
李兆鹏（中国科学技术大学） |
陈雨亭 |
延年世纪酒店 负一楼会议中心 |
|
|
17:15-17:30 |
Securing a Compiler Transformation 邓超强（纽约大学） |
|||
|
17:30-18:30 |
Panel Discussion：程序分析与软件安全 主持人：张健 |
|||
|
12月10日 星期六 晚上 晚餐 |
||||
|
18:30-20:00 |
晚餐 |
|
延年世纪酒店 二楼万事如意厅 |
|
|
12月11日 星期天 上午 研讨会报告 |
||||
|
08:00-09:00 |
特邀报告：Impact-Driven Research on Software Testing Tools: Getting Real 谢涛（University of Illinois at Urbana-Champaign） |
赵建华 |
延年世纪酒店 负一楼会议中心 |
|
|
09:00-09:40 |
特邀报告：基于分类器知识抽取的绕开攻击 梁彬（中国人民大学） |
|||
|
09:40-10:10 |
茶 歇 |
|||
|
|
Session 8：混成及嵌入式系统 |
|||
|
10:10-10:35 |
Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor 朱雪阳（中科院软件所） |
詹乃军 |
延年世纪酒店 负一楼会议中心 |
|
|
10:35-11:00 |
Darboux-type Barrier Certificates for Safety Verification of Nonlinear Hybrid Systems 林望（中国科学院数学与系统科学研究院） |
|||
|
11:00-11:15 |
张勇（北京交通大学） |
|||
|
|
Session 9：软件可靠性与测试 |
|||
|
11:15-11:40 |
一种路径感知的变异体精简方法 孙昌爱（北京科技大学） |
刘静 |
延年世纪酒店 负一楼会议中心 |
|
|
11:40-12:05 |
软件运行环境依赖缺陷及其挑战 郑征（北京航空航天大学） |
|||
|
12:05-12:30 |
覆盖率导引的针对Java虚拟机实现的差别测试 陈雨亭（上海交通大学） |
|||
|
12月11日 星期六 中午 午餐 |
||||
|
12:30-14:00 |
自助午餐 |
|
延年世纪酒店一楼咖啡厅 |
|
|
12月11日 星期天 下午 研讨会报告 |
||||
|
|
Session 10：程序分析及应用 |
|||
|
14:00-14:25 |
代码分析、验证技术的集成 赵建华（南京大学） |
陈立前 |
延年世纪酒店 负一楼会议中心 |
|
|
14:25-14:40 |
代码坏味的检测与演化分析 刘辉辉（东南大学计算机科学与工程学院） |
|||
|
14:40-14:55 |
C代码重构的研究现状与思考 宁宇（中国科学技术大学） |
|||
|
14:55-15:10 |
李鑫（南京大学） |
|||
|
15:10-15:40 |
茶 歇 |
|||
|
|
Session 11：并发程序分析 |
|||
|
15:40-16:05 |
LockPeeker：一种检测Java API中的隐式锁的方法 林子熠（上海交通大学） |
刘万伟 |
延年世纪酒店 负一楼会议中心 |
|
|
16:05-16:30 |
Towards Certified Compositional Compilation for Concurrent Programs 梁红瑾（中国科学技术大学） |
|||
请注意：工具现场展示和交流安排在12月10号下午14:10-17:30，地点在延年世纪酒店负一楼多功能厅。