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. http://dx.doi.org/10.1145/2594291.2594334