LLVM

Known as: .ll, LLVM Intermediate Representation, Low level virtual machine 
The LLVM compiler infrastructure project (formerly Low Level Virtual Machine) is a "collection of modular and reusable compiler and toolchain… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1977-2017
05010019772017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A central concern for an optimizing compiler is the design of its intermediate representation (IR) for code. The IR should make… (More)
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2015
2015
Dynamic, interpreted languages, like Python, are attractive for domain-experts and scientists experimenting with new ideas… (More)
  • table 1
Is this relevant?
Highly Cited
2014
Highly Cited
2014
Constraining dynamic control transfers is a common technique for mitigating software vulnerabilities. This defense has been… (More)
  • figure 1
  • table 1
  • table 2
  • table 5
  • table 3
Is this relevant?
Highly Cited
2012
Highly Cited
2012
This paper presents Vellvm (verified LLVM), a framework for reasoning about programs expressed in LLVM's intermediate… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 8
  • figure 9
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Various powerful polyhedral techniques exist to optimize computation intensive programs effectively. Applying these techniques on… (More)
  • figure 1
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2011
Highly Cited
2011
We present Emscripten, a compiler from LLVM (Low Level Virtual Machine) assembly to JavaScript. This opens up two avenues for… (More)
Is this relevant?
2011
2011
We updated our Peggy tool, previously presented in [7], to perform translation validation for the LLVM compiler using a technique… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper describes LLVM (Low Level Virtual Machine),a compiler framework designed to support transparent, lifelongprogram… (More)
  • figure 4
  • table 1
  • table 2
  • figure 5
Is this relevant?
2002
2002
This document introduces the LLVM compiler infrastructure and instruction set, a simple approach that enables sophisticated code… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?