當(dāng)前位置:首頁(yè) > 廠(chǎng)商動(dòng)態(tài) > 阿里云
[導(dǎo)讀]6月21日,數(shù)據(jù)庫(kù)國(guó)際頂級(jí)學(xué)術(shù)會(huì)議SIGMOD在美國(guó)西雅圖舉行,阿里云與浙江大學(xué)關(guān)于數(shù)據(jù)庫(kù)漏洞檢測(cè)新方法的論文,榮獲2023年最佳論文獎(jiǎng)。這一新方法較以往方案提速近100倍,被審稿人評(píng)價(jià)為漏洞檢測(cè)新范式。這也是SIGMOD會(huì)議舉辦以來(lái),第一次由中國(guó)大陸研究團(tuán)隊(duì)摘得最佳論文獎(jiǎng)。

6月21日,數(shù)據(jù)庫(kù)國(guó)際頂級(jí)學(xué)術(shù)會(huì)議SIGMOD在美國(guó)西雅圖舉行,阿里云與浙江大學(xué)關(guān)于數(shù)據(jù)庫(kù)漏洞檢測(cè)新方法的論文,榮獲2023年最佳論文獎(jiǎng)。這一新方法較以往方案提速近100倍,被審稿人評(píng)價(jià)為漏洞檢測(cè)新范式。這也是SIGMOD會(huì)議舉辦以來(lái),第一次由中國(guó)大陸研究團(tuán)隊(duì)摘得最佳論文獎(jiǎng)。

圖說(shuō): 2023 SIGMOD最佳論文獎(jiǎng)宣布現(xiàn)場(chǎng)

芯片、操作系統(tǒng)與數(shù)據(jù)庫(kù),是信息時(shí)代的三大核心基礎(chǔ)技術(shù)。聚焦于數(shù)據(jù)庫(kù)前沿技術(shù)的SIGMOD會(huì)議始辦于1975年,是信息科學(xué)歷史最悠久的學(xué)術(shù)會(huì)議之一,也是含金量最高的數(shù)據(jù)庫(kù)全球頂會(huì),吸引了MIT、清華、浙大、卡內(nèi)基梅隆大學(xué)、新加坡國(guó)立大學(xué)等高校以及谷歌、微軟、AWS、阿里云、華為等科技公司參加。每年,SIGMOD組委會(huì)從入選的研究論文中評(píng)出1~2篇最佳論文,代表了該年度最具創(chuàng)新性及影響力的科研成果,成為數(shù)據(jù)庫(kù)發(fā)展的風(fēng)向標(biāo)。

圖說(shuō):阿里云與浙大成果榮獲2023 SIGMOD最佳論文獎(jiǎng)

2023年,SIGMOD僅收錄190篇論文,由浙江大學(xué)與阿里云共同完成的《在數(shù)據(jù)庫(kù)管理系統(tǒng)的連接優(yōu)化器中檢測(cè)邏輯漏洞》成果脫穎而出,斬獲2023 SIGMOD最佳論文獎(jiǎng),實(shí)現(xiàn)了中國(guó)大陸研究團(tuán)隊(duì)在數(shù)據(jù)庫(kù)國(guó)際頂會(huì)的歷史性突破。SIGMOD審稿人評(píng)議認(rèn)為,該工作巧妙、高效地解決了現(xiàn)代數(shù)據(jù)庫(kù)的關(guān)鍵問(wèn)題,即檢測(cè)出復(fù)雜邏輯漏洞,并在業(yè)界領(lǐng)先的商業(yè)數(shù)據(jù)庫(kù)中證明了其能力。

據(jù)了解,數(shù)據(jù)庫(kù)的崩潰通常由漏洞引發(fā),而其中的邏輯漏洞極難檢測(cè),素有數(shù)據(jù)庫(kù)“隱形殺手”之稱(chēng),重則導(dǎo)致“上萬(wàn)航班延誤癱瘓”級(jí)別的大規(guī)模宕機(jī)。面對(duì)這一技術(shù)難題,浙大與阿里云研究團(tuán)隊(duì)提出了一種名為T(mén)QS(轉(zhuǎn)換查詢(xún)合成)的新方案,通過(guò)引入機(jī)器學(xué)習(xí)等方法,創(chuàng)造性地解決了執(zhí)行實(shí)現(xiàn)的正確性驗(yàn)證難題,以極小的計(jì)算代價(jià)自動(dòng)探索更大檢測(cè)空間,最終實(shí)現(xiàn)更完備的檢測(cè)覆蓋。

