天天肉肉天天肉日日,超碰97AV女优,精品无人区一区二区

第十二屆開源操作系統年度技術會議（OS2ATC）將于2025年3月29日在北京盛大舉行。本次技術盛會將聚焦“智聯系統”主題，匯聚國內一線操作系統及相關領域的頂尖技術專家，共同探討業界最新技術趨勢和未來發展方向。

本次大會榮幸地邀請到兩位重量級人物擔任大會主席：

?熊譜翔：RT-Thread創始人、睿賽德科技CEO、上海開源信息技術協會理事長。熊先生在嵌入式操作系統領域擁有豐富的經驗和深刻的見解，致力于推動國產操作系統的創新發展。

?胡春明：北京航空航天大學軟件學院院長，在計算機科學與技術領域具有深厚的學術造詣，特別是在操作系統及軟件工程方面貢獻卓著。

兩位主席將攜手多位行業領袖和技術精英，為大會帶來一系列精彩紛呈的主題報告和技術分享，引導參會者共同探索“智聯系統”的無限可能。

主會場

北航新主樓會議中心一號報告廳

主持人：胡春明

北京航空航天大學

軟件學院院長

主持人：熊譜翔

睿賽德科技總經理;

RT-Thread 創始人


08:30 - 9:00	簽到
09:00 - 9:25	具身智能的挑戰黃浴 Roboraction,AI CEO
9:25 -9:50	OpenCloudOS 內存管理與卸載技術的探究與實踐宋愷睿騰訊高級內核工程師
915	HVML 的自研渲染引擎 xGUI 和在線應用開發環境 HybridRun 魏永明飛漫軟件創始人
1040	vivo藍河操作系統基于Rust語言技術創新與實踐賀程 vivo系統研發總監
1005	安全容器統一架構談鑒鋒螞蟻集團高級專家; 操作系統研發經理
1130	Xiaomi Vela 技術突破與實踐，引領開源開放的 IoT 操作系統生態趙微小米系統架構師
1155	在Rust-for-Linux中的開發經驗淺談李弘宇北京郵電大學博士生二年級
1130	頒獎儀式

分會場

新主樓會議中心一層

Session 1 2號會議室	具身智能與系統主持人：黃浴 Roboraction,AI CEO
14:00 - 14:20	AI賦能，融合創新：基于openKylin構建下一代AIPC OS 寧思光 openKylin社區AI技術負責人
14:20 - 14:40	基于鴻蒙內核構建的AI原生安全操作系統李藝華為OS內核技術專家
14:40 - 15:00	具身智能機器人操作系統與應用技術牛建偉北京航空航天大學教授
15:00 - 15:20	Confidential AI開源解決方案最佳實踐乾越阿里云操作系統團隊安全架構師
15:20 - 15:40	茶歇
15:40 - 16:00	DORA機器人中間件：開啟下一代機器人開發的智能新紀元李揚 DORA社區技術專家
16:00 - 16:20	基于OpenHarmony的機器人系統李濤深開鴻OpenHarmony機器人開源項目技術負責人
16:20 - 16:40	TBD

Session 2 3號會議室	智能汽車與系統主持人：劉東利國家智能網聯汽車創新中心計算平臺部部長
14:00 - 14:20	智能車控系統的實時調度融合設計與功能安全保障熊譜翔睿賽德科技總經理； RT-Thread 創始人
14:20 - 14:40	產學研共建車用操作系統開源生態劉志坤國家智能網聯汽車創新中心操作系統集成開發總監
14:40 - 15:00	智能汽車混合關鍵場景下 OS挑戰與應對方案胡沖中興通訊車載操作系統研發總工
15:00 - 15:20	新一代大算力芯片及基礎軟件架構創新加速汽車智能化游昌海黑芝麻智能科技系統軟件副總裁
15:20 - 15:40	茶歇
15:40 - 16:00	自動駕駛閉環評測與算法庫JAD楊振杰上海交通大學博士二年級
16:00 - 16:20	Auto語言在汽車基礎軟件領域的應用趙普明索維軟件技術總監
16:20 - 16:40	TBD

Session 3 4號會議室	硬件與內核主持人：楊欣欣湖北芯擎科技高級副總裁
14:00 - 14:20	多核異構SoC在行業應用中的軟件方案思考與實踐蔡泳恒全志科技軟件設計高級工程師
14:20 - 14:40	aosp的移植實踐與挑戰朱奇正龍芯中科軟件工程師
14:40 - 15:00	從硬件異構性到系統異構性的業界現狀、實踐與挑戰任玉鑫華為歐拉操作系統學術研究負責人
15:00 - 15:20	安全低開銷的國產系統審計框架蔣鵬東南大學副研究員
15:20 - 15:40	茶歇
15:40 - 16:00	智能系統中的嵌入式多核操作系統何小慶嵌入式系統聯誼會秘書長
16:00 - 16:20	從“黑”到“白”：自主可信計算如何重塑開源操作系統安全生態胡俊北京工業大學計算機學院信息安全系教師
16:00 - 16:40	《開源操作系統測試規范》T/CECC 33—2024要點解讀翟高壽北京交通大學副教授
16:40 - 17:00	ELF分離式簽名分頁驗證技術盧新友統信軟件安全技術專家

Session 4 5號會議室	云原生與虛擬化主持人：劉雙螞蟻集團安全計算平臺負責人
14:00 - 14:20	云原生深度學習訓練平臺在高校的實踐沃天宇北京航空航天大學教授
14:20 - 14:40	HyperGPU：基于通用硬件的大模型隱私數據保護賈越凱螞蟻集團技術專家
14:40 - 15:00	Openvela的開源治理馬洪波小米開源運營負責人
15:00 - 15:20	基于Rust語言的高可靠、嵌入式Hypervisor及應用王雷北京航空航天大學教授
15:20 - 15:40	茶歇
15:40 - 16:00	基于 Kata 的機密容器（CoCo）在螞蟻的落地實踐李亞南螞蟻集團軟件開發工程師
16:00 - 16:20	機密計算之Intel TDX技術解析杜凡 Intel 資深系統軟件架構師
16:20 - 16:40	智能伸縮，高效降本：使用Karpenter助力企業云資源優化周仁天 CloudPiload AI高級工程師

16:40 - 17:00

面向自主根社區商業發行版產品的高精度檢測

黃浩東

棱鏡七彩副總裁

Session 5 8號會議室	編程語言與系統生態主持人：魏永明飛漫軟件創始人
14:00 - 14:20	基于openEuler與openHarmony構建的端云協同智能系統實踐陳輝華為技術專家
14:20 - 14:40	龍架構上的Golang生態建設陳國祺龍芯系統研發部Golang技術總監
14:40 - 15:00	基于RISC-V的Fedora發行版構建及Linux開源軟件生態傅煒紅帽軟件首席軟件工程師
15:00 - 15:20	HVML解釋器PurC的新特性以及新的渲染器 xGUI 薛淑明飛漫軟件高級軟件工程師
15:20 - 15:40	茶歇
15:40 - 16:00	凹語言社區現狀和未來展望柴樹杉凹語言科技首席技術專家
16:00 - 16:20	XLang: 基于差量概念的第四代編程語言張杰世通沃聯技術總監
16:20 - 16:40	webassembly 賦能新興腳本語言-考鼎碼(EC2)與洛書(Losu)的實踐探索陳朝臣東北大學秦皇島分校學生
16:40 - 17:00	Quick Check - 基于屬性的測試肖銘坤首都師范大學物理系大二學生