各省、自治區(qū)、直轄市統(tǒng)計局，新疆生產(chǎn)建設(shè)兵團統(tǒng)計局:
為準確反映城鄉(xiāng)建設(shè)發(fā)展進程，及時更新“統(tǒng)計用區(qū)劃代碼和城鄉(xiāng)劃分代碼庫”，更好地滿足各項統(tǒng)計調(diào)查需要，定于近期組織開展2021年度統(tǒng)計用區(qū)劃代碼和城鄉(xiāng)劃分代碼（以下稱“兩碼”）更新維護工作。現(xiàn)將有關(guān)事項通知如下：
一、總體要求
（一）提高思想認識。各地要嚴格執(zhí)行《國務(wù)院關(guān)于統(tǒng)計上劃分城鄉(xiāng)規(guī)定的批復(fù)》（國函〔2008〕60號），按照《統(tǒng)計用區(qū)劃代碼和城鄉(xiāng)劃分代碼編制規(guī)則》（國統(tǒng)字〔2009〕91號）、《城鄉(xiāng)劃分質(zhì)量控制辦法》（國統(tǒng)字〔2014〕64號）和《統(tǒng)計用區(qū)劃和城鄉(xiāng)劃分工作手冊（2019）》等有關(guān)文件要求，高標準做好“兩碼”的更新維護。
（二）加強組織領(lǐng)導(dǎo)。今年將正式啟用新的統(tǒng)計用區(qū)劃代碼和城鄉(xiāng)劃分管理系統(tǒng)（以下稱統(tǒng)計區(qū)域庫系統(tǒng)），各地要精心組織、扎實推進，明確責(zé)任分工，做好服務(wù)保障，確保統(tǒng)計區(qū)域庫系統(tǒng)穩(wěn)定運行、“兩碼”更新維護工作順利開展。
（三）鼓勵方式創(chuàng)新。各地要開拓思路、積極探索，通過利用部門信息、影像圖信息、遙感信息等資料對長期未變動數(shù)據(jù)進行核查，切實提高“兩碼”質(zhì)量。
二、工作內(nèi)容及時間安排
（一）依據(jù)行政區(qū)劃和城鄉(xiāng)屬性變動情況，通過統(tǒng)計區(qū)域庫系統(tǒng)更新維護縣以下“兩碼”并報送有關(guān)變動情況說明材料。2021年度區(qū)劃調(diào)整和城鄉(xiāng)屬性變更的調(diào)查時期為2020年7月1日至2021年10月31日，更新維護期為2021年10月11日至11月19日。
（二）組織開展鄉(xiāng)級單位和村級單位名稱核查、各階段工作落實情況檢查和數(shù)據(jù)質(zhì)量檢查。11月26日前完成本地區(qū)數(shù)據(jù)質(zhì)量抽查，并于11月29日至12月3日在統(tǒng)計區(qū)域庫系統(tǒng)中填報有關(guān)城鄉(xiāng)劃分質(zhì)量控制問卷。
（三）報送工作總結(jié)。及時總結(jié)城鄉(xiāng)劃分工作開展情況，提煉好經(jīng)驗、好做法，于12月10日前將工作總結(jié)通過電子郵件報送國家統(tǒng)計局統(tǒng)計設(shè)計管理司。
三、其他事項
（一）統(tǒng)計區(qū)域庫系統(tǒng)培訓(xùn)平臺網(wǎng)址：10.6.130.146/area，正式平臺網(wǎng)址：10.6.130.32/area。數(shù)據(jù)維護人員必須在培訓(xùn)平臺充分練習(xí)后，再利用正式平臺更新維護“兩碼”。
（二）國家統(tǒng)計局擬于11月下旬起組織開展對部分地區(qū)“兩碼”工作的質(zhì)量抽查。
聯(lián)系人：張儒，侯立本；
電話：，；
郵箱：。
國家統(tǒng)計局辦公室
2021年9月7日
CCF-華為胡楊林基金系統(tǒng)軟件專項 2022年資助項目開題報告研討會將于2022-08-26（周五）在華為蘇州研究所舉行
“CCF-華為胡楊林創(chuàng)新基金”是由華為與中國計算機學(xué)會聯(lián)合發(fā)起,致力于為海內(nèi)外高校及科研院所的學(xué)者搭建產(chǎn)學(xué)研合作及學(xué)術(shù)交流的平臺。本次研討會邀請了獲得2022年“CCF-華為胡楊林創(chuàng)新基金”系統(tǒng)軟件專項資助的優(yōu)秀學(xué)者進行項目開題及技術(shù)交流,旨在進一步明確項目的方案、技術(shù)與應(yīng)用場景,加強學(xué)術(shù)界與工業(yè)界合作,促進基礎(chǔ)軟件研究和發(fā)展。
大會鏈接
黃大年茶思屋線上接入：
矚目/外部會議接入ID：
掃碼進入
論壇報告
4.1 題目：面向人工智能芯片的高效自動微分框架研究
項目摘要：隨著人工智能（AI）進入大模型與輕量級模型并存的時代，AI應(yīng)用對算力的需求以遠超摩爾定律的方式在增加，催生了一系列架構(gòu)各異的AI芯片。與此同時，研究人員對編程簡潔性和多功能性的要求日益提高。在這種形勢下，開發(fā)者對編程框架提出了新的需求：利用自動微分來生成AI應(yīng)用中的梯度計算代碼。盡管已經(jīng)有大量關(guān)于AI編程框架的研究工作，但是在自動微分等新型應(yīng)用需求的支持、AI芯片算力的挖掘等方面仍面臨著諸多挑戰(zhàn)。開發(fā)人員在使用現(xiàn)有編程框架實現(xiàn)復(fù)雜的大型應(yīng)用時，仍面臨著開發(fā)困難、性能欠佳等問題，這需要從編程范式、類型系統(tǒng)、編譯優(yōu)化等方面進行新的思考。本研究將探索面向人工智能芯片的高效自動微分框架，從AI應(yīng)用的可微分特性入手，構(gòu)建可微分的多層次中間表示和類型系統(tǒng)，通過編譯優(yōu)化技術(shù)釋放AI芯片的計算潛力，提升AI應(yīng)用軟件的執(zhí)行效率
個人簡介：李廣力，中國科學(xué)院計算技術(shù)研究所特別研究助理，在吉林大學(xué)獲得學(xué)士和碩士學(xué)位，在中國科學(xué)院大學(xué)獲得計算機系統(tǒng)結(jié)構(gòu)博士學(xué)位。主要研究方向包括人工智能編程語言與框架、深度學(xué)習(xí)編譯器、神經(jīng)網(wǎng)絡(luò)模型壓縮技術(shù)。在IEEE TCAD、ACM TACO、JSA、CGO、PACT、ICPP等高水平國際期刊和會議上發(fā)表論文20余篇。擔(dān)任中國計算機學(xué)會會刊《計算機科學(xué)》、IEEE匯刊TNNLS審稿人。
4.2 題目：基于細粒度優(yōu)化選項配置差分的編譯器缺陷定位技術(shù)研究
項目摘要：編譯器是軟件構(gòu)建的基石，準確定位編譯器中的缺陷對于構(gòu)建高可信軟件產(chǎn)品具有重要意義。然而，由于編譯器系統(tǒng)龐大功能復(fù)雜，準確定位編譯器的缺陷有很大挑戰(zhàn)。為此，本研究擬基于編譯器提供的大量細粒度優(yōu)化選項，構(gòu)造隱藏缺陷和觸發(fā)缺陷的細粒度優(yōu)化配置序列，以更小代價定位編譯優(yōu)化類的缺陷，有效降低根因診斷與缺陷修復(fù)成本。
個人簡介：楊已彪，現(xiàn)任南京大學(xué)計算機科學(xué)與技術(shù)系特任副研究員，主要研究興趣包括軟件測試與分析、缺陷檢測與預(yù)測等。2016年9月博士畢業(yè)于南京大學(xué)計算機科學(xué)與技術(shù)系并榮獲江蘇省和南京大學(xué)優(yōu)秀博士學(xué)位論文，畢業(yè)后于2016年9月至2019年8月在南京大學(xué)計算機系從事博士后研究。近年來，在ICSE、FSE、ASE等會議和TOSEM、TSE等期刊發(fā)表論文二十余篇，獲國家自然科學(xué)基金面上基金和青年基金、江蘇省自然科學(xué)青年基金和博士后科學(xué)基金特別資助等項目資助。
4.3 題目：數(shù)據(jù)驅(qū)動的JVM測試
項目摘要：JVM是Java程序運行的重要基石，其穩(wěn)定性影響基于其運行的Java程序。與其他軟件缺陷不同，JVM缺陷會帶來更廣泛的影響。因此，保證JVM質(zhì)量至關(guān)重要，其中JVM測試是保證JVM質(zhì)量的最重要手段之一。本項目旨在生成具有強揭錯能力的測試程序并設(shè)計具有強捕錯能力的測試預(yù)言，以提升JVM測試效果。為了達到該目標，本項目擬采用數(shù)據(jù)驅(qū)動的方式，利用歷史揭錯測試程序的素材，結(jié)合新的程序上下文信息，通過深度學(xué)習(xí)技術(shù)支撐有效測試程序的合成，并對所生成程序的內(nèi)部狀態(tài)進行充分探索以增強缺陷捕獲能力。該方法不僅測試廣泛使用的開源JVM（如：HotSpot和OpenJ9），也將集成，對華為國產(chǎn)JVM進行有效質(zhì)量保證。
個人簡介：陳俊潔，天津大學(xué)智能與計算學(xué)部特聘研究員，軟件工程團隊負責(zé)人。研究方向主要為基礎(chǔ)軟件測試（如：編譯系統(tǒng)、操作系統(tǒng)、深度學(xué)習(xí)系統(tǒng)等測試與分析）以及在線服務(wù)系統(tǒng)智能運維。博士學(xué)位論文榮獲2019年度CCF優(yōu)秀博士學(xué)位論文獎。近年共發(fā)表學(xué)術(shù)論文50余篇，其中CCF A類論文近40篇，獲得五項最佳論文獎（包括ASE 2019、ISSTA 2019 、FSE 2020、FSE 2021的ACM SIGSOFT Paper Award，以及ISSRE 2021的Best Paper Award）；擔(dān)任CCF-A類會議ASE 2021評審過程主席，研討會聯(lián)合主席，軟件學(xué)報?？匮庉?，以及FSE、ASE、ISSTA、ECOOP等頂級會議程序委員會成員
4.4 題目：SaferRW: Go語言程序的數(shù)據(jù)競爭靜態(tài)檢測分析技術(shù)研究
項目摘要：隨著大數(shù)據(jù)、分布式等技術(shù)的發(fā)展，并發(fā)程序的開發(fā)技術(shù)變得越來越重要。然而由于并發(fā)程序中代碼執(zhí)行次序的不確定性，并發(fā)程序缺陷往往具有難調(diào)試、難復(fù)現(xiàn)的特點，由此所造成的損失也具有很大的不確定性。使用自動化方法檢測并發(fā)缺陷是一種常用且有效的途徑。Go語言是當前較為流行的一種并發(fā)程序編程語言，它采用了基于CSP的并發(fā)編程模型，使用信道進行協(xié)程之間的通信，與傳統(tǒng)基于鎖的并發(fā)編程相比，其更加簡單易用。然而，這樣的設(shè)計并沒有減少并發(fā)缺陷的產(chǎn)生，反而增長了產(chǎn)生并發(fā)缺陷的可能性。這是由于Go語言混用多種并發(fā)編程模式，且面向?qū)ο笳Z法設(shè)計得不夠嚴謹，使得開發(fā)人員容易出錯。數(shù)據(jù)競爭是一類常見的并發(fā)缺陷。本項目我們希望針對Go語言的特性設(shè)計一個輕量的數(shù)據(jù)競爭靜態(tài)檢測算法，能夠兼顧分析速度和準確率，同時具有較好的用戶體驗。
個人簡介：葛季棟，副教授/博導(dǎo)。2007年獲南京大學(xué)博士學(xué)位，主要研究方向為自然語言處理與智能軟件工程、分布式計算與服務(wù)計算等。IEEE TMC、IEEE TPDS、IEEE/ACM TNET、IEEE/ACM TASLP、ACM TKDD、IEEE TSC、JASE、Inf. Sci.、JSS、JPDC、ComNet、FGCS、JNCA、ESA、ExpSys、JSEP、SCIS、計算機學(xué)報、軟件學(xué)報、電子學(xué)報等國內(nèi)外期刊和ICSE、FSE、ASE、AAAI、EMNLP、IWQoS等重要國際會議上錄用和發(fā)表論文100余篇，其中SCI期刊論文36篇，CCF推薦A類會議/期刊論文12篇。研究成果工申請中國發(fā)明專利50項，其中已授權(quán)6項
4.5 題目：終端智能模型的安全威脅研究
項目摘要：深度學(xué)習(xí)模型已廣泛用于終端設(shè)備如手機、智能音箱、攝像頭等。但這些模型一旦部署在不受信任的設(shè)備中，就會遭受多種攻擊的威脅。本報告將介紹我們對 Android 應(yīng)用中深度學(xué)習(xí)模型的安全風(fēng)險研究。該工作設(shè)計了一套自動化的方法實現(xiàn)對現(xiàn)實世界中深度學(xué)習(xí)模型的安全評測，包括從 Android 應(yīng)用中自動提取深度學(xué)習(xí)模型，捕獲模型的輸入和輸出，生成對抗樣本評測模型魯棒性。通過對 62,583 個Android應(yīng)用程序進行分析，揭示了真實世界中深度學(xué)習(xí)模型所面臨的安全威脅和防御技術(shù)。
個人簡介：孟國柱 ，中國科學(xué)院信息工程研究所副研究員。2017年博士畢業(yè)于新加坡南洋理工大學(xué)，2018年加入中國科學(xué)院信息工程研究所擔(dān)任副研究員。曾獲2019年ACM中國SIGSAC科技新星。主要研究方向包括人工智能安全與隱私、移動安全分析和測試，在USENIX 、CCS、ICSE、FSE等國際CCF-A類期刊和會議上發(fā)表論文20余篇。主持了如科技創(chuàng)新2030-“新一代人工智能”重大項目子課題，國家自然科學(xué)基金青年項目，CCF-騰訊犀牛鳥等多項國家和省部級科研項目
4.6 題目：面向隱私計算的邊緣協(xié)同訓(xùn)練新范式研究
項目摘要：萬物的泛在互聯(lián)和深度的人機交互產(chǎn)生了海量的邊緣數(shù)據(jù)，深度學(xué)習(xí)技術(shù)的發(fā)展更讓人們對數(shù)據(jù)共享所帶來的經(jīng)濟和社會價值產(chǎn)生無限遐想。然而，數(shù)據(jù)隱私安全與數(shù)字經(jīng)濟、智能技術(shù)發(fā)展之間的博弈與沖突正被推向風(fēng)頭浪尖。各界都在積極探索、研發(fā)有效的數(shù)據(jù)隱私保護方案來促進邊緣數(shù)據(jù)的流通共享。本報告將瞄準異構(gòu)數(shù)據(jù)海量、保護需求多樣、場景動態(tài)復(fù)雜、隱私認知差異等多個挑戰(zhàn)性問題，介紹隱私計算在邊緣智能場景下的研究工作，并以已有研究為基礎(chǔ)討論探索隱私安全性與協(xié)同可用性平衡的協(xié)同訓(xùn)練新范式設(shè)計。
個人簡介：吳昊，南京大學(xué)計算機系助理研究員，主要研究方向為智能移動計算及其隱私安全。分別于2016年和2021年在南京大學(xué)獲得學(xué)士和博士學(xué)位，并獲得南京大學(xué)計算機科學(xué)與技術(shù)系優(yōu)秀博士論文?，F(xiàn)擔(dān)任第二屆大數(shù)據(jù)與隱私計算專委會委員，CCF系統(tǒng)軟件專業(yè)委員會通訊委員，“紫金山英才”棲霞先鋒計劃高層次創(chuàng)新創(chuàng)業(yè)人才。作為第一作者的論文發(fā)表在MobiCom，MobiSys,WWW,《計算機研究與發(fā)展》等國內(nèi)外頂級學(xué)術(shù)會議和期刊上?，F(xiàn)主持江蘇省自然科學(xué)基金青年基金項目1項。圍繞移動智能和隱私計算取得授權(quán)發(fā)明專利5項，部分專利技術(shù)進行落地轉(zhuǎn)化，獲得“贏在南京”大賽棲霞區(qū)第一名、創(chuàng)棲霞大賽三等獎
4.7 題目：基于歷史提交代碼與預(yù)生成模型混合驅(qū)動的開源漏洞挖掘方法
項目摘要：開源軟件是軟件產(chǎn)業(yè)健康發(fā)展的重要支撐，目前開源軟件漏洞是軟件供應(yīng)鏈安全的重要威脅。本報告擬從開源漏洞數(shù)據(jù)集構(gòu)建、靜態(tài)漏洞檢測和動態(tài)漏洞挖掘三方面面臨的問題入手，結(jié)合開源倉庫軟件歷史提交的漏洞信息以及預(yù)生成模型與導(dǎo)向變異測試，探討如何構(gòu)建智能漏洞檢測系統(tǒng)，促進開源軟件的安全應(yīng)用和健康發(fā)展。
個人簡介：湯戰(zhàn)勇，教授，博士生導(dǎo)師，西北大學(xué)國之頤睡眠健康研究中心主任,陜西省無源感知物聯(lián)網(wǎng)科技創(chuàng)新團隊核心成員。目前主要圍繞物聯(lián)網(wǎng)軟件與系統(tǒng)安全、無線感知識別與用戶認證展開研究，主持和參與各類國家重點研發(fā)計劃、國基金面上、省部級課題以及企業(yè)項目二十余項，相關(guān)成果在CCS、PLDI、NDSS、PACT、MOBICOM、INFOCOM、UBICOMP、SenSys以及TIFS、TOPS、TON等一流會議和期刊上發(fā)表，獲CCS'18和SenSys'19最佳論文提名。部分研究進入歐美等一流大學(xué)計算機課堂,不僅被英國泰晤士報、美國福布斯、新華社廣泛報道,而且在螞蟻集團、華為2012實驗室、騰訊等企業(yè)落地。獲陜西省科學(xué)技術(shù)二等獎,陜西省高等學(xué)?？茖W(xué)技術(shù)一等獎,ACM China新星獎(西安)
4.8 題目：新型通用輕量的灰色故障檢測定位和自適應(yīng)恢復(fù)技術(shù)研究
項目摘要：隨著軟件系統(tǒng)規(guī)模的快速增長，故障越來越常見，故障類型也越來越多樣。其中一類灰色故障，由于其檢測時間長，癥狀神秘，后果嚴重，難以恢復(fù)等特征，給管理人員帶來極大的困擾。但是現(xiàn)有灰色故障的研究存在兩個主要缺陷：（1）缺乏通用輕量的故障定位能力。（2）缺乏灰色故障自愈能力?；诖?，本項目計劃針對這兩個問題進行深入研究：（1）通過結(jié)合新穎的ebpf技術(shù)和基于傳播路徑的推理性根因定位的研究新思路，來設(shè)計通用輕量的灰色故障定位策略，（2）根據(jù)灰色故障類型設(shè)計自適應(yīng)恢復(fù)策略來提供高效的故障恢復(fù)能力。
個人簡介：李詩逸，哈爾濱工業(yè)大學(xué)（深圳）助理研究員，博士畢業(yè)于華中科技大學(xué)計算機系統(tǒng)結(jié)構(gòu)專業(yè)。主要研究方向為糾刪碼、亞健康、故障預(yù)測、容錯系統(tǒng)、故障自愈、可靠性、存儲系統(tǒng)、云計算，在USENIX ATC, TPDS, SRDS, ICPP等國際學(xué)術(shù)會議和期刊發(fā)表論文10余篇，并多次受邀進行成果匯報，擔(dān)任IEEE Trans.系列刊物和多個學(xué)術(shù)會議的審稿人。參加過多項國家重大項目（973/863/國家自然科學(xué)基金重點項目等）。曾在企業(yè)工作近6年，擔(dān)任架構(gòu)師/首席可靠性專家/資深技術(shù)專家等職務(wù)，積累了豐富的工業(yè)界經(jīng)歷。在企業(yè)期間一直從事可靠性相關(guān)技術(shù)的預(yù)研和產(chǎn)品化，設(shè)計實現(xiàn)了針對磁盤，內(nèi)存、網(wǎng)絡(luò)等計算機組件和系統(tǒng)的生命周期管理（故障風(fēng)險/檢測/預(yù)測/恢復(fù)）和AIOps創(chuàng)新技術(shù)。共申請專利30余項（已授權(quán)10項）。
4.9 題目：面向新介質(zhì)的高性能高可靠文件系統(tǒng)
項目摘要：大數(shù)據(jù)的快速發(fā)展催生了各行業(yè)大數(shù)據(jù)資源的聚集，數(shù)據(jù)規(guī)模和數(shù)據(jù)處理能力間的矛盾日益嚴峻，傳統(tǒng)的文件系統(tǒng)架構(gòu)越來越難以應(yīng)對大數(shù)據(jù)處理對時效、性能方面的需求。新型持久內(nèi)存的全新硬件特性正在顛覆現(xiàn)有存儲系統(tǒng)架構(gòu)和系統(tǒng)軟件設(shè)計。然而，現(xiàn)有的持久內(nèi)存文件系統(tǒng)未能充分發(fā)揮持久內(nèi)存的硬件特性以有效提升其并發(fā)訪問性能。本研究擬基于EulerFS研究高并發(fā)數(shù)據(jù)一致性保護技術(shù)。在數(shù)據(jù)組織方面，采用雙向感知的方式對EulerFS文件數(shù)據(jù)的組織方式進行優(yōu)化；在目錄項索引方面，設(shè)計雙層可擴展哈希和自適應(yīng)目錄項更新技術(shù)動態(tài)應(yīng)對不同大小的目錄項?；诖耍瑢崿F(xiàn)高并發(fā)的文件和目錄訪問，突破文件系統(tǒng)的并發(fā)訪問性能瓶頸，滿足上層應(yīng)用的性能需求。
個人簡介：鄭圣安，上海交通大學(xué)電子信息與電氣工程學(xué)院長聘教軌助理教授。主要研究方向為持久內(nèi)存、文件系統(tǒng)和分布式系統(tǒng)。2014年和2019年分別在上海交通大學(xué)計算機系取得學(xué)士和博士學(xué)位，曾在美國加州大學(xué)圣地亞哥分校和清華大學(xué)分別進行公派聯(lián)合培養(yǎng)和博士后工作。在FAST、VLDB、DAC、TPDS等國內(nèi)外高水平會議和期刊上發(fā)表系統(tǒng)軟件領(lǐng)域論文二十余篇，擔(dān)任ACM TOS、IEEE TPDS、TC、JPDC、SoCC等國際期刊和會議的審稿人。主持上海市自然科學(xué)基金面上項目、博士后基金面上項目，并以骨干成員身份參與國家重點研發(fā)計劃、國家863計劃等多項國家級項目，相關(guān)研究成果獲2020年上海市技術(shù)發(fā)明獎一等獎。
4.10 題目：面向數(shù)據(jù)訪問特征感知的通用“數(shù)據(jù)流大腦”技術(shù)研究
項目摘要：隨著大數(shù)據(jù)時代的來臨，現(xiàn)代計算機系統(tǒng)從傳統(tǒng)的“算存一體化”形態(tài)逐漸向“算存分離”和“存存分離”的新形態(tài)演化，比如我國近期啟動的“東數(shù)西算”工程，以及基于虛擬文件系統(tǒng)的分解式存儲平臺等。盡管“算存分離”和“存存分離”可以支撐更大的存儲空間以及更高的資源利用率，但是也帶來了更強的運維調(diào)優(yōu)需求。比如，超大空間或者跨網(wǎng)絡(luò)的數(shù)據(jù)讀取效率往往較低，需要通過緩存預(yù)取和冷熱識別替換等優(yōu)化機制來加速數(shù)據(jù)訪問。為了高效靈活地支撐各類運維調(diào)優(yōu)機制，本項目擬開發(fā)出一個以數(shù)據(jù)流特征實時感知為核心的通用軟件模塊——數(shù)據(jù)流大腦。該數(shù)據(jù)流大腦本質(zhì)上是計算側(cè)和存儲側(cè)之間的一個中間層，將來自計算側(cè)的實時訪問行為進行自動分流建模，并將這些訪問流信息通過通用接口提供給預(yù)取、替換等運維調(diào)優(yōu)機制。與已有技術(shù)相比，這種獨立的數(shù)據(jù)流大腦設(shè)計對上層應(yīng)用透明，對下層硬件通用，同時也能提供準確的數(shù)據(jù)流整合，可以很好地規(guī)避因集成異構(gòu)或分散的存儲資源而造成的性能損失。
個人簡介：陳晨，上海交通大學(xué)電子信息與電氣工程學(xué)院長聘教軌副教授。2014年在清華大學(xué)獲得學(xué)士學(xué)位，2018年在香港科技大學(xué)取得計算機博士學(xué)位。以分布式系統(tǒng)為主要研究方向，創(chuàng)新成果涵蓋云計算調(diào)度、機器學(xué)習(xí)系統(tǒng)、存儲緩存優(yōu)化等多個子領(lǐng)域，在SoCC，INFOCOM, SC, ICDCS, TCC等相關(guān)方向的著名會議期刊上發(fā)表論文十余篇。曾在華為香港研究中心從事產(chǎn)品研發(fā)工作，期間取得1項華為高潛專利，3次創(chuàng)新先鋒榮譽獎勵
4.11 題目：面向鴻蒙操作系統(tǒng)的跨設(shè)備系統(tǒng)關(guān)鍵技術(shù)研究
項目摘要：在過去的十余年中，智能終端得到了快速的發(fā)展，每人擁有或者每家庭擁有的智能終端越來越多，包括智能手機、智能音箱、智慧大屏、智慧空調(diào)。而這些終端之間實現(xiàn)高質(zhì)量、用戶友好的跨設(shè)備交互是目前智能終端發(fā)展的重要發(fā)展方向。華為鴻蒙操作系統(tǒng)作為目前最為廣泛的一類消費終端分布式操作系統(tǒng)在這一領(lǐng)域表現(xiàn)突出。本項目，我們針對華為鴻蒙操作系統(tǒng)展開多方面技術(shù)研究。具體來說，我們將從三個方面展開課題研究：1）研究跨設(shè)備的分布式文件系統(tǒng)優(yōu)化，實現(xiàn)跨設(shè)備文件的友好訪問能力；2）研究跨設(shè)備的任務(wù)沖突優(yōu)化，實現(xiàn)多設(shè)備交互時多任務(wù)的沖突感知調(diào)度；3）研究跨設(shè)備的快速喚醒與快速連接技術(shù)，實現(xiàn)跨設(shè)備的低功耗和高速互聯(lián)的能力。預(yù)期通過本項目將進一步推動鴻蒙操作系統(tǒng)在跨設(shè)備場景下的友好部署。
個人簡介：石亮，華東師范大學(xué)教授，上海市啟明星計劃入選者。中國科學(xué)技術(shù)大學(xué)和香港城市大學(xué)聯(lián)合博士學(xué)位，香港城市大學(xué)博士后。主要研究方向為操作系統(tǒng)、存儲系統(tǒng)和分布式系統(tǒng)。研究工作獲得多項國家自然科學(xué)基金、上海市科技項目、企業(yè)合作項目的資助，研究成果發(fā)表在包括FAST、ATC、MICRO、DAC、TC、TCAD等系統(tǒng)結(jié)構(gòu)領(lǐng)域的國際會議和期刊，并獲得NVMSA 2015最佳論文獎、最佳論文提名獎、華為上研所2020年和2021年優(yōu)秀技術(shù)成果獎。擔(dān)任DAC、CODES、ASPDAC、NVMSA等國際會議的評審委員會委員。在嵌入式領(lǐng)域國際頂級會議連續(xù)多年組織存儲與內(nèi)存計算國際研討會議。2013年來，連續(xù)9年講授《操作系統(tǒng)》課程。
4.12 題目：面向異構(gòu)內(nèi)存的可靠管理關(guān)鍵技術(shù)研究
項目摘要：為了滿足日益增長的內(nèi)存容量需求，內(nèi)存生產(chǎn)技術(shù)和內(nèi)存生產(chǎn)工藝獲得快速發(fā)展，但同時也帶來內(nèi)存出錯率的大大提升。同時由于不同廠商的成產(chǎn)工藝差異，不同廠商生產(chǎn)的DRAM芯片導(dǎo)致的系統(tǒng)出錯概率存在巨大差異。內(nèi)存錯誤，尤其是不可更改錯誤的產(chǎn)生（ error, UCE）嚴重影響系統(tǒng)的可靠性。為了在提高系統(tǒng)可靠性同時保證系統(tǒng)性能。異構(gòu)內(nèi)存架構(gòu)已被廣泛應(yīng)用于服務(wù)器、數(shù) 據(jù)中心等大型計算平臺當中。異構(gòu)內(nèi)存中往往同時包含性能較低但可靠性高的內(nèi)存介質(zhì)，和性能較高但可靠性低內(nèi)存介質(zhì)。本研究針對此異構(gòu)內(nèi)存架構(gòu)擬，通過靜態(tài)分析與動態(tài)運行時內(nèi)存管理相結(jié)合的手段設(shè)計高效可靠的內(nèi)存管理機制，合理利用不同內(nèi)存介質(zhì)，在實現(xiàn)系統(tǒng)可靠性的同時，保證系統(tǒng)的運行效率。
個人簡介：張偉，山東大學(xué)副研究員，2021年畢業(yè)于香港理工大學(xué)計算機系，獲博士學(xué)位。主要研究方向包括實時嵌入式系統(tǒng)設(shè)計、分析、與優(yōu)化以及面向無源物聯(lián)網(wǎng)的操作系統(tǒng)設(shè)計。先后擔(dān)任多個國際會議程序委員會成員，近五年以第一作者發(fā)表包括DAC、RTAS、EMSOFT、TCAD在內(nèi)的CCF-A/B類會議期刊論文數(shù)十篇。CCF系統(tǒng)軟件專委、嵌入式專委委員。曾參與華為LiteOS-內(nèi)核的設(shè)計與開發(fā)工作。承擔(dān)面向航天領(lǐng)域的國產(chǎn)實時操作系統(tǒng)可靠性分析等項目。