计算机学院系列讲座菁英论坛第46期—Software Reliability in Emerging Cloud Computing Paradigms
报告题目(Title):Software Reliability in Emerging Cloud Computing Paradigms
时间(Date & Time):2025.08.05; 10:00-11:00am
地点(Location):理科一号楼1131(燕园校区)Room 1131, Science Building #1 (Yanyuan)
主讲人(Speaker):Tianyin Xu
邀请人(Host):Diyu Zhou(周迪宇)
报告摘要(Abstract):
Cloud system reliability has been a grand challenge in the past decade due to prevalent, inevitable hardware faults, software bugs, and misconfigurations. Emerging computing paradigms such as microservices and serverless computing further expand reliability challenges by significantly increasing the complexity of system interactions and dependencies, with new failure domains. In this talk, I will present our work on improving the reliability of cloud infrastructure systems such as Kubernetes and cloud-native applications running atop them via software testing, model checking, and formal verification. Specifically, I will present push-button testing techniques for systematically checking safety and liveness properties of existing system components and discuss the promises of building new components with verified correctness properties towards a vision of truly reliable cloud infrastructures and systems.
主讲人简介(Bio):

Tianyin Xu is an Assistant Professor of Computer Science at the University of Illinois Urbana-Champaign (UIUC). His research focuses on building reliable computer systems that empower next-generation cloud and datacenter computing. He has been on the UIUC List of Teachers Ranked as Excellent for nine times. His work received two OSDI Jay Lepreau Best Paper Awards, two ASPLOS Best Paper Awards, two SIGSOFT Distinguished Paper Awards, a Gilles Muller Best Artifact Award, a CACM Research Highlight, and a ICML Spotlight. He is also a recipient of the C.W. Gear Outstanding Junior Faculty Award, a Dean's Award for Excellence in Research, NSF CAREER Award, an Intel Rising Star Faculty Award, and a Facebook Distributed Systems Research Award.

欢迎关注计算机学院微信公众号,了解更多讲座信息!
北京大学计算机学院
