The Meta-Programming Project

Meta-Programming comprises the analysis, transformation and generation of so-called object-programs by other programs, so-called meta-programs. Our meta-programming research aims to develop alternative ways of compilation which exploit the knowledge of domain experts and improve program development and efficiency.

Papers and Talks

• ``Type-Sensitive Size Parameterization of Circuit Designs by Metaprogramming'' (Christoph A. Herrmann), Technical Report MIP-0601, Department of Informatics and Mathematics, University of Passau, February 2006.
• Program sources: MIP-0601src.tgz, based on Template Haskell, works with ghc versions 6.4 and 6.6.
• "Generating Size-Parameterized Functions for  Circuit Simulation Using Template Haskell", Talk at the IFIP WG 2.11 Meeting at Schloss Dagstuhl, Jan. 2006 by Christoph A. Herrmann
• " Tuning MetaOCaml Programs for High Performance", Diploma Thesis of Tobias Langhammer.
• "Combining Partial Evaluation and Staged Interpretation in the Implementation of Domain-Specific Languages'' (Christoph A. Herrmann and Tobias Langhammer), Science of Computer Programming, 62(1), 2006, 47-65.
• Program sources: imagefilter2-2005-10-30.tgz, based on MetaOCaml
• "Using MetaOCaml to Implement Skeletons and Domain-Specific Languages"
  • Parasol Seminar Talk (PDF of the slides) at Texas A&M University by Christoph Herrmann, March 2005. This talk refers to the work of the following three sections. Have a look at them for technical details and program sources.
• ``Generating Message-passing Programs from Abstract Specifications by Partial Evaluation'' (Christoph A. Herrmann), Parallel Processing Letters, 15(3), 2005, 305-320.
• Abstract. A preliminary version of the paper can be obtained from the author.
• Slides of a talk given at Imperial College by Christoph A. Herrmann, Sept. 2004
• Program source: ppl2005prog.ml, based on MetaOCaml and OCamlMPI
• "Automatic Staging for Image Processing" (Christoph A. Herrmann and Tobias Langhammer), Technical Report MIP-0410, Department of Informatics and Mathematics, University of Passau, 2004.
• Slides of a talk given by Tobias Langhammer at the MetaOCaml'04 Workshop: PDF
• Program sources: mip0410prog_2004-11-20.tgz based on MetaOCaml
• ``Functional Metaprogramming in the Construction of Parallel Programs'' (Christoph A. Herrmann), Proc. 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004), Technical report of the University of Münster, Germany.
• Slides of the talk: PDF
• Program source: cmpp2004prog.ml, based on MetaOCaml and OCamlMPI
• ``Using Metaprogramming to Parallelize Functional Specifications'' (Christoph A. Herrmann and Christian Lengauer), Proc. 3rd International Workshop on Constructive Methods for Parallel Programming (CMPP 2002), Technical reports of Department IV - Electronics and Informatics, No. 2002/07, Technical University Berlin.

Participants

Christoph A. Herrmann (contact), Tobias Langhammer, Christian Lengauer

Research Communities

• IFIP Working Group 2.11 on Program Generation
• Skeletal Parallelism Homepage

Languages which we are using for meta-programming

• Template Haskell, permits analysis of object programs
• MetaOCaml, provides run-time code generation

Last modified: Tue Nov 9 10:42:17 CET 2004