In order to simplify the compilation process, many compilers for higher-order languages use
the continuation-passing style (CPS) transformation in a first phase to generate an …

Compiler verification is essential for the construction of fully verified software, but most prior
work (such as CompCert) has focused on verifying whole-program compilers. To support …

We present a series of CPS-based intermediate languages suitable for functional language
compilation, arguing that they have practical benefits over direct-style languages based on A …

Many fields of study in compilers give rise to the concept of a join point—a place where
different execution paths come together. Join points are often treated as functions or …

Self-adjusting computation offers a language-centric approach to writing programs that can
automatically respond to modifications to their data (eg, inputs). Except for several domain …

We present a higher-order module system for the purely functional data-parallel array
language Futhark. The module language has the property that it is completely eliminated at …

High-level scripting languages have become tremendously popular for development of
dynamic Web applications. Many programmers appreciate the productivity benefits of …

We derive a control-flow analysis that approximates the interprocedural control-flow of both
function calls and returns in the presence of first-class functions and tail-call optimization. In …

Modern development environments support refactoring by providing atomically behaviour-
preserving transformations. While useful, these transformations are limited in three ways:(i) …

The problem of computing dominators in a control flow graph is central to numerous modern
compiler optimizations. Many efficient algorithms have been proposed in the literature, but …