Reconciling high-level optimizations and low-level code in LLVM

Juneyoung Lee, Chung-Kil Hur, Ralf Jung 0002, Zhengyang Liu, John Regehr, Nuno P. Lopes. Reconciling high-level optimizations and low-level code in LLVM. Proceedings of the ACM on Programming Languages, 2(OOPSLA), 2018. [doi]

Abstract

Abstract is missing.