阿里雲DNS形式化驗證論文入選國際計算機系統頂級會議SOSP’23
近日,阿里雲和北京大學合作的論文《Automated Verification of an In-Production DNS Authoritative Engine》(DNS 產品級解析服務的自動化驗證)被國際計算機系統頂級會議SOSP 2023主會收錄。論文提出的形式化驗證技術,對阿里雲基礎設施網路的DNS權威解析服務進行嚴格檢查,保證其無程式碼bug、正確穩定執行,這也是世界上第一個針對工業界產品級 DNS 權威解析進行的程式碼驗證技術,屬業界首創。
SOSP,全稱ACM Symposium on Operating Systems Principles,是ACM組織在計算機系統領域的旗艦型會議,也是目前國際計算機系統領域的頂級會議。SOSP頂會對論文的質量和數量要求極高,每年只錄用30-40篇左右正式會議論文,通常錄取率約19%(今年錄取率是 18.78%),要求投稿方具有基礎性貢獻、領導性影響和堅實的系統背景。
阿里雲入選論文主要介紹了雲基礎設施網路自研DNS權威解析的形式化驗證工作,該工作對於提升阿里雲DNS產品穩定性、正確性具有重要意義。DNS全稱Domain Name System,即域名解析系統。它將使用者輸入的網址(例如:)翻譯為網路裝置可以讀懂的地址(例如:1.2.3.4),從而引導使用者連線到正確的網路伺服器。DNS系統的正確性和穩定性,是網路可否成功服務廣大網際網路使用者的先決條件。
針對解析程式,傳統的測試技術只能保證測試用例部分正確性,並不能完整的、無死角的確保程式沒有 bug,阿里雲形式化驗證工作則實現了無死角發現程式中全部bug,並降低了對人工輔助的大量依賴,目前,該驗證技術在業界已首次實際應用於規模化部署的產品程式碼程式中,並高效完成了2000多行程式碼的DNS權威解析程式的驗證,為雲上客戶提供了真實有力的穩定性保障。
論文連結參考:
原文作者:廠商稿;連結:http://blog.itpub.net/29568843/viewspace-2991754/,如需轉載,請註明出處,否則將追究法律責任。
相關文章
- 讓機器會說更生動的句子,阿里巴巴論文入選計算機視覺頂級會議阿里計算機視覺
- 國際人工智慧頂級會議人工智慧
- 騰訊AI Lab多篇論文入選CVPR、ACL及ICML等頂級會議(附論文下載)AI
- 京東智聯雲4篇論文入選國際語音頂級大會Interspeech 2020
- 京東科技集團21篇論文高票入選國際頂會AAAI 2021AI
- 三篇論文入選國際頂會SIGMOD,厲害了騰訊雲資料庫資料庫
- 全球計算機視覺頂會CVPR 2019論文出爐:騰訊優圖25篇論文入選計算機視覺
- SOSP:計算機系統研究的風向標計算機
- 最快69秒逆向DRAM地址對映,百度安全論文入選國際電子設計頂會DAC
- 騰訊AI八篇論文入選頂級醫學影像會議MICCAI ,涉及病理癌症影像分類等AI
- 計算機會議排名等級計算機
- 論文資源: CVPR、ICCV、ECCV、IJCAI等計算機視覺、影像處理頂會頂刊歷年論文連結AI計算機視覺
- 國際頂會OSDI首度收錄淘寶系統論文,端雲協同智慧獲大會主旨演講推薦
- 騰訊AI Lab 3篇蛋白質組論文入選國際頂級期刊,為闡釋生命提供重要技術參考AI
- 又一創新!阿里雲 Serverless 排程論文被雲端計算頂會 ACM SoCC 收錄阿里ServerACM
- 17篇論文入選視覺領域權威頂會CVPR 百度大腦AI實力享譽國際視覺AI
- 人工智慧頂級會議論文彙總(全文下載 | 報告視訊)人工智慧
- 中國計算機學會推薦國際學術會議和期刊目錄——軟體工程/系統軟體/程式設計語言計算機軟體工程程式設計
- 計算機經典論文計算機
- 檢測技術接連發現35個蘋果系統漏洞 阿里安全研究論文被國際頂會收錄蘋果阿里
- 首提跨模態程式碼匹配演算法,騰訊安全科恩實驗室論文入選國際AI頂會NeurIPS-2020演算法AI
- 精選|CIKM 2016會議論文選讀
- 計算機語言學國際大會COLING 2018公佈9篇最佳論文計算機
- 國內首篇雲廠商 Serverless 論文入選全球頂會:突發流量下,如何加速容器啟動?Server
- 計算機資訊系統國際聯網保密管理規定 (轉)計算機
- 計算機作業系統|作業系統引論計算機作業系統
- 阿里雲人工智慧平臺PAI多篇論文入選EMNLP 2023阿里人工智慧AI
- 創歷屆最好成績 阿里雲6篇論文入選全球網路頂會SIGCOMM2022阿里GC
- 計算機論文查詢網站計算機網站
- 計算機系統3-> 現代計算機基石 | 圖靈機理論計算機圖靈
- 計算機網路驗證性實驗計算機網路
- 計算機架構頂會ISCA 2018唯一中國論文:清華大學提出AI計算晶片的儲存優化新方法計算機架構AI晶片優化
- 騰訊Turing Lab論文入選ICASSP,影像AI研究成果獲國際認可AI
- 資料庫行業頂級會議資料庫行業
- 20篇頂級深度學習論文(附連結)深度學習
- 阿里雲資料庫自研產品亮相國際頂級會議ICDE 推動雲原生資料庫成為行業標準阿里資料庫行業
- 阿里安全在國際頂會分享蘋果系統核心防禦增強機制 保護使用者系統安全阿里蘋果
- 分享|破世界紀錄的OceanBase,如今入選了國際頂會VLDB 2022