第十届开源操作系统年度技术会议（OS2ATC）完美落幕，十年征程砥砺前行！

3月26日，由统信软件主办，清华大学、北京大学、鉴释科技承办，第十届开源操作系统年度技术会议（OS2ATC）在北京市西郊宾馆召开。统信软件高级副总经理兼CTO张磊、鉴释科技创始人兼CEO梁宇宁担任大会主席。

本次大会邀请60余位国内一线操作系统专家和行业领袖、知名学者，围绕如何“开源创新”进行深入探讨，涵盖硬件、RISC-V架构、ARM架构、龙芯架构、编程技术、RUST、汽车软件、AIoT、泛在OS、云原生、虚拟化等技术热点展开讨论。主论坛、硬件、AIoT和内核、汽车软件、编程技术、云原生和虚拟化、学生会场七大论坛火热进行。

现场火爆，座无虚席。

 

在开场致词中，统信软件高级副总经理兼CTO张磊表示，开源操作系统年度技术会议OS2ATC已连续举办九届，在操作系统学术交流、展示产业成果、促进相关研究等方面卓有成效。OS2ATC 十周年，我们将既往开来。

鉴释科技创始人兼CEO梁宇宁表示，我们希望下一个十年中国在开源软件、操作系统、芯片、RISC-V等领域有更多发展，谢谢大家的支持。

 

哥伦比亚大学教授顾荣辉发表题为《Microverification of the Linux KVM Hypervisor》的报告，带来商业 Linux Hypervisor 形式化验证，详细阐述虚拟机的精密性、完整性。

 

北京大学教授李戈在《基于AIGC的智能编程技术》的演讲中介绍团队研发的 aiXcoder XL，支持方法级代码生成，对智能编程技术的研究与产业化应用有重要意义。同时他强调大模型不可能解决所有问题，虽然大模型给我们打开了一扇窗，但是未来还有很长的路要走。

 

蚂蚁集团安全计算平台负责人刘双的演讲主题为《Rust Monitor形式化验证》，蚂蚁自研Rust Monitor通过统一的 TEE 硬件抽象层，不依赖特殊安全硬件，基于通用安全硬件原语，提供跨平台的TEE安全能力，目前已规模化产品落地，具备金融科技产品资质。

 

清华大学教授张超发表题为《内核漏洞挖掘技术》的报告，据国际CVE漏洞库的数量披露，内核漏洞近五年来显著增加，内核漏洞问题不容忽视。其中模糊测试来挖掘内核漏洞，他分享了几个主流的内核模糊测试方法，未来还将会从广度目标支持、测试效率优化、遗传进化方向、AI智能协同等方向发展。

 

华为欧拉OS规划专家张攀为我们带来《多样性算力时代的OS形态思考》，面向多样性算力未来需要什么样的操作系统？张攀给出的答案是异构融合。而面向多样性算力时代下的硬件，围绕互联+DSA创新计算架构，来加速数据流动与提高并行度。

 

清华大学长聘副教授翟季冬在《基于表达式推导的人工智能编译器》的演讲中介绍基于表达式推到的图算融合优化技术，通过代数表达式建立图层与算子层的桥梁，为图算融合的优化技术提供了有力支撑，显著扩大了优化空间。

 

除了精彩演讲外，会上，鉴释科技CEO梁宇宁和产品总监陆琰雯正式发布了全球首款RISC-V开发笔记本电脑ROMA。ROMA是由RISC-V基金会牵头，深度数智开发、鉴释科技调试，ROMA 预装国产操作系统openKylin，搭载 4 核 RISC-V 处理器，具备可升级 SoC 主板，采用 12nm（专业版）/28nm（标准版）SoM 封装。

 

国防科大研究员、openKylin社区技术负责人余杰博士介绍了openKylin操作系统在RISC-V方面的进展和规划，并且针对ROMA在内核层、GPU、软件包等方面做持续优化，致力于对RISC-V开发笔记本做更好的支撑，更好的提升RISC—V生态体验。

 

本次大会特设“开源创新先锋奖”，一起见证优秀开源人为开源技术项目做出的卓越贡献，共同推进开源事业在国内外的发展。来自华中科技大学的蒋周奇、浙江大学郑昱笙、华为吴一凡以及RT-Thread社区成员&华为加拿大研究员的满鉴霆经过组委会及专家老师评审脱颖而出。促进中国深度参与全球开源治理，构建繁荣开源生态，离不开每一位开源人的参与。

 

下午分论坛继续开展更多技术交流和分享，更多精彩内容查看视频回放！

https://live.csdn.net/room/Hansen666666/wIIp8dGq

OS2ATC 十年征程，汇聚开源力量，助力中国开源行稳致远。