软件分析与验证研讨会 SAVE 2015 简介
全国软件分析与验证研讨会（SAVE）于2009年、2010年、2011年、2012年、2013年、2014年分别在北京、南京、长沙、苏州、上海和北京成功举办。研讨会既支持对已发表工作的介绍，也支持对进展中想法的交流。其纯学术探讨、不出版论文集的特点历年来得到了参会学者和研究生的热烈响应，已成为我国软件分析和验证以及相关领域的研究人员进行交流的一个重要平台。今年的研讨会将于2015年12月4日至6日在大连举行，由大连理工大学软件学院承办。
News
12月09日
会议视频持续上传中，请参见会议视频条目。
12月09日
会议照片已上传，请参见会议照片条目。
12月01日
会议日程（初稿）已经确定，请参见报告日程条目，或直接单击下载。
11月19日
经会务组协商，会议地点变更为心悦大酒店（大连市人民路81号，可通过会务组预订房间），给您带来不便十分抱歉。
11月19日
SAVE 2015 微信群开放，请参见微信群条目
11月15日 -- 12月01日
SAVE 2015 开放注册（计划报告的参会者请在11月25日前注册）
12月04日
SAVE 2015 现场注册
12月05日 -- 12月06日
SAVE 2015 会议日期
注册可以提前注册或现场注册（请尽量提前注册，以便为您提供更好的服务），若提前注册请您按照如下步骤来完成注册：
1，请填写注册信息表格
2，请将注册费400元汇至银行账户（账号：21201501910050000923；户名：大连理工大学；开户行：中国建设银行大连市栾金支行），汇款留言中请注明：姓名+会议名称，如：张三SAVE
3，请将注册表和汇款证明发送到邮箱：zren@dlut.edu.cn，邮件标题请注明“SAVE2015注册”。
4，提前注册者可先将发票开出，需要信息：名头、单位税号、内容。
5，如需要，请点击下载邀请函
报告日程（初稿）下载
单击下载报告日程。如有问题请联系zren@dlut.edu.cn
| 5日 | |
| 08:30-09:00 | 开幕式 |
| 09:00-09:35 | 天脉操作系统安全性和可靠性方法研究和实践
报告人：叶宏
单位：中航工业631所 |
| 09:35-10:10 | 云和大数据时代的软件交付：华为软件开发云介绍
报告人：王金伦
单位：华为技术有限公司 |
| 10:10-10:25 | 茶歇 |
| 10:25-11:00 | Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection
报告人：刘烃
单位：西安交通大学 |
| 11:00-11:35 | Runtime Monitoring, Verification, Enforcement and Control of C Programs
报告人：陈哲
单位：南京航空航天大学 |
| 11:35-12:10 | A Program Logic for Concurrent Objects under Fair Scheduling
报告人：梁红瑾
单位：中国科学技术大学 |
| 12:10-12:30 | DroiData- Android脚本资源库；Kikbug众测平台：连接工业、教育和研究
报告人：孙一
单位：南京大学 |
| 12:30-13:30 | 午餐 |
| 13:30-14:05 | 浮点运算错误计算原因
报告人：赵世忠
单位：华东师范大学 |
| 14:05-14:25 | Static Data Race Detection for Pthread Programs
报告人：李炼
单位：中科院计算所 |
| 14:25-15:00 | 同步数据流图在异构多处理器平台上的时间能耗最优调度
报告人：朱雪阳
单位：中科院软件所 |
| 15:00-15:15 | 茶歇 |
| 15:15-15:50 | 交互式代码验证工具原型Accumulator介绍
报告人：赵建华
单位：南京大学 |
| 15:50-16:25 | 基于时态逻辑的Twig模式优化动作生成
报告人：杨红丽
单位：北京工业大学 |
| 16:25-17:00 | 软件缺陷自动修复及其潜力估计
报告人：钟浩
单位：上海交通大学 |
| 17:00-17:35 | 安全攸关操作系统内核的形式化验证
报告人：冯新宇
单位：中国科学技术大学 |
| 17:35-17:55 | Formal Verification of PKMv3 Protocol Using DT-Spin
报告人：朱晓冉
单位：华东师范大学 |
| 17:55-18:55 | 操作系统分析与验证 讨论 |
| 18:55-20:30 | 晚餐 |
| 6日 | |
| 08:30-09:05 | 基于数据结构逆向推理的漏洞定位及攻击诊断方法研究
报告人：赵磊
单位：武汉大学 |
| 09:05-09:40 | 基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究
报告人：吕继东
单位：北京交通大学 |
| 09:40-10:15 | Guided Differential Testing of Certificate Validation in SSL/TLS Implementations
报告人：陈雨亭
单位：上海交通大学 |
| 10:15-10:30 | 茶歇 |
| 10:30-11:05 | C程序内存安全缺陷分析
报告人：李兆鹏
单位：中国科学技术大学 |
| 11:05-11:40 | Branching Bisimilarity on Normed BPA Is EXPTIME-complete.
报告人：何超栋
单位：中国科学技术大学 |
| 11:40-12:00 | 基于重叠的校验序列长度的约简
报告人：林玮玮
单位：上海大学 |
| 12:00-12:20 | 基于最大信息系数和凝聚层次聚类的特征选择在软件缺陷预测中的应用
报告人：徐洲
单位：武汉大学 |
| 12:20-13:30 | 午餐 |
| 13:30-14:05 | Decidability of Linearizabilities on TSO Memory Model
报告人：吕毅
单位：中科院软件所 |
| 14:05-14:40 | 基于蕴涵关系的约束求解结果重用方法
报告人：贾向阳
单位：武汉大学 |
| 14:40-15:00 | 慕测——一个在线实践评价平台
报告人：刘子聪
单位：南京大学 |
| 15:00-15:20 | 基于差分约束抽象的时间自动机可达性验证
报告人：王伟锋
单位：中科院软件所 |
| 15:20-15:35 | 茶歇 |
| 15:35-15:55 | GitMining：GitHub数据的挖掘与展现
报告人：张伟强
单位：南京大学 |
| 15:55-16:15 | 多部署模式下系统可靠性分析
报告人：开金宇
单位：上海大学 |
会议举办地址
心悦大酒店
辽宁省大连市人民路81号
住宿酒店
心悦大酒店（四星级酒店，可通过会务组预订）
价格：340元/晚（含早餐）
辽宁省大连市人民路81号
汉庭酒店大连人民路店
大连市中山区人民路85号
如家快捷大连港湾广场地铁站店
大连市中山区人民路92号
如有任何疑问，请联系
陈鑫（财务事项）
邮箱：chenx_dlut@163.com
电话：13889679449
胡燕（接待事项）
邮箱：huyan@dlut.edu.cn
电话：15898179611
任志磊（网站/注册事项）
邮箱：zren@dlut.edu.cn
电话：13610863182
孔维强
邮箱：wqkong@dlut.edu.cn
电话：18840840913
江贺
邮箱：jianghe@dlut.edu.cn
电话：15940973510
SAVE2015微信群已开通，可扫描下方二维码加入讨论
报告视频下载（持续更新中）
天脉操作系统安全性和可靠性方法研究和实践
报告人：叶宏
单位：中航工业631所
链接 密码：c6ed |
云和大数据时代的软件交付：华为软件开发云介绍
报告人：王金伦
单位：华为技术有限公司
链接 密码：lxyf |
Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection
报告人：刘烃
单位：西安交通大学
链接 密码：zkw9 |
Runtime Monitoring, Verification, Enforcement and Control of C Programs
报告人：陈哲
单位：南京航空航天大学
链接 密码：d6uw 幻灯片 |
A Program Logic for Concurrent Objects under Fair Scheduling
报告人：梁红瑾
单位：中国科学技术大学
链接 密码：s2yx 幻灯片 |
浮点运算错误计算原因
报告人：赵世忠
单位：华东师范大学
链接 密码：95su 幻灯片 |
Static Data Race Detection for Pthread Programs
报告人：李炼
单位：中科院计算所
链接 密码：ijbn |
同步数据流图在异构多处理器平台上的时间能耗最优调度
报告人：朱雪阳
单位：中科院软件所
链接 密码：fpfy 幻灯片 |
交互式代码验证工具原型Accumulator介绍
报告人：赵建华
单位：南京大学
链接 密码：c17r |
基于时态逻辑的Twig模式优化动作生成
报告人：杨红丽
单位：北京工业大学
链接 密码：qn5m |
软件缺陷自动修复及其潜力估计
报告人：钟浩
单位：上海交通大学
链接 密码：oiaj |
安全攸关操作系统内核的形式化验证
报告人：冯新宇
单位：中国科学技术大学
链接 密码：loe2 |
基于数据结构逆向推理的漏洞定位及攻击诊断方法研究
报告人：赵磊
单位：武汉大学
链接 密码：0816 |
基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究
报告人：吕继东
单位：北京交通大学
链接 密码：wn5h 幻灯片 |
Guided Differential Testing of Certificate Validation in SSL/TLS Implementations
报告人：陈雨亭
单位：上海交通大学
链接 密码：e1ga 幻灯片 |
C程序内存安全缺陷分析
报告人：李兆鹏
单位：中国科学技术大学
链接 密码：3ayl 幻灯片 |
Branching Bisimilarity on Normed BPA Is EXPTIME-complete.
报告人：何超栋
单位：中国科学技术大学
链接 密码：13s8 |
Decidability of Linearizabilities on TSO Memory Model
报告人：吕毅
单位：中科院软件所
链接 密码：fk0d |
基于蕴涵关系的约束求解结果重用方法
报告人：贾向阳
单位：武汉大学
链接 密码：vnzt 幻灯片 |
DroiData- Android脚本资源库；Kikbug众测平台：连接工业、教育和研究
报告人：孙一
单位：南京大学
链接 密码：dklw 幻灯片 |
Formal Verification of PKMv3 Protocol Using DT-Spin
报告人：朱晓冉
单位：华东师范大学
链接 密码：z5oz |
基于重叠的校验序列长度的约简
报告人：林玮玮
单位：上海大学
链接 密码：jl47 |
基于最大信息系数和凝聚层次聚类的特征选择在软件缺陷预测中的应用
报告人：徐洲
单位：武汉大学
链接 密码：xdrb 幻灯片 |
慕测——一个在线实践评价平台
报告人：刘子聪
单位：南京大学
链接 密码：803z 幻灯片 |
基于差分约束抽象的时间自动机可达性验证
报告人：王伟锋
单位：中科院软件所
链接 密码：7txm 幻灯片 |
GitMining：GitHub数据的挖掘与展现
报告人：张伟强
单位：南京大学
链接 密码：2opk 幻灯片 |
多部署模式下系统可靠性分析
报告人：开金宇
单位：上海大学
链接 密码：wafw 幻灯片 |
