Title: Reasoning about Network Property at Producation Scale

报告人：翟恩南

邀请人：金   鑫

时   间：2023年03月02日13:00-14:00

主办方：威尼斯欢乐娱人v3676

地   点：理科1号楼1126

报告摘要（Abstract）

作为全球最大的云提供商之一，阿里云为全球超过10亿用户提供了高质量的服务。随着每年规模的飞速增长，阿里云基础设施网络面临来自性能、可靠性等多方面的挑战。本次报告首先为大家介绍阿里云基础设施网络的现状、面临的挑战，以及应对的核心技术解决方案 —— 截止 2019-2022 期间，这些核心技术在 SIGCOMM 上共发表成果 16 篇。接下来，本次报告详细介绍网络验证这一核心技术，该技术主要保障阿里云基础设施全球网络的可靠性（该工作发表多篇 SIGCOMM）。

报告人（Bio）

翟恩南，阿里云资深技术专家，网络研究团队负责人。2015 年于耶鲁大学计算机系获博士学位，随后担任耶鲁大学研究型助理教授兼讲师，2018 年加入阿里巴巴。研究领域包括计算机网络、分布式系统安全、程序验证等，先后在这些方向的国际顶级会议如 SIGCOMM、OSDI、NSDI、VLDB 和 OOPSLA 累计发表 30+ 篇论文。担任 SIGCOMM、NSDI、ACM SoCC 等国际顶级会议程序委员会委员。