Lee, J., Hur, C.-K., Jung, R., Liu, Z., Regehr, J., & Lopes, N. P. (2018). Reconciling High-Level Optimizations and Low-Level Code in LLVM. Proceedings of the ACM on Programming Languages, 2: 2. doi:10.1145/3276495.