Active Libraries: Rethinking the roles of compilers and libraries

We describe Active Libraries, which take an active role in compilation. Unlike traditional libraries which are passive collections of functions and objects, Active Libraries may generate components, specialize algorithms, optimize code, configure and tune themselves for a target machine, and describe themselves to tools (such as profilers and debuggers) in an intelligible way. Several such libraries are described, as are implementation technologies.

• Publication year

  1998

• Venue

  arXiv.org

• Publication date

  1998-10-05

• Fields of study

  Mathematics, Computer Science

• Identifiers
  arXiv math/9810022
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Generative Programming and Active Libraries

  1998cited by this paper
• Automatically Tuned Linear Algebra Software

  1998cited by this paper
• Design and Implementation of Metalevel Architecture in C++ -- MPC++ Approach --

  1998cited by this paper
• Array Design and Expression Evaluation in POOMA II

  1998cited by this paper
• Portable profiling and tracing for parallel, scientific applications using C++

  1998cited by this paper
• Arrays in Blitz++

  1998cited by this paper
• A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library

  1998influential reference
• Code Composition as an Implementation Language for Compilers

  1997cited by this paper
• Optimizing matrix multiply using PHiPAC: a portable, high-performance, ANSI C coding methodology

  1997cited by this paper
• Automatic Run-Time Code Generation in C++

  1997cited by this paper
• tcc: a system for fast, flexible, and high-level dynamic code generation

  1997cited by this paper
• Incorporating Application Semantics and Control into Compilation

  1997cited by this paper
• C: a language for high-level, efficient, and machine-independent dynamic code generation

  1996cited by this paper
• An introduction to partial evaluation

  1996cited by this paper
• Using C++ template metaprograms

  1996cited by this paper
• Expression templates

  1996cited by this paper
• Fortran program specialization

  1995cited by this paper
• A metaobject protocol for C++

  1995cited by this paper
• Lightweight Run-Time Code Generation

  1994cited by this paper
• Partial Evaluation for Scientific Computing: the Super Computer Experience

  1994cited by this paper
• Algorithm‐oriented generic libraries

  1994cited by this paper
• Partial evaluation and automatic program generation

  1993cited by this paper
• Numerical C Extensions Group

  1993cited by this paper
• Compiling scientific code using partial evaluation

  1990cited by this paper
• On the Essence of Compilation

  1977cited by this paper
• OF GENERдLIZдTION IN ТНЕ SUPERCOMPILER

  year unknowncited by this paper
• AND T

  year unknowncited by this paper

• Programming Abstractions for Data Locality

  2023cites this paper
• Multi-stage programming with generative and analytical macros

  2021cites this paper
• Inter-loop optimization in RAJA using loop chains

  2021cites this paper
• The Next 700 Accelerated Layers

  2019cites this paper
• A practical unification of multi-stage programming and macros

  2018cites this paper
• Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions

  2018cites this paper
• A Parallelization and Performance Optimization Framework for Mesh-Based Simulations Using Target Execution Models

  2018cites this paper
• Analysis and Optimization of Scientific Applications through Set and Relation Abstractions

  2017cites this paper
• Trends in Data Locality Abstractions for HPC Systems

  2017cites this paper
• Lawrence Berkeley National Laboratory Recent Work Title Trends in Data Locality Abstractions for HPC Systems Permalink

  2017cites this paper
• Expressive and efficient streaming libraries

  2017cites this paper
• A Stencil DSEL for Single Code Accelerated Computing with SYCL

  2016cites this paper
• Automatic code generation methods applied to numerical linear algebra in high performance computing

  2016cites this paper
