软件分析与验证研讨会 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,如需要,请点击下载邀请函

    会议举办地址

    心悦大酒店

    辽宁省大连市人民路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 幻灯片