阿里云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巨擘解析标准的验证，为云上客户供应了实正在有力的宁静性保护。

举动今日头条青云准备、百家号百+准备得回者，2019百度数码年度作家、百家号科技规模最具人气作家、2019搜狗科技文明作家、2021百家号季度影响力创作家，曾荣获2013搜狐最佳行业媒体人、2015中邦新媒体创业大赛北京赛季军、 2015年度光泽体验大奖、2015中邦新媒体创业大赛总决赛季军、2018百度动态年度能力红人等诸众大奖。