Computer Science

CS PhD students Vu Le and Mehrdad Afshari and Prof. Zhendong Su won a SIGPLAN Distinguished Paper Award at PLDI 2014 for their paper “Compiler Validation via Equivalence Modulo Inputs”

PLDI is the flagship conference of ACM SIGPLAN, the special ACM interest group that focuses on programming languages. The work has led to the discovery of hundreds of bugs in GCC and LLVM, the two most widely used C compilers.