BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium : EMI Testing: Finding 1000+ Bugs in GCC and LLVM in
  3 Years
DTSTART:20161006T161500
DTEND:20161006T173000
DTSTAMP:20260407T183903Z
UID:a818808d3968fc4429bd2ff5cb95cbdbe77a75106a1ae3df39f2feae
CATEGORIES:Conferences - Seminars
DESCRIPTION:By : Zhendong Su - UC Davis\n\nVideo of his talk\n\nAbstract :
 \nIn this talk\, I will describe equivalence modulo inputs (EMI)\, a gener
 al methodology for validating optimizing compilers. The key insight is to 
 exploit the close interplay between (1) dynamically executing a program on
  some test input and (2) statically compiling the program to work on all p
 ossible input. Indeed\, the test input induces a natural collection of the
  original program's EMI variants\, which help test any compiler and specif
 ically target the difficult-to-find miscompilations. We have developed a s
 eries of gradually sophisticated techniques to generate EMI variants by (1
 ) profiling a program's test executions\, and (2) stochastically deleting/
 inserting/mutating code. Our extensive testing to date has led to 1000+ co
 nfirmed bug reports for GCC and LLVM alone\, of which 600+ have already be
 en fixed. The EMI concept is widely applicable --- beyond testing compiler
 s\, it can be adapted to validate program transformations and analyses\, a
 nd software in general.\n\nBio :\nZhendong Su is a Professor and Chancello
 r's Fellow at UC Davis. He received his PhD in Computer Science from UC Be
 rkeley.  His research focuses on developing methodologies\, practical tec
 hniques and tools for improving software quality and programming productiv
 ity. His work has been recognized with an EAPLS Best Paper Award\, multipl
 e ACM SIGSOFT Distinguished Paper Awards\, an OOPSLA Best Paper Award\, a 
 PLDI Distinguished Paper Award\, an NSF CAREER Award\, a UC Davis College 
 of Engineering Outstanding Faculty Award\, an IBM Software Quality Innovat
 ion Award\, a Microsoft SEIF Award\, and a Google Faculty Award. He has se
 rved as an Associate Editor for ACM TOSEM\, co-chaired the 2009 Static Ana
 lysis Symposium\, was the program chair of the 2012 International Symposiu
 m on Software Testing and Analysis\, and is program co-chair for the 2016 
 International Symposium on the Foundations of Software Engineering.\n\nMor
 e information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR