Title: Reasoning about Network Property at Producation Scale

報告人：翟恩南

邀請人：金   鑫

時   間：2023年03月02日13:00-14:00

主辦方：beat365官方网站

地   點：理科1号樓1126

報告摘要（Abstract）

作為全球最大的雲提供商之一，阿裡雲為全球超過10億用戶提供了高質量的服務。随着每年規模的飛速增長，阿裡雲基礎設施網絡面臨來自性能、可靠性等多方面的挑戰。本次報告首先為大家介紹阿裡雲基礎設施網絡的現狀、面臨的挑戰，以及應對的核心技術解決方案 —— 截止 2019-2022 期間，這些核心技術在 SIGCOMM 上共發表成果 16 篇。接下來，本次報告詳細介紹網絡驗證這一核心技術，該技術主要保障阿裡雲基礎設施全球網絡的可靠性（該工作發表多篇 SIGCOMM）。

報告人（Bio）

翟恩南，阿裡雲資深技術專家，網絡研究團隊負責人。2015 年于耶魯大學計算機系獲博士學位，随後擔任耶魯大學研究型助理教授兼講師，2018 年加入阿裡巴巴。研究領域包括計算機網絡、分布式系統安全、程序驗證等，先後在這些方向的國際頂級會議如 SIGCOMM、OSDI、NSDI、VLDB 和 OOPSLA 累計發表 30+ 篇論文。擔任 SIGCOMM、NSDI、ACM SoCC 等國際頂級會議程序委員會委員。