[CGO'04] LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
[ISSTA'16] Toward Understanding Compiler Bugs in GCC and LLVM
[CGO'17] ThinLTO: scalable and incremental LTO
[PLDI'17] Taming Undefined Behavior in LLVM
[OOPSLA'18] Reconciling High-Level Optimizations and Low-Level Code in LLVM
[arXiv'20] MLIR: A Compiler Infrastructure for the End of Moore’s Law
[PLDI'21] Alive2: Bounded Translation Validation for LLVM
[1971 IBM TR] A Catalog of Optimizing transformations
[PLDI'00] Dynamo: A Transparent Dynamic Optimization System
[SPW'15] The Correctness-Security Gap in Compiler Optimization
[PLAS'17] Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch?
[PLDI'21] Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
[PLDI'11] Finding and Understanding Bugs in C Compilers
[TOPLAS'91] Efficiently Computing Static Single Assignment Form and the Control Dependence Graph