Finding and Understanding Bugs in C Compilers (2011) [pdf]