Dynamic binary analysis (DBA) tools such as profilers and checkers help programmers
create better software. Dynamic binary instrumentation (DBI) frameworks make it easy to …

Programming language design benefits from constructs for extending the syntax and
semantics of a host language. While C's string-based macros empower programmers to …

The ASF+ SDF Meta-Environment is an interactive language development environment
whose main application areas are definition and implementation of domain-specific …

We give an in-depth introduction to the design of our functional array programming
language S a C, the main aspects of its compilation into host machine code, and its …

This paper presents a practical evaluation and comparison of three state-of-the-art parallel
functional languages. The evaluation is based on implementations of three typical symbolic …

We present an extensive, annotated bibliography of the abstract machines designed for
each of the main programming paradigms (imperative, object oriented, functional, logic and …

Classical application domains of parallel computing are dominated by processing large
arrays of numerical data. Whereas most functional languages focus on lists and trees rather …

Lazy functional languages are declarative and allow the programmer to write programs
where operational issues such as the evaluation order are left implicit. It is desirable to …

MultiMLton is an extension of the MLton compiler and runtime system that targets scalable,
multicore architectures. It provides specific support for ACML, a derivative of Concurrent ML …

The technique of abstracting abstract machines (AAM) provides a systematic approach for
deriving computable approximations of evaluators that are easily proved sound. This article …