John Regehr and his students have done impressively deep work in finding compiler bugs.
• https://blog.regehr.org/archives/category/compilers
• https://blog.regehr.org/ (some of his compiler-related posts aren't properly tagged)
• [PDF] https://users.cs.utah.edu/~regehr/papers/pldi11-preprint.pdf Finding and Understanding Bugs in C Compilers (edit I see someone else already posted this paper)
• A (very) little discussion: https://news.ycombinator.com/item?id=7728035
John Regehr and his students have done impressively deep work in finding compiler bugs.
• https://blog.regehr.org/archives/category/compilers
• https://blog.regehr.org/ (some of his compiler-related posts aren't properly tagged)
• [PDF] https://users.cs.utah.edu/~regehr/papers/pldi11-preprint.pdf Finding and Understanding Bugs in C Compilers (edit I see someone else already posted this paper)
• A (very) little discussion: https://news.ycombinator.com/item?id=7728035