• LLVM

  • Referenced in 88 articles [sw04892]
  • LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Despite ... name, LLVM has little to do with traditional virtual machines, though it does provide helpful ... compilation of arbitrary programming languages. Since then, LLVM has grown to be an umbrella project...
  • Numba

  • Referenced in 57 articles [sw21554]
  • Numba: a LLVM-based Python JIT compiler. Numba gives you the power to speed ... generating optimized machine code using the LLVM compiler infrastructure at import time, runtime, or statically...
  • UFO

  • Referenced in 23 articles [sw09570]
  • framework is built on top of the LLVM compiler infrastructure and is targeted at researchers...
  • LLBMC

  • Referenced in 16 articles [sw09478]
  • bounded model checking of C programs using LLVM . (Competition contribution). LLBMC is a tool...
  • SMACK

  • Referenced in 9 articles [sw23311]
  • hood, SMACK is a translator from the LLVM compiler’s popular intermediate representation (IR) into ... Boogie intermediate verification language (IVL). Sourcing LLVM IR exploits an increasing number of compiler front...
  • Vellvm

  • Referenced in 6 articles [sw13286]
  • Formalizing the LLVM intermediate representation for verified program transformations. This paper presents Vellvm (verified LLVM ... framework for reasoning about programs expressed in LLVM’s intermediate representation and transformations that operate ... Vellvm provides a mechanized formal semantics of LLVM’s intermediate representation, its type system ... formal semantics that can execute programs from LLVM test suite and thus be compared against...
  • ScaffCC

  • Referenced in 10 articles [sw21654]
  • programing language. It is written using the LLVM open-source infrastructure...
  • Geppetto

  • Referenced in 10 articles [sw31791]
  • fledged, scalable compiler and runtime that consume LLVM code generated from a variety of source...
  • PAGAI

  • Referenced in 8 articles [sw13095]
  • static analyzer working over the LLVM compiler infrastructure, which computes inductive invariants on the numerical...
  • RllvmCompile

  • Referenced in 3 articles [sw14511]
  • RLLVMCompile: A simple LLVM-based compiler for R code. RLLVMCompile is an experimental R compiler ... that uses LLVM through RLLVM, currently being developed by Duncan Temple Lang. The goal ... translate R-like code to LLVM instructions, create those instructions using the Rllvm package ... strengths of LLVM is that it embeddable and extensible and provides a user-level...
  • SymDIVINE

  • Referenced in 3 articles [sw26690]
  • programs. It builds upon LLVM compiler infrastructure, hence, it uses LLVM IR as an input...
  • Rllvm

  • Referenced in 2 articles [sw14510]
  • RLLVM is an R interface to LLVM. This interface allows one to create compiled code ... from within R through LLVM’s intermediate representation (IR), which LLVM can then extensively...
  • LORAIN

  • Referenced in 2 articles [sw16339]
  • Optimistic Simulation System (ROSS) coupled with the LLVM compiler to generate the reverse event handler ... work is that LORAIN operates on the LLVM-generated Intermediate Representation (IR) as opposed...
  • Ocelot

  • Referenced in 3 articles [sw09713]
  • that leverages the Low Level Virtual Machine (LLVM) code generator to target x86 and other...
  • Gajit

  • Referenced in 3 articles [sw32630]
  • symbolically with GAALOP [2] and via the LLVM pipeline with Numba [3] resulting in highly...
  • Crab-llvm

  • Referenced in 1 article [sw28168]
  • Crab-llvm is a static analyzer that computes inductive invariants for LLVM-based languages based ... Crab library. It currently supports LLVM 3.8 but there is an experimental branch dev-llvm ... that works for LLVM...
  • Crellvm

  • Referenced in 1 article [sw40304]
  • Crellvm: verified credible compilation for LLVM. Production compilers such as GCC and LLVM are large ... Crellvm: a verified credible compilation framework for LLVM, which can be used as a systematic ... level of reliability for major optimizations in LLVM. Specifically, we augment an LLVM optimizer ... approach to two major optimizations of LLVM: register promotion mem2reg and global value numbering...
  • Skink

  • Referenced in 1 article [sw28628]
  • Skink: Static Analysis of Programs in LLVM Intermediate Representation. Skink is a static analysis tool ... that analyses the LLVM intermediate representation (LLVM-IR) of a program source code. The analysis ... reach a designated error block in the LLVM-IR. The result of a program analysis...
  • LCTD

  • Referenced in 1 article [sw17728]
  • test-guided proofs for C programs on LLVM. Recently there has been much interest ... verification of C programs compiled on the LLVM compiler framework. Our implementation is an extension ... Dash} for instructions of the LLVM internal representation. Our construction handles pointers and array indexing.par...