A Compiler-Compiler for DSL Embedding
Amir Shaikhha, Vojin Jovanovic, Christoph Koch

TL;DR
This paper introduces a framework that automates the generation of compilers for embedded domain-specific languages, simplifying the development process and demonstrating its effectiveness through multiple use-cases.
Contribution
The paper presents a novel framework that automates boilerplate code generation for EDSL compiler development on extensible optimizing compilers.
Findings
Successfully built several EDSL compilers using the framework
Framework reduces development time for EDSL compilers
Demonstrates practicality through multiple use-cases
Abstract
In this paper, we present a framework to generate compilers for embedded domain-specific languages (EDSLs). This framework provides facilities to automatically generate the boilerplate code required for building DSL compilers on top of extensible optimizing compilers. We evaluate the practicality of our framework by demonstrating several use-cases successfully built with it.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Model-Driven Software Engineering Techniques · Logic, programming, and type systems
