UT Dallas Computer Science Colloquium Series Presents
Software Engineer at Google
“Compiler Validation via Equivalence Modulo Inputs”
As an integral component of the foundation of our digital world, compilers are among the most important system software. Thus their correctness is crucial to everyone’s daily life, directly or indirectly. In this talk, I present our continuous efforts on validating optimizing compilers with equivalence modulo inputs (EMI), a general and effective methodology to generate equivalent programs from existing valid programs. Specifically, I will present two different state-of-the-art techniques to realize EMI, i.e., Athena and Hermes. In the past three years, these techniques have helped us find ~1500 new, real bugs in GCC and LLVM, of which ~1000 are already fixed by the compiler developers. In the future, I plan to maintain this continuous, extensive effort in stress-testing production compilers, and generalize our testing experience and techniques to testing a more general scope of software.
Chengnian Sun is currently a software engineer at Google, working on large-scale static analyses and Java/Android compiler toolchain. Prior to Google, he was a postdoctoral fellow at Department of Computer Science, University of California, Davis, USA. He obtained his Ph.D. from the National University of Singapore in 2013. His research interests include software testing, software debugging, and software analytics. Currently, he is intrigued by and focusing on designing effective techniques to test various aspects of optimizing compilers, which have helped detect hundreds of bugs in GCC and LLVM, two widely used production compilers.
Date: Friday, March 9, 2018
Time: 11:00am to 12:00pm
Location: ECSS 4.910
Refreshments will be served at 10:45 am.