软件技术论坛_NASAC 2019技术论坛： 系统软件构造与验证技术

NASAC 2019技术论坛：系统软件构造与验证技术

重要信息及论坛简介：

论坛时间：2019年11月22日(星期五)，9:00-18:00 

论坛地点： 杭州宝盛水博园大酒店  雅叙厅

论坛简介：

系统软件是计算机系统和领域关键系统的核心基础软件，主要包括基础系统软件，如操作系统、语言及编译器、中间件、数据库、基础软件库等；领域系统软件，如无人车、大飞机、无人机、工业控制、载人航天、卫星、空间探测器等的核心控制软件，区块链的关键基础软件等。系统软件的安全可靠性关系整个系统，如何构造并验证高质量的系统软件仍然是学术界和工业界面临的大挑战。 为此，本次论坛围绕“系统软件构造与验证技术”主题展开研讨。论坛特别邀请了国内做编译器验证和操作系统研发的顶尖团队和企业，进行专题报告。同时，论坛包含NASAC会议“系统软件构造与验证”Track的10篇学术论文报告。

活动主办

中国计算机学会系统软件专委会

NASAC会议注册：

欢迎注册NASAC 2019并参加本次论坛活动(访问下列网址或原文链接按钮)。

注册网址：https://conf2.ccf.org.cn/NASAC2019，或者 http://nasac2019.zju.edu.cn

论坛日程：

时间	报告信息
9:00 -  9:45	特邀报告1：并发C程序编译器验证初探 冯新宇，南京大学 教授
9:45 -  10:30	特邀报告2：国产嵌入式实时操作系统研发：SylixOS与Maxtrix653 徐贵洲，北京翼辉信息技术有限公司 技术总监
休息15分钟
10:45 -  11:10	论文报告1：CRDT 协议的 TLA+描述与验证 纪业、魏恒峰、黄宇、吕建 南京大学
11:10 -  11:35	论文报告2：嵌入式实时操作系统内核混合代码的自动化验证框架 郭建、丁继政、朱晓冉 华东师范大学、上海市高可信计算重点实验室 软硬件协同设计技术与应用教育部工程研究中心
11:35 -  12:00	论文报告3：一种OS内核快速形式化验证方法研究 张强、乔建忠、孟庆阳、陈渝 东北大学、北京谦川科技有限公司、清华大学
午餐
13:30 -  13:55	论文报告4：区域控制器的安全需求建模与自动验证方法 刘筱珊、袁正恒、陈小红、陈铭松、刘静、周庭梁 华东师范大学、卡斯柯信号有限公司
13:55 -  14:20	论文报告5：TZTCM: 基于 TEE 的主动可信 TPM/TCM 设计与实现 董攀、丁滟、江哲、黄辰林、范冠男 国防科技大学、英国 约克大学
14:20 -  14:45	论文报告6：静态程序分析并行化研究进展 陆申明、左志强、王林章 南京大学
14:45 -  15:10	论文报告7：深度神经网络测试研究综述 王赞、张栋迪、刘爽、陈俊洁、闫明、吴卓、陈翔 天津大学，南通大学
休息15分钟
15:25 -  15:50	论文报告8：面向顺序存储结构的数据流分析 王淑栋、尹文静、董玉坤、张莉、刘浩 中国石油大学(华东)
15:50 -  16:15	论文报告9：基于深度学习的安全缺陷报告预测方法实证研究 郑炜、陈军正、吴潇雪、陈翔、夏鑫 西北工业大学、澳大利亚 蒙纳士大学、南通大学
16:15 -  16:40	论文报告10：Web 应用前后端融合的遗传算法并行化测试用例生成 王微微、李奕超、赵瑞莲、李征 北京化工大学

论坛主席

赵永望，北京航空航天大学

王戟，国防科技大学

刘杨，新加坡南洋理工大学

特邀嘉宾

冯新宇，南京大学计算机科学与技术系教授，博士生导师。分别于1999年和2002年在南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2007年9月至2010年5月于Toyota Technological Institute at Chicago (TTIC)任研究助理教授(Research Assistant Professor)。2010年5月至2017年12月于中国科学技术大学计算机科学与技术学院任教授。2018年1月起加入南京大学计算机系。主要从事程序设计语言理论、程序验证、并发理论等方面的研究，在POPL、PLDI、CAV、LICS和ACM TOPLAS等知名国际会议和期刊上发表论文多篇。担任APLAS 2015、APLAS 2017和SETTA 2017等会议的大会主席/程序委员会主席，并多次担任POPL、PLDI、ICALP、ESOP等国际知名会议的程序委员会委员。获PLDI 2019杰出论文奖、2016年度CCF NASAC-东软青年软件创新奖、2015年度中创软件人才奖，入选教育部新世纪优秀人才支持计划。

徐贵洲，华南理工大学本硕，现任北京翼辉信息技术有限公司技术总监。2005年至2008年从事思科(Cisco)路由器Linksys WAG54G系列路由器产品开发(基于Linux/VxWorks)。2009年至2012年任广州致远电子有限公司产品线经理，从事基于SylixOS的人机交互产品及控制设备开发，包括潜艇蓄电池监控系统、舰载航海记录系统、工业人机界面HMI系列、煤矿救生舱监控系统、装甲车数字监控系统等。2013年至2015年任广州达漫自动化设备有限公司CTO，从事会议室多媒体大屏幕交互系统和广电系统现场录播(EFP)系统开发。

2016年加入北京翼辉信息技术有限公司，参与SPARC体系结构、音频子系统、网络子系统等内核组件开发。同时负责基于SylixOS系统的航天领域产品开发，目前已有商业卫星九天微星瓢虫一号稳定在轨运行，即将发射的有航天科技八院风云翼辉星载平台卫星和行云星座卫星。