NASAC 2019技术论坛：

系统软件构造与验证技术

时间地点： 

2019年11月22日(星期五)，9:00-18:00

杭州宝盛水博园大酒店  雅叙厅

论坛简介：

系统软件是计算机系统和领域关键系统的核心基础软件，主要包括基础系统软件，如操作系统、语言及编译器、中间件、数据库、基础软件库等；领域系统软件，如无人车、大飞机、无人机、工业控制、载人航天、卫星、空间探测器等的核心控制软件，区块链的关键基础软件等。系统软件的安全可靠性关系整个系统，如何构造并验证高质量的系统软件仍然是学术界和工业界面临的大挑战。

为此，本次论坛围绕“系统软件构造与验证技术”主题展开研讨。论坛特别邀请了国内做编译器验证和操作系统研发的顶尖团队和企业，进行专题报告。同时，论坛包含NASAC会议“系统软件构造与验证”Track的10篇学术论文报告。

论坛日程：

时间

报告信息

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系统的航天领域产品开发，目前已有商业卫星九天微星瓢虫一号稳定在轨运行，即将发射的有航天科技八院风云翼辉星载平台卫星和行云星座卫星。

活动主办

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

NASAC会议注册：

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

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

扫码在线注册NASAC 2019

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

  1. 【求助】哪个软件负责在屏幕右下角显示类似“caps lock on/off”的？ - 技术封存区 - 专门网论坛 -...

    [求助]哪个软件负责在屏幕右下角显示类似"caps lock on/off"的? - 技术封存区 - 专门网论坛 -

  2. 《中国企业报》专访高承实：区块链的技术本质与应用 | 另：欢迎参加中国数据与存储峰会-【区块链技术与实践】分论坛...

    高承实,密码学博士,曾任解放军信息工程大学计算机应用专业副教授,研究生导师.<回归常识>.<区块链中的密码技术>作者,高博士的第三本专著也将不久上市.后面有更多高博士的详情和文 ...

  3. 真 · 圆桌！WAIC论坛上演自动驾驶专家激辩，直面技术路径之争

    7月10日,由东浩兰生和「机器之心-Auto Byte」联合主办的「WAIC智慧出行论坛」在上海世博展览馆举办.多位行业重磅人物的参与,令该场论坛成为2021年度世界人工智能大会上,最引人关注的相关领 ...

  4. 活动推荐 | AWS 技术峰会，AI分论坛集齐各路业界大牛，免费开放参与

    近年来,人工智能成为快速发展的领域,机器学习的进展也展现了巨大的应用潜力.AWS 技术峰会 2018,6月29日上海站,8月9日北京站专设人工智能分论坛,并邀请到各路业界大牛出席.点击"阅读 ...

  5. 螺旋桨设计软件_第四届智能工业软件及设计技术研讨会暨2019天洑软件用户大会成功举办...

    第四届智能工业软件及设计技术研讨会暨2019天洑软件用户大会于2019年6月13日-14日在辽宁省大连市召开.天洑软件用户大会至2019年已成功举办了四届,在历届会议中有来自中国.德国.瑞典.捷克.意 ...

  6. 2018 （天津）新能源汽车三电系统技术发展交流大会暨汽车轻量化技术开发与材料应用论坛

    6 月 12 日补贴新政落地后,新能源汽车补贴更倾向于高续航里程.高能量密度车型,新政的实施将倒逼新能源汽车企业进行技术升级,未来新能源汽车产业的发展将逐步分化,优胜劣汰的行业洗牌时代或加速来临.随着 ...

  7. “2020区块链技术应用及专业教育论坛“在苏州2.5产业园隆重举办

    11月1日,"2020区块链技术应用及专业教育论坛"在苏州2.5产业园隆重召开.本次论坛汇集诸多全国区块链技术领域的专家学者.园区领导.政府有关部门领导.高等教育机构负责人及学院博 ...

  8. 空间音频技术与生态发展高峰论坛成功举办，业界首个Audio Vivid创作工具花瓣三维声亮相

    11月26日至27日,UWA世界超高清视频产业联盟(以下简称"UWA联盟").上海交通大学-南加州大学文化创意产业学院.华为联合举办了"互联智慧,共赢未来" 超 ...

  9. AI 技术争鸣！2019 AI 开发者大会盛大开幕

    9月6-7日,2019中国AI开发者大会(AI ProCon 2019) 在北京拉开帷幕.本次大会由新一代人工智能产业技术创新战略联盟(AITISA)指导,鹏城实验室.北京智源人工智能研究院支持,专业 ...

  10. EMQ 加入VMware 创新网络“威睿加速计划” 并将参加 VMware 创新网络 2019 高峰论坛

    伴随 AIoT & 5G 时代到来,数字化转型进程的深⼊推进,和 ICT 融合.边缘计算.多云架构的产业趋势,开源创新生态的重要性变的越来越明显. VMware 作为全球领先的企业软件创新者, ...

最新文章

  1. （八）pdf的构成之文件体（page属性）
  2. 如何使用Create-React-App和自定义服务人员构建PWA
  3. 15、Kubernetes集群资源监控
  4. 人工智能，“抛弃”真实数据集？
  5. 使用python抓取百度漂流瓶妹纸照片
  6. python画直方图代码-Python绘制直方图及子图的方法分析（代码示例）
  7. C++/STL Bitset （转）
  8. (转)Spring AOP的底层实现技术
  9. 译：Google的大规模集群管理工具Borg（二）------ Borg架构
  10. RuntimeError: Found 0 files in subfolders of: ./data/image Supported extensions are: .jpg,.jpeg,.png
  11. C++ 虚函数重载多态
  12. this 自引用指针
  13. Citrix 桌面云 XenApp_XenDesktop_7.15 部署系列（八）部署虚拟桌面及应用
  14. python读取lmdb文件_LMDB 的 Python 接口使用方法
  15. log4j日志级别配置完成后不生效 系统一直打印debug日志
  16. B/S神思SS628（100）身份证阅读器开发
  17. c语言编码菱形,C语言输出菱形代码及解析
  18. 手机将PDF转换成Word的超简单方法
  19. 南向接口 YANG 文件定义规范
  20. 减肥日志：100天40斤！！

热门文章

  1. PL/SQL Developer使用技巧、快捷键(转发)
  2. HTML5(FileRdeader)
  3. java封装的概念学习笔记
  4. JQuery中$.ajax()方法参数详解 转载
  5. [codility]Equi-leader
  6. Service Started!!!-end In Service while
  7. 安徽 计算机能力提升,休宁教师“充电”提升信息技术应用能力
  8. python使用密钥加密的表述_python - PythonGnuPG生成密钥，对消息进行加密和解密 - SO中文参考 - www.soinside.com...
  9. live555 rtsp直播卡顿马赛克优化
  10. Coding and Paper Letter（四十八）