Metaprograms are programs that manipulate (generate, analyze and evaluate) other
programs. These tasks are greatly facilitated by quasiquotation, a technique to construct and …

We generalize the bulk-synchronous parallel (BSP) processing model to make it better
support agent-based simulations. Such simulations frequently exhibit hierarchical structure …

Staging has proved a successful technique for programmatically removing code
abstractions, thereby allowing for faster program execution while retaining a high-level …

Many different data analytics tasks boil down to linear algebra primitives. In practice, for
each different type of workload, data scientists use a particular specialised library. In this …

In metaprogramming, code generation and code analysis are complementary. Traditionally,
principled metaprogramming extensions for programming languages, like MetaML and BER …

We propose DDLoader, a system that embeds information about data partitioning and data
distribution in distributed file systems using a metaprogramming framework. We demonstrate …

Practical metaprogramming applications often involve manipulating open code fragments,
which is easy to get wrong in the absence of static verification that all variable occurrences …

This paper shows how reflection on undecorated syntax trees (terms) used in attribute
grammars can significantly reduce the amount of boiler-plate specifications that must be …

We describe Elevator, a unifying polymorphic foundation for metaprogramming with memory
management based on adjoint modalities. In this setting, we distinguish between multiple …

The MetaML approach for multi-stage programming provides the static guarantee of type
safety and scope safety for generated code, regardless of the values of static parameters …