研究團(tuán)隊(duì)使用TQS方法在MySQL、PolarDB等4個(gè)數(shù)據(jù)庫(kù)中進(jìn)行實(shí)驗(yàn),運(yùn)行僅24小時(shí)就檢出115個(gè)嚴(yán)重及以上等級(jí)的邏輯漏洞,比原有方案提速近100倍,成效十分顯著。這些數(shù)據(jù)庫(kù)漏洞提報(bào)給相關(guān)社區(qū)后均被修復(fù)。

論文一作、浙江大學(xué)博士唐秀介紹稱(chēng),在阿里云進(jìn)行研究型實(shí)習(xí)期間,她與聯(lián)合團(tuán)隊(duì)一起完成了課題攻堅(jiān):“當(dāng)時(shí)阿里云團(tuán)隊(duì)正進(jìn)行PolarDB內(nèi)核測(cè)試,提出了如何更好檢測(cè)邏輯漏洞的問(wèn)題,這是我們研究的起點(diǎn)。此后兩年,我們嘗試了多種解決方案,并最終在商業(yè)數(shù)據(jù)庫(kù)系統(tǒng)的真實(shí)場(chǎng)景中驗(yàn)證了TQS方法的有效性?!?

依托于阿里巴巴-浙江大學(xué)前沿技術(shù)聯(lián)合研究中心,阿里云數(shù)據(jù)庫(kù)團(tuán)隊(duì)與浙江大學(xué)師生,完成了從實(shí)踐中提出問(wèn)題、由校企聯(lián)合攻關(guān)、成果落地產(chǎn)業(yè)界的科研新探索。據(jù)介紹,TQS新方法已率先應(yīng)用在阿里云瑤池?cái)?shù)據(jù)庫(kù)中,進(jìn)一步提升了PolarDB等數(shù)據(jù)庫(kù)的穩(wěn)定性。

圖說(shuō):SIGMOD最佳論文獎(jiǎng)首次頒給中國(guó)大陸研究團(tuán)隊(duì)

Gartner《2022年度全球云數(shù)據(jù)庫(kù)管理系統(tǒng)魔力象限報(bào)告》顯示,阿里云是國(guó)內(nèi)唯一位居“領(lǐng)導(dǎo)者”象限的科技公司,且已連續(xù)第三年入選。截至目前,2023年度阿里云數(shù)據(jù)庫(kù)團(tuán)隊(duì)共有23篇論文被SIGMOD、VLDB、ICDE、OSDI、ASPLOS等國(guó)際頂會(huì)收錄,研究范圍覆蓋云原生、智能化、HTAP、安全可信等數(shù)據(jù)庫(kù)前沿研究方向。

本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀(guān)點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專(zhuān)欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請(qǐng)及時(shí)聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車(chē)的華為或?qū)⒋呱龈蟮莫?dú)角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

倫敦2024年8月29日 /美通社/ -- 英國(guó)汽車(chē)技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車(chē)工程師從創(chuàng)意到認(rèn)證的所有需求的工具,可用于創(chuàng)建軟件定義汽車(chē)。 SODA V工具的開(kāi)發(fā)耗時(shí)1.5...

關(guān)鍵字: 汽車(chē) 人工智能 智能驅(qū)動(dòng) BSP

北京2024年8月28日 /美通社/ -- 越來(lái)越多用戶(hù)希望企業(yè)業(yè)務(wù)能7×24不間斷運(yùn)行,同時(shí)企業(yè)卻面臨越來(lái)越多業(yè)務(wù)中斷的風(fēng)險(xiǎn),如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報(bào)道,騰訊和網(wǎng)易近期正在縮減他們對(duì)日本游戲市場(chǎng)的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)開(kāi)幕式在貴陽(yáng)舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱(chēng),數(shù)字世界的話(huà)語(yǔ)權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機(jī) 衛(wèi)星通信

要點(diǎn): 有效應(yīng)對(duì)環(huán)境變化,經(jīng)營(yíng)業(yè)績(jī)穩(wěn)中有升 落實(shí)提質(zhì)增效舉措,毛利潤(rùn)率延續(xù)升勢(shì) 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長(zhǎng) 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競(jìng)爭(zhēng)力 堅(jiān)持高質(zhì)量發(fā)展策略,塑強(qiáng)核心競(jìng)爭(zhēng)優(yōu)勢(shì)...

關(guān)鍵字: 通信 BSP 電信運(yùn)營(yíng)商 數(shù)字經(jīng)濟(jì)

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺(tái)與中國(guó)電影電視技術(shù)學(xué)會(huì)聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會(huì)上宣布正式成立。 活動(dòng)現(xiàn)場(chǎng) NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長(zhǎng)三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會(huì)上,軟通動(dòng)力信息技術(shù)(集團(tuán))股份有限公司(以下簡(jiǎn)稱(chēng)"軟通動(dòng)力")與長(zhǎng)三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