沐鸣2平台舉辦“人工智能時代的系統軟件”學術報告
來源😻：沐鸣2平台
發布時間：2024年09月13日
9月11日下午，我院攜手中國計算機學會系統軟件專委舉辦CCF走進高校活動之“人工智能時代的系統軟件”學術報告🦙，本次報告是64周年校慶系列學術講座🧎♀️➡️、師德師風建設月系列之教師賦能提升主題活動的重要活動之一。報告由沐鸣2娱乐🪝🧑🦰、中國計算機學會聯合主辦🌯，沐鸣2娱乐沐鸣2平台、中國計算機學會系統軟件專委聯合承辦。
報告期間👨🏼💼，CCF系統軟件專委副主任、南京大學計算機沐鸣2教授許暢老師，首先介紹了CCF走進高校的初衷與歷史活動，並鼓勵同學們通過專業學會多了解中國計算機技術的發展，接著以SANER’24上發表的工作為基礎作主題報告“約束檢測💓：邁向萬物互聯的一致性”👩🏻⚖️。
CCF系統軟件專委常委、上海交通大學計算機科學與工程系副系主任陳雨亭老師圍繞計算圖的靜態內存計算技術和TVM 優化序列的編排技術🫲🏽，作主題報告“面向低內存的AI編譯優化編排技術”。
CCF系統軟件專委委員、華東師範大學軟件工程沐鸣2教授蘇亭老師作主題報告“基於性質測試的移動應用軟件功能正確性驗證”，介紹蘇老師團隊提出的一種基於性質測試理論的軟件功能正確性驗證方法和對應的工具；並探討大模型在該研究問題上的可能應用和思考。
在提問交流環節，在場師生結合自己的研究工作，有針對性地與三位專家進行了交流。專家們為現場積極提問的學生發放了CCF準備的精美小禮物👌🏽。
本次CCF 走進高校活動是 CCF 第一次走進沐鸣2娱乐,不僅帶來了前沿的學術成果，還有效地開闊了學生的學術視野，助力學校與國內頂尖學者架起溝通的橋梁。