• LibBi

  • Referenced in 14 articles [sw19384]
  • domain-specific language for model specification, then optimises, generates, compiles and runs code...
  • DLVM

  • Referenced in 1 article [sw22105]
  • representation, algorithmic differentiation by adjoint code generation, domain-specific optimizations and a code generator targeting...
  • TTC

  • Referenced in 6 articles [sw15828]
  • source domain-specific parallel compiler. TTC generates optimized parallel C++/CUDA C code that achieves ... implementation generated by external C++ compilers; the results suggest that a domain-specific compiler...
  • AUGEM

  • Referenced in 14 articles [sw17584]
  • framework, AUGEM, which can automatically generate fully optimized assembly code for several dense linear algebra ... from developers. In particular, based on domain-specific knowledge about algorithms of the DLA kernels ... collection of parameterized code templates to formulate a number of commonly occurring instruction sequences within ... code templates and thereby translates them into extremely efficient SSE/AVX instructions. The DLA kernels generated...
  • LMS

  • Referenced in 4 articles [sw19986]
  • combines program generator logic with the generated code in a single program, using only types ... tightly integrate domain-specific abstractions and optimizations into the generation process, with common generic optimizations ... well suited to develop embedded domain-specific languages (DSLs) and has been used to develop ... DSLs for demanding domains such as machine learning, with code generation for heterogeneous platforms including...
  • Slate

  • Referenced in 5 articles [sw31053]
  • this paper, we introduce a domain-specific abstraction within the Firedrake finite element library that ... these hybridization techniques within a code-generating framework. The resulting framework composes naturally with Firedrake...
  • HPTT

  • Referenced in 4 articles [sw19659]
  • domain-specific compiler for tensor transpositions. Despite the fact that the performance of the generated ... code is nearly optimal, due to its offline nature, TTC cannot be utilized...
  • BER MetaOCaml

  • Referenced in 3 articles [sw09552]
  • such typed code values. It has been used for compiling domain-specific languages and automating ... kernels. By statically ensuring that the generated code compiles and letting us quickly...
  • Spoofax

  • Referenced in 10 articles [sw16988]
  • efficient, agile development of textual domain-specific languages with state-of-the-art IDE support ... generation, meta-programming, and IDE development into a single environment. It uses concise, declarative specifications ... Spoofax and introduce idioms for high-level specifications of language semantics using rewrite rules, showing ... analyses can be reused for transformations, code generation, and editor services such as error marking...
  • Terra

  • Referenced in 3 articles [sw24000]
  • auto-tuners and domain-specific languages, rely on generative programming techniques to achieve high performance ... implemented in multiple disparate languages and perform code generation in a separate process from program...
  • DiSL

  • Referenced in 3 articles [sw06886]
  • give an introduction to DiSL, a domain-specific aspect language and framework for bytecode instrumentation ... abstraction, and efficiency of the generated code. We illustrate the strengths of DiSL with...
  • Cheetah3

  • Referenced in 1 article [sw36149]
  • open source template engine and code-generation tool written in Python. Cheetah can be used ... core, Cheetah is a domain-specific language for markup generation and templating which allows ... full integration with existing Python code but also offers extensions to traditional Python syntax...
  • Usuba

  • Referenced in 1 article [sw40712]
  • domain-specific programming language to write high-throughput and constant-time cryptographic primitives, generating ... level C (+ SIMD intrinsics) code, and based on a generalization of bitslicing that we call...
  • Lynx

  • Referenced in 10 articles [sw13643]
  • allows non-expert users to introduce domain-specific code into modern conflict-driven clause-learning ... Boolean instances. The user writes specialized code for a class of Boolean formulas, which ... user-provided code is allowed to examine partial solutions generated by the solver during...
  • Guardol

  • Referenced in 2 articles [sw28543]
  • Verification System. Guardol is a domain-specific language designed to facilitate the construction of correct ... tree-shaped data. The Guardol system generates Ada code from Guardol programs and also provides...
  • SDSLc

  • Referenced in 1 article [sw39663]
  • describe a domain-specific language for regular stencil computations that allows specification of the computations ... target compiler for this DSL, which generates optimized code for GPUa, FPGAs, and multi-core ... compiler. We evaluate the domain-specific compiler using a number of benchmarks...
  • Ann

  • Referenced in 1 article [sw40960]
  • annotations, we propose a domain-specific modelling language. The proposal has been implemented ... including an editor and an integrated code generator that synthesises annotation processors. The environment also...
  • Meta Model Isabelle

  • Referenced in 1 article [sw28588]
  • machines, ..., and generally speaking, any domain-specific languages whose abstract syntax can be defined ... datatype”. On this basis, the Isabelle code-generator can then be used to generate code...
  • Luck

  • Referenced in 4 articles [sw21716]
  • prone. We propose a domain-specific language in which generators are conveniently expressed by decorating ... annotations to control both the distribution of generated values and the amount of constraint solving ... instantiated. This language, called Luck, makes generators easier to write, read, and maintain.par We give ... complex domains with comparable bug-finding effectiveness and a significant reduction in testing code size...
  • DSLit

  • Referenced in 1 article [sw19038]
  • model-driven approach to generate external DSLs from object-oriented apis. Developers in modern general ... reusable code libraries by encapsulating them in applications programming interfaces (APIs). Domain-specific languages (DSLs ... corresponding DSL by analyzing the API, automatically generating a semantically equivalent DSL with its complete...