时间 |
内容 |
主持人 |
地点 |
|
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,地点在延年世纪酒店负一楼多功能厅。