开源操作系统年度技术会议（Open Source Operating System Annual Technical Conference，简称 OS2ATC）已经连续成功举办了六届。举办 OS2ATC 的目的，是为了促进我国操作系统相关教学、研究与产业的发展，加强学术交流，展示产业界成果，展开跨学科的交流等。本届 OS2ATC 会议将在 2019 年 12 月 14 日（周六）于深圳鹏城实验室举办，会议主题为“开源协作”，将邀请国内一线的操作系统专家和团队领导围绕如何“开源协作”进行深入探讨。会议当天的上午，我们将邀请操作系统及相关领域的知名专家学者做大会的年度技术演讲，下午将围绕“内核技术”、“全栈及应用生态”、“编程语言及编译器”、“架构及芯片技术”、“虚拟化技术”等专题举行研讨会。
| 09:00-09:10 | 鹏城实验室领导致欢迎辞 | |
| 09:10-09:45 | 编程语言，编译器的历史和发展 (Programming Languages and Compiler toolchain history and development) | Gilad Bracha, Shape Security; Sun Chan, Xcalibyte (鉴释科技) |
| 09:45-10:20 | 图形栈、交互技术及应用生态的发展现状及趋势 | 魏永明,北京飞漫软件技术有限公司 |
| 10:20-10:55 | 金融级系统软件的实践及开源协作 | 何征宇，蚂蚁金服研究员，系统部负责人 |
| 10:55-11:30 | 机器人操作系统的实践与思考 | 戴华东,人工智能研究中心主任 |
| 11:30-12:05 | 天基超算平台、Sputnix操作系统与软件定义卫星 | 赵军锁，中国科学院软件研究所研究员，中科院大学岗位教授 |
| 12:30-13:30 | 圆桌会议 | 主持人：刘明（鹏城实验室） 1. 邹鹏程（中科创达） 2. 钟卫东（OPPO） 3. 欧建深（华为开源专家） 4. 孙彦邦（全志科技） 5. 赵德民（TCL） 6. 吴庆波（鹏城实验室） 7. 魏永明（飞漫软件） |
| 13:30-14:00 | Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX | Shoumeng Yan, Director and Senior Staff Engineer in Confidential Computing, Ant Financial |
| 14:00-14:30 | X-RDMA: Effective RDMA Middleware for Large-scale Production Environments | 宋卓，花名 文侑，阿里巴巴操作系统高级技术专家 |
| 14:30-15:00 | SylixOS及其安全容器技术 | 李孝成,翼辉信息技术有限公司 |
| 15:00-15:30 | 基于TLA+的操作系统模块快速形式化建模与验证技术 | 李凯航，中兴通讯操作系统产品资深系统架构师 |
| 15:30-16:00 | 现代操作系统调度器的演进逻辑及调优 | 王飞，华为OS内核实验室调度技术领域专家 |
| 16:00-16:30 | 自研操作系统内核 DIM-SUM介绍 | 谢宝友，阿里内核团队 |
| 16:30-17:00 | 您手边的 Linux 内核实验室 | 吴章金，Linux Lab 作者，Linux 官方社区贡献者 |
| 13:30-14:05 | RT-Thread 开源，社区，中立的物联网操作系统 | 熊谱翔，RT-Thread创始人/上海睿赛德电子科技有限公司CEO |
| 14:05-14:40 | 物联网操作系统及其应用 | 潘爱民，杭州指令集智能科技有限公司创始人&CEO |
| 14:40-15:15 | AIoT操作系统的实践与反思 | 邹鹏程，中科创达CTO |
| 15:15-15:50 | 快应用：操作系统上新应用形态的构建与思考 | 董红光，小米新生态团队总监 |
| 15:50-16:25 | Android系统多窗口研究、设计与实现 | 刘晓旭、罗浩、王之旭，清华大学同方股份有限公司计算机系统结构联合研究中心 |
| 16:25-17:00 | Celadon: An Android open source platform for Intel® Architecture | 邹鹏，英特尔亚太研发有限公司 |
| 13:30-14:00 | 面向RISC-V指令集的操作系统 | 武延军，中科院软件所副总工、智能软件研究中心主任 |
| 14:00-14:30 | Domain-Specific AI Processor Architecture Design | Mark Zhan，Wind River中国R&D中心co-founder，北京希姆计算co-founder，COO |
| 14:30-15:00 | 从GPU视角看Linux图形栈 | 黄虎才，西安邮电大学 |
| 15:00-15:30 | 基于FPGA异构计算在数据中心快速构建高性能图片处理解决方案 | 樊平，深维科技联合创始人/CEO FPGA异构计算专家 |
| 15:30-16:00 | XuanTie-CPU ISA linux introduction | 郭任，阿里巴巴平头哥OS工程师 |
| 16:00-16:30 | 平台安全架构-为物联网建立信任 PSA: Building Trust in IoT | 张晓楠，Arm中国安全市场经理 |
| 16:30-17:00 | BoAT：智能物联网的金融入口 | 许刚，摩联科技CTO |
| 13:30-14:10 | 利用spdk加速字节跳动分布式存储ByteStore | 苗宇，字节跳动责经典存储的单机引擎部分负责人 |
| 14:10-14:50 | 云环境动态修复技术实践 | 刘琦，百度智能云单机团队，资深虚拟化工程师 |
| 14:50-15:30 | 腾讯云虚拟化性能优化实践 | 蒋彪，腾讯云虚拟化团队高级工程师 |
| 15:30-16:10 | ZERO:华为云下一代虚拟化平台 | 黄智超，华为云技术专家 |
| 16:10-16:50 | 构建云原生专用OS之道 | 刘奖，阿里云操作系统部资深技术专家 |
| 16:50-17:30 | 透传设备VMM热升级探索与实践 | 阮帅，嘀嘀无限科技发展有限公司 |
| 13:30-14:00 | 动态语言和运行环境的历史发展和应用(Dynamic Languages and Runtime Historic Trend and Application) | Kasper Lund and Lars Bak, Toitware |
| 14:00-14:30 | 编程语言设计方法和实践 (Programming Languages Design and Practice) | Gilad Bracha, Shape Security |
| 14:30-15:00 | 静态分析技术历史发展和应用 (Static Analysis Historic Technology Trend and Application) | Yuning Liang and Shinming Liu, Xcalibyte (鉴释科技) |
| 15:00-15:30 | Java和开源OpenJDK 在中国发展的前景和挑战 | 杨晓峰， 腾讯高级技术专家；李三红， 阿里云智能资深技术专家 |
| 15:30-16:00 | 《Apache Kylin云原生架构思考及规划》 | 韩卿，Kyligence联合创始人兼CEO/史少锋，Kyligence 合伙人&首席软件架构师 |
| 16:00-16:30 | 开源生态推动新架构处理器应用发展的实例：基于Arm架构的云计算和边缘计算 | 姬信伟, 服务器生态系统经理, 安谋中国Arm China |
| 16:30-17:00 | 从模型到可执行程序的形式化验证：可信编译器l2c | 康烁，迪捷软件科技有限公司创始人 |
| 09:00-12:00 | RISC-V开源处理器及Chisel硬件描述语言入门 | 张科, 余子濠，中科院计算所 |
| 内容摘要 | 本教程首先将介绍开源芯片的基础，向听众展示面向RISC-V开源芯片生态的系统级原型验证服务平台（SERVE），着重介绍SERVE.r精简版本的使用方法以及SERVE.c云平台版本的接入方法。教程第二部分将基于“标签化RISC-V”项目介绍Chisel硬件描述语言的特性和优势，然后介绍在线学习环境chisel-bootcamp。Chisel-bootcamp可以对在线编写的Chisel代码进行编译，方便Chisel语言的学习，同时也可以通过若干例子观察Chisel与生成的Verilog代码之间的关系。观众需准备一台可联网的笔记本电脑进行现场操作和学习。具体内容包括：SERVE.r， SERVE.c， Chisel-bootcamp 实验。 | 适合人群：有较强编程能力的高年级本科生，研究生和工程师；从事CPU和FPGA设计相关研究/开发的从业者。尤其适合：深入地系统化学习；追求技术细节和技术突破。先修要求：1、较强硬件编程能力；2、提前自学chisel硬件编程语言 3、了解计算机组成原理和RISC-V CPU |
| 09:00-12:00 | 学习写OS不是那么难--基于RUST语言 && 面向RISC-V CPU | 王润基,潘庆霖；清华大学 |
| 内容摘要 | 学习写操作系统内核很困难吗？我们认为这是过去的历史了。如果你有一定的基础，比如有数据结构和编程能力，且愿意学习新知识，比如学习RUST语言编程和RISC-V CPU的一些与OS相关的硬件知识，那么你会发现，也许学习写一个OS不是那么困难的事情。在这个tutorial中，我们讲介绍如何一步一步地设计并实现从OS加载，启动到能够运行应用程序的6个阶段步骤，让你体会到采用新技术和新思路来实现一个面向特定领域的OS不是那么困难。也许在未来的AIoT领域，你可以实现自己的OS。 | 适合人群：有较强编程能力的高年级本科生，研究生和工程师；从事系统软件相关研究/开发的从业者。尤其适合：深入地系统化学习；追求技术细节和技术突破。 先修要求：1、较强编程能力；2、提前自学RUST语言编程 3、了解计算机组成原理和RISC-V CPU |
软件核心研发迎来又一春！
2019-11-20
今年是互联网50周年。半个世纪之间，国内外的开发者们，靠着敲下的代码，改变了几代人的生活。从世界上第一封邮件的发出，到手机支付的全面普及。世界互联网的发展趋势，早已从以美国为首的西方世界，来到中国和日本等东亚国家。美国经济学家托马斯·弗里德曼有一本书叫做《这个世界是平的》，正因为互联网的普及，偏远落后地区的人们，也可以和城市人一样获取最新消息。这背后，正是代码的力量。而当下中国的开发者们，正面临着前所未有的发展机会......
