菁英论坛丨Reasoning about Network Property at Producation Scale-翟恩南

Title: Reasoning about Network Property at Producation Scale

 

 

报告人:翟恩南

邀请人:金  

   间:2023030213:00-14:00

主办方:最热门的网赌网址大全

   点:理科1号楼1126

 

 

报告摘要(Abstract

 

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

 

报告人(Bio

 

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