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

Volume: 2, Issue: OOPSLA, Pages: 1 - 28
Published: Oct 24, 2018
Abstract
LLVM miscompiles certain programs in C, C++, and Rust that use low-level language features such as raw pointers in Rust or conversion between integers and pointers in C or C++. The problem is that it is difficult for the compiler to implement aggressive, high-level memory optimizations while also respecting the guarantees made by the programming languages to low-level programs. A deeper problem is that the memory model for LLVM's intermediate...
Paper Details
Title
Reconciling high-level optimizations and low-level code in LLVM
Published Date
Oct 24, 2018
Volume
2
Issue
OOPSLA
Pages
1 - 28
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.