软件分析与验证研讨会 SAVE 2019 简介
由全国软件分析与验证研讨会组织委员会主办,中山大学数据科学与计算机学院及华南理工大学软件学院联合承办的全国软件分析与验证研讨会,将于2019年6月1日-2日在广州市番禺区大学城华工北路68号华工大学城中心酒店举行。研讨会已于2009年、2010年、2011年、2012年、2013年、2014年、2015年、2016年、2017年、2018年分别在北京、南京、长沙、苏州、上海、北京、大连、长沙、南京和杭州成功举办。
研讨会主题涉及软件分析与验证的理论基础、算法设计、现实应用等多个方面。大会既支持对已发表工作的介绍,也支持对进展中的科研工作开展交流,是我国软件分析和验证以及相关领域的研究人员进行交流的一个重要平台。大会期间,将有150余位来自国内外计算机领域专家学者及优秀企业家为参会者带来近20个高水准的大会报告。
我们诚邀您的参与,一定会有超预期的收获!
News
中山大学数据科学与计算机学院
中山大学数据科学与计算机学院成立于2015年6月,由学校整合原信息科学与技术学院计算机科学系、软件学院、超级计算学院以及数学与计算科学学院计算数学方向(部分人员)等计算机相关专业的优势资源组建。学院以“天河二号”超级计算机为依托,建立了涵盖高层次人才培养、软件技术研发和支撑、面向产业和科研的高水平应用服务“三位一体”的新的管理运行机制。学院将坚持面向学术前沿、坚持面向国家重大战略需求、坚持面向国家和区域经济社会发展,贯彻“理工结合,学科交叉”的发展战略,按照学校 “大平台、大团队、大项目”的部署,推动学术和科研的发展;围绕“德才兼备、领袖气质、家国情怀”的人才培养目标,致力于培养具有国际视野的应用型、复合型、创新型的高素质计算机人才和计算与数据分析处理人才。
华南理工大学软件学院
华南理工大学软件学院成立于2001年,是首批国家示范性软件学院之一,下设软件技术系、软件服务工程系、数据科学与工程系。具有软件工程专业博士学位、硕士学位和学士学位授予权,设有软件工程博士后科研流动站。学院拥有一支教学经验丰富、学术水平高的教学科研队伍。现有教工78人,其中教授12人,副教授及其他副高17人。建设有智能软件与机器人、数据库与应用构建技术、软件系统集成与应用、大型软件开发方法及应用等4个科研团队。拥有广东省社会媒体处理与软件开发工程技术研究中心、广州市机器人软件及复杂信息处理重点实验室;与新闻与传播学院共建广东省新媒体与品牌传播创新应用重点实验室。
注册可以提前注册或现场注册(请尽量提前注册,以便为您提供更好的服务),若提前注册请您按照如下步骤来完成注册:
1,请填写注册信息表格
2,我们将委托广州杰程会议展览有限公司收取会议注册费,请将注册费 700 元汇至银行账户或者微信付款,账户信息如下:
2-1:银行转账账号:4411 6641 0018 0100
25971
户名:广州杰程会议展览有限公司
开户行:交通银行股份有限公司广州天河北支行
开户行行号:3015 8100 0264
2-2:微信转账二维码
汇款留言中请注明:姓名+会议名称,如:张三 SAVE2019
3,请将注册表和汇款证明发送到邮箱:save2019@sina.cn,邮件标题请注明“SAVE2019 注册费”。
4,提前注册者可先将发票开出,需要信息:单位名称、单位税号、内容。
5,如需要,请点击下载邀请函
5 月 31 日
09:00-18:00 注册
6 月 1 日
日期 |
时间 |
报告内容 |
报告人 |
6月 1日 |
8:30-9:00 |
签到 |
|
9:00-9:10 |
领导致辞 |
||
9:10-9:35 |
Translating Programs to First-Order Logic |
林方真 教授 香港科技大学 |
|
9:35-10:00 |
安全C语言串行程序的验证系统 |
陈意云 教授 中国科学技术大学 |
|
10:00-10:25 |
控制流和数据流敏感的模糊测试 |
张超 副教授 清华大学 |
|
10:25-10:45 |
茶歇 |
||
10:45-11:10 |
The Good, the Bad and the Ugly: A Practioner's Persective on Formal Verification of Large-Scale Systems |
陈海波 教授 上海交通大学 |
|
11:10-11:35 |
安卓厂商定制系统的安全新隐患 |
杨珉 教授 复旦大学 |
|
11:35-12:00 |
软件定义无人系统 |
丁佐华 教授 浙江理工大学 |
|
12:00-12:10 |
合影 |
||
12:10-14:00 |
午餐 |
||
14:00-14:25 |
形式化工程数学和下一代人工智能 |
陈钢 教授 南京航空航天大学 |
|
14:25-14:50 |
从软件分析到代码大数据 |
彭鑫 教授 复旦大学 |
|
14:50-15:15 |
A Survey on Formal Analysis of Deep Neural Networks |
张民 副教授 华东师范大学 |
|
15:15-15:45 |
茶歇 |
||
15:45-16:10 |
Effective Interpolations in Program Verification |
田聪 教授 西安电子科技大学 |
|
16:10-16:35 |
Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries |
陈立前 副教授 国防科技大学 |
|
16:35-17:00 |
基于路径深度覆盖的测试用例设计方法 |
颜运强 研究员 中国工程物理研究院计算机应用研究所 |
|
17:00-20:00 |
晚餐 |
6 月 2 日
日期 |
时间 |
报告内容 |
报告人 |
6月 2日 |
8:30-9:00 |
签到 |
|
9:00-9:10 |
领导致辞 |
||
9:10-9:35 |
数据驱动的智能软件系统测试 |
陈振宇 教授 南京大学 |
|
9:35-10:00 |
Is autonomous driving safe, technically and biologically? |
黄凯 教授 中山大学 |
|
10:00-10:25 |
云端融合的智能软件服务系统 |
刘譞哲 副教授 北京大学 |
|
10:25-10:45 |
茶歇 |
||
10:45-11:10 |
多产品场景下的功能属性验证的工程挑战 |
刘洪宇 北京华为数字技术有限公司 |
|
11:10-11:35 |
Zephyr物联网操作系统并发内存管理的形式验证 |
赵永望 副教授 北京航空航天大学 |
|
11:35-12:00 |
操作系统内核的自动化验证 |
郭建 副教授 华东师范大学 |
|
12:00-12:10 |
合影 |
||
12:10-14:00 |
午餐 |
||
14:00-14:25 |
Bridging Semantic Gaps between Natural Languages and APIs with Word Embedding |
江贺 教授 大连理工大学 |
|
14:25-14:50 |
Learning to Synthesize |
熊英飞 副教授 北京大学 |
|
14:50-15:15 |
软件可信性增强方法 |
陶红伟 副教授 郑州轻工业大学 |
|
15:15-15:45 |
茶歇 |
||
15:45-17:00 |
自由讨论 |
会议举办地址
广州市番禺区大学城华工北路68号,华工大学城中心酒店
白云机场
广州南站
推荐酒店
(1)华工大学城中心酒店(会议举办酒店)
价格: 400元/晚(含早餐)
预留房间数量:80间
地址:广州市番禺区大学城华工北路68号
联系电话:020-39388888
(2)广州大学城新天地J精品酒店
价格:358元/晚(不含早)
预留房间数量:无预留
地址:大学城中二横路1号新天地商业广场
联系电话:020-31166098
李雪嘉:15363370307,罗炜麟:13060810428
凌晔华:13768807867,杨舒玲:15800031638
电子邮箱:save2019@sina.cn
请扫描二维码加入 SAVE 2019 微信群