本次会议在在北京航空航天大学(北京市海淀区学院路37号)举行。每个专题报告讲者有30分钟的报告时间,便于讲者能尽量深入的介绍他们的工作,可以让听众了解到相关的细节。在报告后,听众也可根据他们的兴趣选择相关讲者进行更深入的交流。 观众可以自由选择参加会议报告,专题报告环节。 请大家通过访问微信群“OS2ATC2017”,微信公众号“操作系统那些事儿”“智能系统百家谈”了解会议最新进展。 在本次会议地点北京航空航天大学进校时门卫可能需要查证件,所以会务组做了“参会许可图片”,参会人员可保存在手机中,并在手机上出示此参会许可图片图片就可以进校。

2017年12月16日

会议报到与开幕

开始时间 结束时间 主角 内容
8:00 8:30 会务组 签到
8:30 8:45 董耀祖(Intel中国)吴庆波(国防科技大学) 北航计算机学院吕卫锋院长致欢迎辞

中午休息

开始时间 结束时间 主角 内容
12:00 13:20 所有参会人员 午餐+休息

主题报告(北航新主楼会议中心第二报告厅,主持人:董耀祖 吴庆波)

开始时间 结束时间 主角 内容 下载
8:50 9:30 王戟(国防科大) MPI程序的符号验证 ppt[暂缺]
9:30 10:10 冯新宇(中国科学技术大学) 操作系统内核验证 ppt
10:10 10:30 meeting break 会间休息
10:30 11:10 林昊(阿里集团) 阿里巴巴在操作系统上的创新和挑战 ppt
11:10 11:50 李博杰(中国科学技术大学/微软亚洲研究院) 用可编程网卡实现高性能内存键值存储 ppt

AI系统专题研讨会(北航新主楼会议中心第二会议室,主持人:吴庆波)

开始时间 结束时间 主角 内容 下载
13:30 14:10 伍鸣(微软亚洲研究院) 深度学习计算优化中的挑战与机会 ppt
14:10 14:50 徐君(中科院计算所) EasyML: Ease the Process of Machine Learning with Data Flow ppt
14:50 15:30 肖臻(北京大学) xLearn:高性能分布式机器学习系统 ppt
15:30 16:10 邹鹏程(中科创达) 智能操作系统-所要/所想/所做 ppt
16:10 16:50 易晓东(国防科大) 机器人操作系统——从自动化走向智能化、协作化 ppt
16:50 17:30 专题参会人员 专题自由讨论

可验证/高可靠专题研讨会(北航新主楼会议中心第三会议室,主持人:董耀祖)

开始时间 结束时间 主角 内容 下载
13:30 14:10 陈振邦(国防科大) JAVA程序正规性质的自动验证 ppt
14:10 14:50 王雷(北京航空航天大学) 基于seL4的分区操作系统设计 ppt
14:50 15:30 茅俊杰(清华大学) Functional Safety of Automotive Operating Systems: An Overview ppt
15:30 16:00 专题参会人员 专题自由讨论

操作系统内核专题研讨会(北航新主楼会议中心第四会议室,主持人:陈莉君)

开始时间 结束时间 主角 内容 下载
13:30 14:10 赵桥(RedHat公司) Jekins-ci在Linux内核测试中的应用 ppt
14:10 14:50 陈松 宋宝华(Linux内核专家) 基于Linux性能剖析的预警机制 ppt
14:50 15:30 黄志伟 (同方公司) Openthos/Android-x86 porting on Android-8.x ppt
15:30 16:10 谢宝友(中兴公司) OS实时性测试及并行实时计算 ppt
16:10 16:50 张超(清华大学) 内核漏洞挖掘研究初探 ppt
16:50 17:30 专题参会人员 专题自由讨论

分布式系统专题研讨会(北航新主楼会议中心第五会议室,主持人:黄群)

开始时间 结束时间 主角 内容 下载
13:30 14:10 黄群(中科院计算所) SketchVisor: Robust Network Measurement for Software Packet Processing ppt
14:10 14:50 陶双磊(扣钉公司) 高可用高性能分布式 Git 代码托管系统的构建 ppt
14:50 15:30 孙浩(PingCAP公司) Deep Dive into TiDB ppt
15:30 16:10 朱妤晴(中科院计算所) BestConfig: Tapping the Performance Potential of Systems via Automatic Configuration Tuning ppt
16:10 16:50 张凯(SmartX) Experiences with Building High-Performance Distributed Block Storage at SmartX ppt
16:50 17:30 专题参会人员 专题自由讨论
联系人:北京航空航天大学 王雷老师
电邮:os2atc@hotmail.com
地址:北京市海淀区学院路37号