Abstract:Domain-Specific Languages (DSLs) provide the optimum balance between generalization and specialization that is crucial to getting the best performance for a particular domain. DSLs like Halide and GraphIt and their rich scheduling languages allow users to generate an implementation best suited for the algorithm and input. DSLs also provide the right abstraction for generating code for diverse architectures like GPUs, CPUs, and hardware accelerators. DSL compilers are massive, typically spanning tens of thousands of lines of code and need a frontend, some analysis and transformation passes, and target-specific code generation. These implementations usually require a great deal of compiler knowledge and domain experts cannot prototype DSLs without getting compiler experts involved. Using multi-stage programming in a high-level language like Scala, OCaml, or C++, is a great solution because it provides easy-to-use frontend and automatic code generation abilities. The DSL writers typically implement their abstraction as a library in the multi-stage programming language and use it to generate specialized code by providing partial inputs. This solves the problem only partially because DSLs like GraphIt have shown that several domain-specific analyses and transformations need to be performed to get the best performance. Special care has to be taken when targeting massively parallel architectures like GPUs where factors like load balancing, warp divergence, coalesced memory accesses play a critical role. In this paper, we demonstrate how to build an end-to-end DSL compiler framework and a graph DSL using multi-stage programming in C++. We show how the staged types can be extended to perform domain-specific data flow and control flow analyses and transformations. We also show how our generated CUDA code matches the performance of the code generated from the state-of-the-art graph DSL, GraphIt. We achieve all this in a very small fraction (8.4%) of the code size required to implement the traditional DSL compiler.

A DSL Based Toolchain for Design Space Exploration in Structured Parallel Programming

DSL-based Design Space Exploration for Temporal and Spatial Parallelism of Custom Stream Computing

Source-code-level Transformation and APT-Driven Parallelism Pre-processes for Embedded System Automated Design

A shared compilation stack for distributed-memory parallelism in stencil DSLs

Building-Blocks for Performance Oriented DSLs

A Chisel Framework for Flexible Design Space Exploration through a Functional Approach

DSL-Based Hardware Generation with Scala

Domain-specific languages: from design to implementation application to video device drivers generation

A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems

A Domain-Specific Language and Editor for Parallel Particle Methods

GraphIt to CUDA Compiler in 2021 LOC: A Case for High-Performance DSL Implementation via Staging with BuilDSL

A Target Platform Description Language for Parallel Code Generation

Design Space Exploration Problem Formulation for Dataflow Programs on Heterogeneous Architectures

Generative Design of the Architecture Platform in Multiprocessor System Design

StarPlat: A Versatile DSL for Graph Analytics

Automatic Code Generation and Optimization of Large-scale Stencil Computation on Many-core Processors.

Data Parallel Program Design

FARSI: An Early-stage Design Space Exploration Framework to Tame the Domain-specific System-on-chip Complexity

A Prototype-Based Framework to Design Scalable Heterogeneous SoCs with Fine-Grained DFS

Scala Based FPGA Design Flow (abstract Only)

Taskflow: A General-Purpose Parallel and Heterogeneous Task Programming System