Finding and understanding bugs in C compilers [pdf] (2011)