Domain-specific languages: A systematic map** study
Context: In this study we report on a Systematic Map** Study (SMS) for Domain-Specific
Languages (DSLs), based on an automatic search including primary studies from journals …
Languages (DSLs), based on an automatic search including primary studies from journals …
MLIR: Scaling compiler infrastructure for domain specific computation
This work presents MLIR, a novel approach to building reusable and extensible compiler
infrastructure. MLIR addresses software fragmentation, compilation for heterogeneous …
infrastructure. MLIR addresses software fragmentation, compilation for heterogeneous …
The state of the art in language workbenches: Conclusions from the language workbench challenge
Abstract Language workbenches are tools that provide high-level mechanisms for the
implementation of (domain-specific) languages. Language workbenches are an active area …
implementation of (domain-specific) languages. Language workbenches are an active area …
MLIR: A compiler infrastructure for the end of Moore's law
C Lattner, M Amini, U Bondhugula, A Cohen… - ar** high-performance software is a difficult task that requires the use of low-level,
architecture-specific programming models (eg, OpenMP for CMPs, CUDA for GPUs, MPI for …
architecture-specific programming models (eg, OpenMP for CMPs, CUDA for GPUs, MPI for …
Equality saturation: a new approach to optimization
Optimizations in a traditional compiler are applied sequentially, with each optimization
destructively modifying the program to produce a transformed program that is then passed to …
destructively modifying the program to produce a transformed program that is then passed to …
Programming and symbolic computation in Maude
Rewriting logic is both a flexible semantic framework within which widely different concurrent
systems can be naturally specified and a logical framework in which widely different logics …
systems can be naturally specified and a logical framework in which widely different logics …