研讨会议程安排

 

时间

内容

主持人

地点

129

星期五

参会者报到

 

延年世纪酒店一楼

1210 星期六 上午 研讨会报告

08:25-08:30

开幕式:召集人讲话

张健

延年世纪酒店

负一楼会议中心

08:30-09:30

特邀报告:Abstract Interpretation

Patrick Cousot(纽约大学)

09:30-10:10

特邀报告:移动平台隐私数据保护的研究

杨珉(复旦大学)

10:10-10:40

 

Session 2程序分析平台

10:40-11:05

安全C语言程序验证器原型的研发经验与成果

陈意云(中国科学技术大学)

严俊

延年世纪酒店

负一楼会议中心

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

VolCE

葛存菁中科院软件所

12:15-12:25

Java切片工具

王璐璐东南大学

1210 星期六 中午 午餐

12:25-13:30

自助午餐

 

延年世纪酒店一楼咖啡厅

1210 星期六 下午 研讨会报告

13:30-14:10

特邀报告:航空机载软件研制过程的主要挑战及应对

李迅(中航工业成都飞机设计研究所)

董威

延年世纪酒店

负一楼会议中心

 

Session 4:动态分析

14:10-14:35

Parametric Runtime Verification of C Programs

陈哲(南京航空航天大学)

董威

延年世纪酒店

负一楼会议中心

14:35-15:00

基于扩展LSC的列控系统运行时验证

柴铭(北京交通大学)

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

C内存安全缺陷分析工具现状及演示

李兆鹏(中国科学技术大学)

陈雨亭

延年世纪酒店

负一楼会议中心

17:15-17:30

Securing a Compiler Transformation

邓超强(纽约大学)

17:30-18:30

Panel Discussion:程序分析与软件安全

主持人:张健

1210 星期六 晚上 晚餐

18:30-20:00

晚餐

 

延年世纪酒店

二楼万事如意厅

1211 星期天 上午 研讨会报告

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虚拟机实现的差别测试

陈雨亭(上海交通大学)

1211 星期六 中午 午餐

12:30-14:00

自助午餐

 

延年世纪酒店一楼咖啡厅

1211 星期天 下午 研讨会报告

 

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

梁红瑾中国科学技术大学

 

 

请注意:工具现场展示和交流安排在1210号下午14:10-17:30,地点在延年世纪酒店负一楼多功能厅。