• Automatic code generation methods applied to numerical linear algebra in high performance computing. (Méthodes de génération automatique de code appliquées à l'algèbre linéaire numérique dans le calcul haute performance)

  2016cites this paper
• Meta-programming and Multi-stage Programming for GPGPUs

  2016cites this paper
• Designing HPC libraries in the modern C++ world

  2015cites this paper
• Metaprogramming Dense Linear Algebra Solvers Applications to Multi and Many-Core Architectures

  2015cites this paper
• Axioms as generic rewrite rules in C++ with concepts

  2015cites this paper
• Immutables in C++: Language Foundation for Functional Programming

  2015cites this paper
• Towards an automatic generation of dense linear algebra solvers on parallel architectures

  2014cites this paper
• Programming Abstractions for Data Locality

  2014cites this paper
• Software Abstractions for Parallel Architectures

  2014cites this paper
• 2014 Workshop on Programming Abstractions for Data Locality Programming Abstractions for Data Locality Programming Abstractions for Data Locality Workshop Participants/co-authors

  2014cites this paper
• Performance Analysis of a High-Level Abstractions-Based Hydrocode on Future Computing Systems

  2014cites this paper
• A generic simulation cell method for developing extensible, efficient and readable parallel computational models

  2014cites this paper
• Acceleration of a Full-Scale Industrial CFD Application with OP2

  2014cites this paper
• The numerical template toolbox: A modern C++ design for scientific computing

  2014cites this paper
• Multi-Architectural Support : A Generic and Generative Approach. (Support multi-architectural : une approche générique et générative)

  2014cites this paper
• Simplifying the analysis of c++ programs

  2013cites this paper
• Domain-Specific Language Integration with C++ Template Metaprogramming

  2013cites this paper
• Implementing monads for C++ template metaprograms

  2013cites this paper
• Design and initial performance of a high-level unstructured mesh framework on heterogeneous parallel systems

  2013cites this paper
• DSL in C++ Template Metaprogram

  2013cites this paper
• The connection between C++ template metaprogramming and functional programming

  2013cites this paper
• International Conference on Computational Science , ICCS 2011 Lattice QCD Applications on QPACE

  2013cites this paper
• Random number generator for C + + template metaprograms ?

  2013cites this paper
• Optimization techniques for efficient HTA programs

  2012cites this paper
• Vers des noyaux de calcul intensif pérennes

  2012cites this paper
• Metaparse Compile-time parsing with template metaprogramming

  2012cites this paper
• Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation. (Application de l'ingénierie dirigée par les modèles et de la métaprogrammation à la modélisation & simulation DEVS)

  2012cites this paper
• Active code completion

  2012cites this paper
• Optimizing Discrete Modeling and Simulation for Real-Time Constraints with Metaprogramming

  2012cites this paper
• Accelerating QDP++ using GPUs

  2011cites this paper
• DESOLA: An active linear algebra library using delayed evaluation and runtime code generation

  2011cites this paper
• Active code completion

  2011cites this paper
• A Bibliography of Publications of Todd L. Veldhuizen

  2011cites this paper
• Implementing Monads for C + + Template Metaprograms

  2011cites this paper
• Implementing Monads for C++ Template Metaprograms

  2011cites this paper
• Nested Lambda Expressions with Let Expressions in C++ Template Metaprograms

  2011cites this paper
• A generic topology library

  2011cites this paper
• Functional Extensions to the Boost Metaprogram Library

  2011cites this paper
• Towards a software architecture for generic image processing. (Vers une architecture logicielle pour le traitement d'images générique)

  2011cites this paper
• An active-library based investigation into the performance optimisation of linear algebra and the finite element method

  2011cites this paper
• A Program Transformation Technique to Support AOP within C++ Template

  2010cites this paper
• Architecture optimisation with currawong

  2010cites this paper
• Domain-specific language integration with compile-time parser generator library

  2010cites this paper
• Generic flow-sensitive optimizing transformations in C++ with concepts

  2010cites this paper
• Compiling an Array Language to a Graphics Processor

  2010cites this paper
• Architecture optimisation

  2010cites this paper
• A metadata-enhanced framework for high performance visual effects

  2010cites this paper
• Analysis of Pro(cid:12)ling Techniques for C++ Template Metaprograms

  2009cites this paper
• MODULARIZING SCIENTIFIC LIBRARIES WITH ASPECT-ORIENTED AND GENERATIVE PROGRAMMING TECHNIQUES

  2009cites this paper
• The forced evolution of implementations: using a Monte Carlo algorithm as example

  2009cites this paper
• Functional Extensions to the Boost Metaprogram Library

  2009cites this paper
• GUIDE: Parallel library-centric application design by a generic scientific simulation environment

  2009cites this paper
• Measuring Compilation Time of C + + Template Metaprograms

  2009cites this paper
• A type-based prototype compiler for telescoping languages

  2009cites this paper
• C++ Metastring Library

  2009cites this paper
• Functional Programming with C++ Template Metaprograms

  2009cites this paper
• Automatic and Verifiable Synthesis of Implementations from Mathematical Models

  2009cites this paper
• C++ Metastring Library and Its Applications

  2009cites this paper
• Final:Realizing Domain-Specific Compiler Optimizations via Generic Programming

  2009cites this paper
• Advances in Active Libraries and Generic Programming Methods , Techniques , and Language Features

  2009cites this paper
• Semantic lifting and active libraries Transfer Report

  2008cites this paper
• Specialising Simulator Generators for High-Performance Monte-Carlo Methods

  2008cites this paper
• FLENS - a flexible library for efficient numerical solutions

  2008cites this paper
• Un ensemble d'outils orientés modèle pour développer et valider des cadres logiciels à base d'annotations. (A Set of Model-Oriented Tools for Developing and Validating Annotation-Based Frameworks)

  2008cites this paper
• A Simple Convention for the Specification of Linear Algebra Function Prototypes in C

  2008cites this paper
• Realizing Domain-specific Compiler Optimizations via Generic Programming

  2008cites this paper
• Abstractions for Language-Independent Program Transformations

  2007cites this paper
• Generative Code Specialisation for High-Performance Monte-Carlo Simulations

  2007cites this paper
• A Performance Test Platform

  2007cites this paper
• Explicit Dependence Metadata in an Active Visual Effects Library

  2007cites this paper
• Concept-based optimization

  2007cites this paper
• Methods for querying compressed wavefields

  2007cites this paper
• Implementation of a Finite State Machine with Active Libraries in C++

  2007cites this paper
• Structured generic programming in Eden

  2007cites this paper
• Contributions to the Design of Reliable and Programmable High-Performance Systems: Principles, Interfaces, Algorithms and Tools. (Contributions à la conception de systèmes à hautes performances, programmables et sûrs: principes, interfaces, algorithmes et outils)

  2007cites this paper
• Développement d'un simulateur de performances pour le spectrographe NIRSpec du futur télescope spatial JWST

  2007cites this paper
• Life, a modern and unified C++ implementation of finite‐element and spectral‐element methods in 1D, 2D and 3D

  2007cites this paper
• POET : Parameterized Optimization for Empirical Tuning

  2007cites this paper
• POET: Parameterized Optimizations for Empirical Tuning

  2007cites this paper
• Properties of C++ template metaprograms ∗

  2007cites this paper
• Optimizing across interfaces

  2007cites this paper
• Mathematical model of tumour cord growth along the source of nutrient

  2007cites this paper
• Automated transformation for performance-critical kernels

  2007cites this paper
• A language for specifying compiler optimizations for generic software

  2007cites this paper
• Methoden der Metaprogrammierung zur Rekonfiguration von Software eingebetteter Systeme

  2006influential citation
• In search of a program generator to implement generic transformations for high-performance computing

  2006cites this paper
• On minimizing materializations of array-valued temporaries

  2006cites this paper