报告题目：EMI Testing: Finding 1300+ Bugs in GCC and Clang/LLVM

报告人：Zhendong Su，UC Davis

报告简介：

This talk gives an overview of two recently developed general classes of practical techniques for validating compilers ---equivalence modulo input (EMI) testing, and skeletal program enumeration (SPE) --- and a long, extensive effort in applying/adapting them to find and report thousands of bugs across a range of production and research compilers for C/C++ (GCC, Clang/LLVM, ICC, CompCert), Scala, Rust, Go, etc. Both EMI and SPE are widely applicable; beyond compiler testing, they can be adapted to validate program transformations, static analysis and verification tools, and software systems in general.

报告人介绍：

Zhendong Su is a Professor in Computer Science and a Chancellor's Fellow at UC Davis. He received his PhD in Computer Science from UC Berkeley.  His research focuses on developing methodologies, practical techniques and tools for improving software quality and programming productivity. His work has been recognized with best paper awards at major venues (CACM, PLDI, OOPSLA, ICSE, ISSTA, ETAPS, TACAS), an NSF CAREER Award, a UC Davis Outstanding Engineering Faculty Award, and industrial faculty awards (IBM, Microsoft, Google).  He served as an Associate Editor for ACM TOSEM, and program (co-)chaired several major conferences (SAS 2009, ISSTA 2012, FSE 2016).