Metaprogramming is the process of writing computer programs that treat programs as data,
enabling them to analyze or transform existing programs or generate new ones. While the …

Software engineering demands generality and abstraction, performance demands
specialization and concretization. Generative programming can provide both, but the effort …

The simplest implementation of a domain-specific language is to embed it in an existing
language using operator overloading. This way, the DSL can inherit parsing, syntax and …

Programs expressed in a high-level programming language need to be translated to a low-
level machine dialect for execution. This translation is usually accomplished by a compiler …

Code generation is the leading approach to making high-performance software reusable.
Effects are indispensable in code generators, whether to report failures or to insert let …

Generating high-performance code and applying typical optimizations within the bodies of
loops and functions involves moving or storing open code for later use, often in a different …

We investigate how to add coercive structural subtyping to a type system for simply-typed
lambda calculus with Hindley-Milner polymorphism. Coercions allow to convert between …

Static analysis of multi-staged programs is challenging because the basic assumption of
conventional static analysis no longer holds: the program text itself is no longer a fixed static …

We settle three basic questions that naturally arise when verifying multi-stage functional
programs. Firstly, does adding staging to a language compromise any equalities that hold in …

Runtime specialization optimizes programs based on partial information available only at
run time. It is applicable when some input data is used repeatedly while other input data …