• LLBMC

  • Referenced in 16 articles [sw09478]
  • that it operates on a compiler intermediate representation and not directly on the source code...
  • SUIF

  • Referenced in 27 articles [sw08807]
  • compiler passes built on top of the kernel. The kernel defines the intermediate representation, provides ... manipulate the intermediate representation, and structures the interface between compiler passes. The toolkit currently includes...
  • SMACK

  • Referenced in 9 articles [sw23311]
  • translator from the LLVM compiler’s popular intermediate representation (IR) into the Boogie intermediate verification ... LLVM IR exploits an increasing number of compiler front-ends, optimizations, and analyses. Targeting Boogie...
  • CIL

  • Referenced in 36 articles [sw26691]
  • describes the C Intermediate Language: a highlevel representation along with a set of tools that ... level than typical intermediate languages (e.g., three-address code) designed for compilation. As a result ... what we have is a representation that makes it easy to analyze and manipulate...
  • Cyclone

  • Referenced in 28 articles [sw09693]
  • code motion, are applied to templates at compile time. This paper describes a principled approach ... particular, we generalize standard flowgraph intermediate representations to support templates, define a mapping from...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • extended timed automata. In particular, this representation allowed us to study the semantics of real ... contains dedicated tools on the intermediate language (such as compilers, static analysers and model-checkers ... static nature of the intermediate representation prevents the analysis of dynamic systems. More exactly, primitive...
  • ROSE

  • Referenced in 4 articles [sw04891]
  • source-to-source compiler infrastructure. The intermediate representation (IR) used in ROSE is high level...
  • Soot

  • Referenced in 29 articles [sw09122]
  • manipulate; Jimple, a typed 3-address intermediate representation suitable for optimization; and Grimp, an aggregated ... each representation, and the salient points in translating from one representation to another.In order ... when run using the JIT compiler...
  • InterAspect

  • Referenced in 2 articles [sw13024]
  • instrumentation by transforming the compiler’s intermediate representation. Such transformations, however, require expert knowledge...
  • LusSy

  • Referenced in 5 articles [sw14918]
  • compiler front-end, it is able to deal with general SystemC designs. The intermediate representation...
  • Rllvm

  • Referenced in 2 articles [sw14510]
  • create compiled code from within R through LLVM’s intermediate representation (IR), which LLVM...
  • CANAL

  • Referenced in 1 article [sw28166]
  • program by transforming its intermediate representation in the LLVM compiler. CANAL inserts auxiliary variables...
  • DLVM

  • Referenced in 1 article [sw22105]
  • implementation of a compiler infrastructure with a linear algebra intermediate representation, algorithmic differentiation by adjoint ... modern compiler IR inspired by LLVM and the Swift Intermediate Language, DLVM IR is more...
  • libFIRM

  • Referenced in 0 articles [sw31100]
  • libFIRM. A library for compiler optimization research implementing FIRM. libFirm ... library that provides a graph-based intermediate representation, optimizations, and assembly code generation suitable ... compilers. Features: Completely graph-based, source- and target-independent intermediate representation in SSA form; Accompanying...
  • VCODE

  • Referenced in 8 articles [sw09697]
  • need to construct and consume an intermediate representation at runtime makes VCODE both efficient ... generation is relatively well known within the compiler community. However, due in large part...
  • LORAIN

  • Referenced in 2 articles [sw16339]
  • Simulation System (ROSS) coupled with the LLVM compiler to generate the reverse event handler ... LORAIN operates on the LLVM-generated Intermediate Representation (IR) as opposed to the model, high...
  • MISTIQS

  • Referenced in 1 article [sw38553]
  • high-level programming functionality for generating intermediate representations of quantum circuits which can be translated ... industry-standard representations. Furthermore, it offers a selection of circuit compilation and optimization methods...
  • Q*cert

  • Referenced in 1 article [sw28675]
  • specification, verification, and implementation of query compilers written using the Coq proof assistant ... internally relies on familiar database intermediate representations, notably the nested relational algebra and calculus ... platform can be used to implement a compiler for a new input language or develop...
  • XOgastan

  • Referenced in 1 article [sw13102]
  • external, already available, components such as compilers that output the abstract syntax tree, or make ... gcc/g++ ability to save a representation of the intermediate abstract syntax tree into a file...
  • PyLog

  • Referenced in 1 article [sw41595]
  • PyLog is powered by a set of compiler optimization passes and a type inference system ... takes in Python functions, generates PyLog intermediate representation (PyLog IR), performs several optimization passes, including...