报告时间：2022.8.5(星期五)10:00
腾讯会议号：919-572-617
题目：大规模软件系统故障检测和测试
摘要：近年来，大规模软件系统（例如云系统）已经成为了一种新的计算范式，可以高效地为用户提供多种在线服务。因此，大规模软件系统的可靠性至关重要，如何有效地保障大规模软件系统的可靠性得到了学术界和工业界的广泛关注。本报告将从故障检测和测试等重要场景来展现如何有效地提升大规模软件系统的可靠性。
个人简介: 罗川，北京航空航天大学软件学院副教授，于北京大学获得博士学位。主要研究方向为约束优化、软件测试和云计算。在CCF-A类国际顶级期刊和会议（IEEE Transactions on Computers、Artificial Intelligence、ICSE、ESEC/FSE、ASE、AAAI、IJCAI、WWW、NeurIPS）上共发表论文30余篇。所实现的约束求解器于国际求解器竞赛（SAT Challenge、MaxSAT Evaluation）多次获得冠军。所开发的多项技术已成功应用于微软云系统Azure中，有效提升了Azure的性能和可靠性。多次担任CCF-A类国际顶级会议的高级程序委员会成员（Senior PC Member）和程序委员会成员（PC Member）。
