We present a system for the automatic differentiation (AD) of a higher-order functional array-
processing language. The core functional language underlying this system simultaneously …

Automatically transforming programs is hard, yet critical for automated program refactoring,
rewriting, and repair. Multi-language syntax transformation is especially hard due to …

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

Program generation is indispensable. We propose a novel unification of two existing
metaprogramming techniques: multi-stage programming and hygienic generative macros …

One of the performance bottlenecks of nested recursive computations is the intermediate
collections created at different levels of recursion. The existing techniques such as vertical …

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

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 …

Parallel dataflow engines such as Apache Hadoop, Apache Spark, and Apache Flink are an
established alternative to relational databases for modern data analysis applications. A …

Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in
part because they hide the data structures of the intermediate representation (IR), instead …

This paper addresses the complexity of develo** optimizing compilers by proposing a
novel design pattern named Restage. The Restage interface reduces boilerplate code in …