本次会议在在北京航空航天大学（北京市海淀区学院路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 |
专题参会人员 |
专题自由讨论 |
|
