第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!

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

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

现场火爆,座无虚席。

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第1张图片

 

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第2张图片

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第3张图片

 

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第4张图片

 

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第5张图片

 

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第6张图片

 

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第7张图片

 

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第8张图片

 

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第9张图片

 

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第10张图片

 

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第11张图片

 

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

第十届开源操作系统年度技术会议(OS2ATC)完美落幕,十年征程砥砺前行!_第12张图片

 

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

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

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

你可能感兴趣的:(资讯,开源,开发语言)