講者簡介：陳海波，上海交通大學特聘教授、國家杰出青年基金獲得者、ACM Fellow、IEEE Fellow、CCF Fellow。主要研究領域為操作系統、分布式系統與系統安全，研究成果通過產學研深度結合被應用到數十億設備，產生了廣泛的學術與產業影響。曾獲中國計算機學會科技進步特等獎、陳嘉庚青年科學獎（信息技術科學獎）、中國青年科技獎、教育部技術發明一等獎、全國優秀博士學位論文獎等。目前擔任開源鴻蒙項目群技術指導委員會主席、ACM SIGOPS首位非北美學者主席、ACM旗艦雜志Communications of the ACM首位中國學者編委與領域共同主席。研究工作還獲得了華為卓越貢獻個人獎、SOSP、ASPLOS、EuroSys、VEE等最佳論文獎以及DSN“時間檢驗獎”、SIGMOD研究亮點獎等。按照csrankings.org的統計，其近十年在操作系統領域頂會SOSP/OSDI上發表的論文數居世界第一。主持撰寫的《現代操作系統：原理與實現》獲得了2020年度“最受讀者喜愛的IT圖書獎”與2022年上海交通大學優秀本科生教材獎（新版更名為《操作系統：原理與實現》）、以及機工科技——2023年度計算機領域十大好書，被高校、科研機構與企業廣泛采用。

報告題目：模型原生操作系統：機遇、挑戰與展望

報告摘要：算法、數據、算力被譽為人工智能發展的三大引擎。操作系統的泛在性是連接和驅動這三大引擎的關鍵紐帶，是人工智能邁向通用智能、賦能千行百業的重要基石。報告立足人工智能時代用戶、應用和系統的需求，分析“外掛式模型”演進路徑下的操作系統發展困局，提出通過“模型-系統-芯片”的全棧協同設計來構建模型原生操作系統，并進一步探討了面臨的機遇與挑戰，以及業界與講者團隊的相關初步探索。

報告題目：針對混合專家和后訓練優化的大模型系統

報告摘要：本報告首先回顧當前大模型系統中的一系列關鍵問題，包括混合專家(Mix-Of-Expert)結構和基于人類反饋的強化學習(Reinforcement Learning with Human Feedback)的后訓練算法對系統的影響，和attention算子的高效實現。然后討論當前工作解決這些挑戰的一些思路，包括動態專家分配和調度、面向高吞吐量的混合專家執行、訓練效率和執行效率兼顧的RLHF系統框架、以及新的attention算子實現策略。

講者簡介：王尚廣，CCF服務計算專委會副主任，特聘教授、博士生導師、計算機學院（國際示范性軟件學院）院長、網絡與交換技術全國重點實驗室副主任、國家杰出青年科學基金獲得者、天算星座發起人兼首席科學家、北郵一號、二號、三號衛星總負責人。研究方向包括：衛星計算、服務計算、邊緣智能、核心網系統、衛星操作系統等，先后主持/完成包括國家重點研發計劃、國家自然科學基金重點項目在內的各類項目50余項、發表高水平學術論文100余篇，獲得USENIX ATC、IEEE ICWS等多個國際會議最佳論文獎。目前擔任IEEE Technical Committee on Services Computing主席以及IEEE TSC、JCC等期刊編委，先后獲得軍隊科技進步二等獎、CCF技術發明一等獎、中國電子學會科技進步一等獎等獎勵。

報告題目：衛星互聯網算力支撐系統

報告摘要：隨著衛星互聯網上層應用的增長，衛星對算力的需求在逐漸上升，報告首先通過北郵1號衛星的在軌監測首次揭示了影響衛星算力的主要因素，然后介紹了我們團隊面向衛星算力需求，研制的衛星雙內核操作系統、太空服務器以及在軌運行情況，最后介紹我們在衛星計算方面的學術成果，以及北郵2號、3號衛星即將開展的算力相關的科學實驗。

講者簡介：翟恩南，CCF 互聯網專委會常務委員、CCF分布式計算與系統專委會常務委員，阿里云基礎設施網絡研究負責人，資深技術研究專家。2015年于耶魯大學計算機系獲博士學位，隨后擔任耶魯大學研究型助理教授，2018年加入阿里巴巴。主導阿里云智能化網絡可靠性運維體系，以及智算網絡技術創新。研究領域包括計算機網絡、分布式系統等，先后在這些方向的國際頂級會議如SIGCOMM、NSDI 等累計發表70余篇論文，近五年在SIGCOMM和NSDI發表論文總數全球第二。常年擔任SIGCOMM、NSDI等國際頂級會議程序委員會委員。獲省部級技術發明一等獎2次，獲SIGCOMM 2024最佳論文優勝獎、觀察者網2024年度科創人物獎等獎項。

報告題目：面向智算集群的最優集合通信算法合成技術

報告摘要：集合通信庫是算力集群連接訓練/推理引擎與底層網絡融合性能優化的關鍵系統軟件和抽象。集合通信庫中最核心的集合通信算法的性能直接影響大模型訓練和推理的效率，以及GPU集群利用率。已有的集合通信庫（如NCCL和RCCL）依賴固定集合通信算法，無法適應多樣化的硬件拓撲和模型需求。當前最先進的集合通信算法合成器（如TECCL和TACCL）采用混合整數線性規劃建模，但面臨搜索空間爆炸和可擴展性挑戰。本次報告介紹SymCCL，一種可擴展的集合通信算法自動合成器，為生產規模的大模型訓練任務在數分鐘內生成接近最優的集合通信算法方案。SymCCL的原理是利用集合操作與硬件拓撲的對稱性，將原始的集合通信 demand分解為更小拓撲子集中的sub-demand，并通過高效搜索策略快速探索潛在的sub-demand、生成對應子算法，最終整合為完整的集合通信算法方案。基于實際生產環境集群的結果表明SymCCL可將集合通信性能提升151%-263%。此外，本次報告還將展開描述集合通信庫與推理引擎的性能融合優化方向。

講者簡介：金鑫，北京大學計算機學院長聘副教授、博士生導師，研究領域為系統軟件、計算機網絡、云計算。獲ACM SIGCOMM Rising Star Award、CCF青年科技獎、阿里巴巴達摩院青橙獎、USENIX FAST最佳論文獎、USENIX NSDI最佳論文獎等獎項。

報告題目：軟件定義的服務器無感知計算系統

報告摘要：服務器無感知計算使得開發人員無需關心服務器等底層資源管理，只需要專注于基于“云函數”的上層應用開發，是系統軟件技術的重要發展方向之一。本次報告將介紹我們在軟件定義的服務器無感知計算系統方面的近期工作，包括系統架構、關鍵技術、開發工具鏈和標準化，并對服務器無感知計算技術的未來發展進行展望。

早鳥票6月15日截止