Compiler Validation via Equivalence Modulo Inputs is coming at 03/05/2018 - 9:00am
KEC 1007 Mon, 03/05/2018 - 9:00am Chengnian Sun Software Engineer, Google Abstract: Compilers are among the most important system software. Its correctness is crucial to everyone’s daily life, directly or indirectly. In this talk, I present our continuous effort 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 describe two different state-of-the-art techniques to realize EMI, i.e., Athena and Hermes. I will also discuss the applications of these techniques to test other components of compilers, e.g warning diagnostics and link-time optimizers. Within over three years, we have reported ~1489 bugs in GCC and LLVM, of which ~930 are already fixed by developers. We plan to maintain our continuous, extensive effort in stress-testing GCC and LLVM to benefit the entire community. Bio: Read more: http://eecs.oregonstate.edu/colloquium/compiler-validation-equivalence-m... [1] [1] http://eecs.oregonstate.edu/colloquium/compiler-validation-equivalence-modulo-inputs
_______________________________________________ Colloquium mailing list Colloquium@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/colloquium
