内容简介

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.    

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.

时间安排

主办：复旦大学CodeWisdom团队

协办：上海市计算机学会软件工程专委会